Gut/Very good: Buch bzw. Schutzumschlag mit wenigen Gebrauchsspuren an Einband, Schutzumschlag oder Seiten. / Describes a book or dust jacket that does show some signs of wear on either the binding, dust jacket or pages.

Bestandsnummer des Verk�ufers M02729807748-V

Verk�ufer kontaktieren

Diesen Artikel melden

Bibliografische Details

Titel: Sp�cification des logiciels : Deux exemples de pratiques r�centes : Z et UML, G�nie logiciel
Verlag: ELLIPSES
Erscheinungsjahr: 2001
Sprache: Franz�sisch
ISBN-10: 2729807748
ISBN-13: 9782729807740
Einband: Softcover
Zustand: very good

�ber diesen Titel

Inhaltsangabe

Niveau C (Compl�ments)
Cet ouvrage est destin� � l'�tudiant et au professionnel qui veulent comprendre l'impact des sp�cifications formelles et de la mod�lisation � objets sur la pratique du d�veloppement d'un logiciel. Il comprend deux parties consacr�es respectivement, la premi�re aux sp�cifications formelles, et la seconde � la mod�lisation � objets.
L'ouvrage fait suite � un premier livre des m�mes auteurs intitul� "Conception des syst�mes d'information", consac� aux m�thodes et aux techniques de base de la conception des syst�mes.

Sommaire
Premi�re partie : Sp�cifications formelles avec Z
Chapitre 1. Introduction aux sp�cifications formelles : Sp�cifications par mod�le abstrait, sp�cifications alg�briques et mixtes - Chapitre 2. Le langage Z - Th�orie des ensembles - Multi-ensembles - S�quences - Chapitre 3. La sp�cification avec Z : Structuration. D�marche de sp�cification - Sp�cification sur l'exemple de l'h�pital - Validation - Robustesse - Raffinage - Les outils - Conclusion - Exercices - Chapitre 4. La sp�cification avec Z : la facturation de commandes. Sp�cification de l'�tat - Sp�cification de l'�tat initial - Sp�cification des op�rations - Validation - Une sp�cification avec des fonctions - Le raffinage - Chapitre 5. Compl�ments pour la mod�lisation avec Z. Traduction du formalisme E-A-P en Z - Mod�lisation avec Z : la biblioth�que - Interpr�tation des pr�conditions - La promotion - Z et les objets - Exercices
Deuxi�me partie : Mod�lisation objet avec UML
Chapitre 6. Introduction au d�veloppement � objets: L'approche � objets - Analyse et conception - Utilisation des m�thodes � objets - Classification des m�thodes - La m�thode OMT - La m�thode BON - Conclusion - Chapitre 7. La notation UML. Mod�les d'approche - Mod�les de structure - Mod�les de la dynamique - Mod�les d'implantation - Conclusion - Exercices - Chapitre 8. La sp�cification avec UML. Architecture logicielle - Processus de d�veloppement - Expression des besoins - L'analyse - Conception - Les outils - Chapitre 9. Compl�ments pour la mod�lisation UML. Le langage OCL - La pratique d'OCL - La coh�rence entre les diagrammes - Conclusion - Exercices - Chapitre 10. Conclusion et perspectives

��ber diesen Titel� kann sich auf eine andere Ausgabe dieses Titels beziehen.

Anbieterinformationen

**WILLKOMMEN** im AbeBooks Shop von medimops - dein Onlineshop mit der gr��ten Auswahl an Second Hand B�chern. St�ber dich durch �ber 4 Millionen Artikel und spare bis zu 70 % im Vergleich zum Neupreis. Wir pr�fen alle Artikel sorgf�ltig auf Qualit�t und Funktionalit�t. **WELCOME** to the medimop's AbeBooks shop, the online shop with a large range of second-hand books. Browse more than 4 million articles and save up to 70% on the new price. All our articles are quality checked. ** BIENVENUE ** dans la boutique AbeBooks de momox shop! Sp�cialiste des articles culturels d'occasion, nous vous offrons une gamme diversifi�e de livres d'occasion. D�couvrez nos offres et �conomisez jusqu'� 70% du prix neuf! Nous grarantissons tous nos articles en bon �tat. ** BENVENUTI ** nello shop medimops di AbeBooks, lo shop online per i libri usati. Abbiamo piu�di 4 milioni di articoli e potete risparmiare fino al 70% rispetto al nuovo. Tutti i nostri prodotti sono controllati a mano per garantire la massima qualit�. ** BIENVENIDO ** a la tienda de medimops en AbeBooks, la tienda online con una gran oferta de libros de segunda mano. Navegue por m�s de 4 millones de art�culos y ahorre hasta un 70% sobre el precio nuevo. Todos nuestros art�culos son de calidad comprobada.

Zur Homepage des Verk�ufers

Unternehmensdaten des Verk�ufers

momox SE
Schreiberhauer Stra�e 30, Berlin, 10317, Germany

Gesch�ftsbedingungen und Versandinformationen

Verkaufsbedingungen

1. Geltungsbereich

F�r alle Bestellungen �ber unseren Shop auf dem AbeBooks Marketplace gelten die nachfolgenden AGB. Soweit nicht anders vereinbart, wird der Einbeziehung gegebenenfalls von Ihnen verwendeter eigener Bedingungen widersprochen.

2. Vertragspartner, Vertragsschluss, Korrekturm�glichkeiten

Der Kaufvertrag kommt zustande mit momox SE.

Gegenstand des Vertrages ist der Verkauf von Waren.

Wird ein Artikel von uns bei AbeBooks eingestellt, liegt in der Freischaltung der Angebotsseite bei...

Mehr Information

Widerrufsbelehrung

Versandbedingungen

Versandkosten von Deutschland nach USA

Versandkosten von Deutschland nach USA
Bestellmenge	60 bis 60�Werktage	60 bis 60�Werktage
Erster Artikel	EUR 105.00	EUR 130.00

Die Versandzeiten werden von den Verk�uferinnen und Verk�ufern festgelegt. Sie variieren je nach Versanddienstleister und Standort. Sendungen, die den Zoll passieren, k�nnen Verz�gerungen unterliegen. Eventuell anfallende Abgaben oder Geb�hren sind von der K�uferin bzw. dem K�ufer zu tragen. Die Verk�uferin bzw. der Verk�ufer kann Sie bez�glich zus�tzlicher Versandkosten kontaktieren, um einen m�glichen Anstieg der Versandkosten f�r Ihre Artikel auszugleichen.

Impressum & Info zum Verk�ufer

Zahlungsarten

Zu Kaufgesuchen hinzuf�gen

Verwandte Artikel zu Sp�cification des logiciels : Deux exemples de pratiques...

Sp�cification des logiciels : Deux exemples de pratiques r�centes : Z et UML, G�nie logiciel

Pascal Andr�

Gebraucht - Softcover

Beschreibung