Spécification formelle avec B :: SCD d'Orléans

Spécification formelle avec B

Spécification formelle avec B

Shranjeno v:

Bibliografske podrobnosti
Glavni avtor:	Habrias, Henri, 1946-
Drugi avtorji:	Lafaye, Jean-Yves (Collaborateur), Potet, Marie-Laure, 1959-...., auteure en informatique (Collaborateur)
Format:	Livre papier
Jezik:	Français
Izdano:	Paris : Hermès Science : Lavoisier DL 2001.
Serija:	Collection Informatique
Teme:	Rétro-ingénierie (informatique) Génie logiciel B (méthode formelle)
Autres localisations:	Voir dans le Sudoc

Podobne knjige/članki

Mise en oeuvre de la méthode B
od: Boulanger, Jean-Louis, 1966-
Izdano: (2013)

Introduction à la spécification
od: Habrias, Henri, 1946-
Izdano: (1993)

B'98 : recent advances in the development and use of the B method : second International B Conference, Montpellier, France, April 22-24, 1998 : proceedings

ZB 2003 : formal specification and development in Z and B : third International Conference of B and Z Users Turku, Finland, June 4 6, 2003 : proceedings

ZB 2002 : formal specification and development in Z and B : 2nd International Conference of B and Z Users, Grenoble, France, January 23 25, 2002 : proceedings

ZB 2000 : formal specification and development in Z and B : first International Conference of B and Z Users, York, UK, August 29 September 2, 2000 : proceedings

Méthode B
Izdano: (2003)

Comprendre les méthodes formelles : panorama et outils logiques
od: Monin, Jean-François
Izdano: (1996)

Exercices corrigés en langage Z : les spécifications formelles par l'exemple
od: André, Pascal, 1967-...., chercheur en informatique, et autres
Izdano: (2004)

Le Droit de l'ingénierie inverse
od: Warusfel, Bertrand, 1959-...., consultant, et autres
Izdano: (2021)

ZUM '95 : the Z formal specification notation : 9th International Conference of Z Users, Limerick, Ireland, September 7-9, 1995 : proceedings

Calcul formel avec MUPAD
od: Maltey, François
Izdano: (2001)

ZUM 98 : the Z formal specification notation : 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998 : proceedings

ZUM '97 : the Z formal specification notation : 10th International Conference of Z Users Reading, UK, April 3 4, 1997 : proceedings

Spécification des logiciels : deux exemples de pratiques récentes : Z et UML
od: André, Pascal, 1967-...., chercheur en informatique, et autres
Izdano: (2001)

Requirements targeting software and systems engineering : International Workshop RTSE 97, Bernried, Germany, October 12-14, 1997 : proceedings

Outils de mise en oeuvre industrielle des méthodes formelles
Izdano: (2012)

Algebraic computing in control : proceedings of the First European Conference Paris, March 13 15, 1991

Advances in conceptual modeling : ER 99 Workshops on Evolution and Change in Data Management, Reverse Engineering in Information Systems, and the World Wide Web and Conceptual Modeling Paris, France, November 15 18, 1999 : proceedings

Programmer avec Maple V
od: Monagan, Michael B., 19..-
Izdano: (1997)

Advanced information systems engineering : Third International Conference CAiSE '91, Trondheim, Norway, May 13 15, 1991 : proceedings

Advanced information systems engineering : 12th International Conference, CAiSE 2000, Stockholm, Sweden, June 5 9, 2000 : proceedings
od: Wangler, Benkt, et autres

Program development by specification and transformation : the PROSPECTRA methodology, language family, and system
od: Hoffmann, Berthold, 19..-

Architecture logicielle : pour une approche organisationnelle, fonctionnelle et technique
od: Bailet, Thomas, 19..-...., auteur en mathématiques
Izdano: (2016)

Advanced information systems engineering : 9th international conference, CAiSE '97, Barcelona, Catalonia, Spain, June 16 20, 1997 : proceedings

Gestion de projet en SSII
od: Winter, Michel, 19..-...., informaticien
Izdano: (2013)

Automata, Languages and Programming : 29th International Colloquium, ICALP 2002 Málaga, Spain, July 8 13, 2002 Proceedings

Spécification et analyse formelles des politiques de sécurité dans un processus de courtage de l'informatique en nuage
od: Guesmi, Asma, 1988-
Izdano: (2016)

Advanced information systems engineering : Second Nordic Conference CAiSE '90, Stockholm, Sweden, May 8 10, 1990 : proceedings

Advanced information systems engineering : 6th International Conference, CAiSE'94, Utrecht, The Netherlands, June 6 10, 1994 : proceedings

Advanced information systems engineering : 4th International Conference CAiSE '92, Manchester, UK, May 12 15, 1992 : proceedings

Réingénierie des données et des documents sur le web
Izdano: (2001)

Systèmes, architectures, intégration : pratique de l'intégration des systèmes et des logiciels avec SysML
od: Pollet, Yann
Izdano: (2016)

Program specification : proceedings of a workshop, Aarhus, Denmark, August 1981

Sciences du logiciel
od: Leroy, Xavier
Izdano: (2022)

Advanced information systems engineering : 10th International Conference, CAiSE '98 Pisa, Italy, June 8 12, 1998 : proceedings

Radical innovations of software and systems engineering in the future : 9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002 : revised papers
od: Wirsing, Martin, 1948-

Abstract software specifications : 1979 Copenhagen Winter School, January 22 February 2, 1979 : proceedings

Formal development of reactive systems : case study production cell
od: Lewerentz, Claus, 19..-

Recent trends in data type specification : 8th Workshop on Specification of Abstract Data Types, joint with the 3rd COMPASS Workshop, Dourdan, France, August 26-30, 1991 : selected papers

© 2021-2023 • Université d'Orléans, Service Commun de Documentation, 6 rue de Tours, 45072 Orléans cedex 2
+33(0) 2 38 41 71 84 • https://scd.univ-orleans.fr • Mentions légales