Formal development of reactive systems : :: SCD d'Orléans

Formal development of reactive systems : case study production cell

Formal development of reactive systems : case study production cell

This book is based upon work done under the project "Correct Software through Formal Methods" supported by the German Ministry of Research and Technology. As a case-study report on the practice of formal software development, this book systematically presents and compares 18 different appr...

Descripció completa

Guardat en:

Dades bibliogràfiques
Autor principal:	Lewerentz, Claus, 19..-
Altres autors:	Lindner, Thomas, 1905- (Director editorial)
Format:	Livre numérique
Idioma:	Anglais
Publicat:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Col·lecció:	Lecture notes in computer science 891
Matèries:	Génie logiciel Informatique Langages de programmation Ordinateurs Logiciels > Développement Ingénierie assistée par ordinateur
Accés en línia:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Nota:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Formal development of reactive systems, case study production cell, Claus Lewerentz, Thomas Lindner, eds, Berlin, Springer-Verlag, 1995, 1 vol. (XI-394 p.), Lecture notes in computer science, 3-540-58867-1 • Formal Development of Reactive Systems, Texte imprimé, 9783662184691

Ítems similars

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

Software development environments and CASE technology : European symposium, Königswinter, June 17-19, 1991 : proceedings

Formal methods in computer-aided design : 5th international conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004 : proceedings

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

Attribute grammars, applications and systems : international summer school, Prague, Czechoslovakia, June 4-13, 1991 : proceedings

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

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

On the computational geometry of pocket machining
per: Held, Martin

Computer aided verification : 9th international conference, CAV'97, Haifa, Israel, June 22-25, 1997 : proceedings

Integrated formal methods : second international conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 : proceedings

Future tendencies in computer science, control and applied mathematics : International Conference on the Occasion of the 25th Anniversary of INRIA, Paris, France, December 8 11, 1992 : proceedings

Logic Programming in Action : Second International Logic Programming Summer School, LPSS '92 Zurich, Switzerland, September 7 11, 1992 Proceedings

Advanced information systems engineering : 5th International Conference, CAiSE '93, Paris, France, June 8 11, 1993 : proceedings

Advanced information systems engineering : 7th International Conference, CAiSE '95, Jyväskylä, Finland, June 12 16, 1995 : proceedings

Formal modeling and analysis of timed systems : First international workshop, FORMATS 2003, Marseille, France, September 6-7, 2003 : revised papers

Advanced information systems engineering : 11th International Conference, CAiSE"99 Heidelberg, Germany, June 14 18, 1999 proceedings

Computer aided systems theory - EUROCAST'97 : a selection of papers from the 6th International Workshop on Computer Aided Systems Theory Las Palmas de Gran Canaria, Spain, February 24 28, 1997 : proceedings

Optimization-based computer-aided modelling and design : proceedings of the first working conference of the new IFIP TC 7.6 Working Group,The Hague, The Netherlands, 1991

Industrial and engineering applications of artificial intelligence and expert systems : 5th international conference, IEA/AIE-92, Paderborn, Germany, June 9-12, 1992 : proceedings
per: Belli, Fevzi

Parallel, distributed and multiagent production systems
per: Ishida, Toru, 1953-

Advanced information systems engineering : 13th international conference, CAiSE 2001, Interlaken, Switzerland, June 4-8, 2001 : proceedings

Advanced information systems engineering : 8th International Conference, CAiSE'96, Heraklion, Crete, Greece, May 20 24, 1996 : proceedings

Formal methods for software architectures : Third International School on Formal Methods for the Design of Computer, Communication and Software Systems : Software Architectures, SFM 2003, Bertinoro, Italy, September 22-27, 2003 : advanced lectures

Computer aided verification : 10th International Conference, CAV'98, Vancouver, BC, Canada, June 28 July 2, 1998 : proceedings

High-performance computing and networking : International Conference and Exhibition, Milan, Italy, May 3-5, 1995 : proceedings

Formal methods in computer-aided design : 4th international conference, FMCAD 2002, Portland, OR, USA, November 6-8, 2002 : proceedings

Formal methods in computer-aided design : first international conference, FMCAD '96, Palo Alto, CA, USA, November 6-8, 1996 : proceedings

Formal program development : IFIP TC2/WG 2.1 State-of-the-Art Report
per: Möller, Bernhard, 1953-

Perspectives of system informatics : 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003 : revised papers

FME '94 : industrial benefit of formal methods : Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24 28, 1994 : proceedings

FME 2002 : formal methods : getting IT right : [11th] International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22 24, 2002 : proceedings

FME '96 : industrial benefit and advances in formal methods : Third International Symposium of Formal Methods Europe Co-Sponsored by IFIP WG 14.3, Oxford, UK, March 18 22, 1996 : proceedings

Formal hardware verification : methods and systems in comparison
per: Kropf, Thomas, 1961-

"UML" 2004 : the unified modeling language : modeling languages and applications : 7th international conference, Lisbon, Portugal, october 11-15, 2004 : proceedings

UML 2002 The Unified Modeling Language : model engineering, concepts, and tools : 5th International Conference, Dresden, Germany, September 30 October 4, 2002 : proceedings

Integrated formal methods : Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002 : proceedings

Integrated formal methods : 4th International Conference, IFM 2004, Cnaterbury, UK, April 4-7, 2004 : proceedings
per: Boiten, Eerke, 1966-

Interactive multi-objective programming as a framework for computer-aided control system design
per: Ng, Wai-Yin

© 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