Integrated formal methods : :: SCD d'Orléans

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

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

Enregistré dans:

Bibliografiske detaljer
Institution som forfatter:	International Conference on Integrated Formal Methods :Dagstuhl Castle, Allemagne
Andre forfattere:	Grieskamp, Wolfgang, 1960- (Directeur de la publication), Santen, Thomas, 1965- (Directeur de la publication), Stoddart, Bill, 1946- (Directeur de la publication)
Format:	Livre numérique
Sprog:	Anglais
Udgivet:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Serier:	Lecture notes in computer science 1945
Fag:	Génie logiciel Informatique Langages de programmation Ordinateurs Logiciels > Développement Actes de congrès
Online adgang:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Kommentar:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Integrated formal methods, second international conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000, proceedings, Wolfgang Grieskamp, Thomas Santen, Bill Stoddart (eds.), 2000, New York, Springer, 1 vol. (X-439 p.), Lecture notes in computer science, 3-540-41196-8 • Integrated Formal Methods, Texte imprimé, 9783662203743

Lignende værker

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
af: Boiten, Eerke, 1966-

Domain-specific program generation : international seminar, Dagstuhl Castle, Germany, March 23-28, 2003 : revised papers
af: Lengauer, Christian

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

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

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

Extreme programming and agile methods - XP/Agile Universe 2002 : second XP Universe and first Agile Universe Conference, Chicago, IL, USA, August 4 7, 2002 : proceedings

Formal methods for components and objects : First international symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002 : revised lectures

FM 99 - formal methods : World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20 24, 1999 : proceedings

FM 99 - formal methods : World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20 24, 1999 : proceedings

Applied formal methods - FM-Trends 98 : International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7 9, 1998 : proceedings

Formal methods and software engineering : 6th international conference on formal engineering methods, ICFEM 2004, Seattle, WA, USA, november 8-12, 2004 : proceedings

Formal methods for components and objects : second international symposium, FMCO 2003, Leiden, The Netherlands, november 4-7, 2003 : revised lectures

FME 2003 : formal methods : International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003 : proceedings

Extreme Programming and Agile Methods : XP/Agile Universe 2004 : 4th Conference on Extreme Programming and Agile Methods, Calgary, Canada, August 15-18, 2004 : proceedings
af: Zannier, Carmen

Reliable software technologies : Ada Europe 2000 : 5th Ada-Europe International Conference, Potsdam, Germany, June 26-30, 2000 : proceedings

Extreme programming and agile processes in software engineering : 4th international conference, XP 2003, Genova, Italy, May 25-29, 2003 : proceedings

Extreme programming and agile methods - XP/Agile Universe 2003 : Third XP Agile Universe Conference, New Orleans, LA, USA, August 10-13, 2003 : proceedings

FME '97 : industrial applications and strengthened foundations of formal methods : 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15 19, 1997 : proceedings

Formal methods and software engineering : 4th International Conference on Formal Engineering Methods, ICFEM 2002 Shanghai, China, October 21 25, 2002 : proceedings

Formal methods in programming and their applications : international conference, Academgorodok, Russia June 28 July 2, 1993 : proceedings

Component-based software engineering : 7th international symposium, CBSE 2004, Edinburgh, UK, May 24-25, 2004 : proceedings

Reliable software technologies : Ada-Europe 2004 : 9th Ada-Europe International Conference on Reliable Software Technologies, Palma de Mallorca, Spain, June 14-18, 2004 : proceedings
af: Llamosí, Albert

Lectures on formal methods and performance analysis : first EEF Summer School on Trends in Computer Science, Berg en Dal, The Netherlands, July 3-7, 2000 : revised lectures

Algebraic methods : theory, tools and applications

TAPSOFT'93 : theory and practice of software development : 4th International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993 : proceedings

Generative programming and component engineering : Second International Conference, GPCE 2003, Erfurt, Germany, September 22-25, 2003 : proceedings

Extreme programming and agile processes in software engineering : 5th international conference, XP 2004, Garmisch-Partenkirchen, Germany, June 6-10, 2004 : proceedings

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

Algebraic methods II : theory, tools and applications

Formal methods and software engineering : 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003 : proceedings

Partial Evaluation : International Seminar, Dagstuhl Castle, Germany, February 12 16, 1996 : selected papers

Mathematics of program construction : 6th International Conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002 : proceedings

Formal methods for open object-based distributed systems : 6th IFIP WG 6.1 international conference, FMOODS 2003, Paris, France, November 19-21, 2003 : proceedings

Building tightly integrated software development environments : the IPSEN approach
af: Nagl, Manfred, 1944-

Software visualization : International Seminar, Dagstuhl Castle, Germany, May 20 25, 2001 : revised papers

Formal methods for industrial applications : specifying and programming the steam boiler control
af: Abrial, Jean-Raymond, 1938-2025, informaticien

Formal methods and software development : Proceedings of the [first] International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25 29, 1985 Colloquium on software engineering (CSE)

© 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