Formal methods and software development : :: SCD d'Orléans

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)

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 Volume 2, Colloquium on software engineering (CSE)

Enregistré dans:

Bibliografiske detaljer
Institution som forfatter:	International joint conference on theory and practice of software development :Berlin
Andre forfattere:	Ehrig, Hartmut, 1944- (Directeur de la publication), Floyd, Christiane (Directeur de la publication), Nivat, Maurice, 1937-2017, informaticien (Directeur de la publication)
Format:	Livre numérique
Sprog:	Anglais
Udgivet:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Serier:	Lecture notes in computer science 186
Fag:	Génie logiciel Informatique Langages de programmation 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:	• Formal methods and software development, Colloquium on Software Engineering (CSE), Berlin, Springer-Verlag, 1985, 1 vol. (XIV-455 p.), Lecture notes in computer science, 0-387-15199-0 • Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985, Texte imprimé, 9783662207468

Lignende værker

Mathematical foundations of software development : proceedings of the International joint conference on theory and practice of software development (TAPSOFT), Berlin, March 25-29, 1985 Colloquium on trees in algebra and programming (CAAP' 85)

Formal methods and software engineering : 4th International Conference on Formal Engineering Methods, ICFEM 2002 Shanghai, China, October 21 25, 2002 : 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 and software engineering : 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003 : proceedings

Formal foundations for software engineering methods
af: Hussmann, Heinrich, 1959-

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 approaches to software testing : Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003 : revised Papers
af: Petrenko, Alexandre

Formal verification of trusted layers of software : application to the TPM Software Stack
af: Ziani, Yani, 1995-
Udgivet: (2025)

Fundamental approaches to software engineering : third international conference, FASE 2000 held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25-April 2, 2000 : proceedings

Fundamental approaches to software engineering : first international conference, FASE '98 held as part of the joint European Conferences on Theory and Practics of Software, ETAPS ±98, Lisbon, Portugal, March 28-April 4, 1998 : proceedings

Fundamental approaches to software engineering : 7th international conference, FASE 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29-April 2, 2004 : proceedings
af: Wermelinger, Michel, 1966-

TAPSOFT '87 : proceedings of the International joint conference on theory and practice of software development, Pisa, Italy, March 23-27, 1987 Advanced seminar on foundations of innovative software development II and Colloquium on functional and logic programming and specifications (CFLP)

Fundamental approaches to software engineering : Second International Conference, FASE 99, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 99, Amsterdam, The Netherlands, March 22-28, 1999 : proceedings

TAPSOFT '89 : proceedings of the International Joint Conference on Theory and Practice of Software Development Barcelona, Spain, March 13 17, 1989 advanced seminar on foundations of innovative software development I and colloquium on trees in algebra an programming (CAAP '89)

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

Software engineering - ESEC '95 : 5th European Software Engineering Conference, Sitges, Spain, September 25 28, 1995 : proceedings

Foundations of software science and computation structures : Third International Conference, FOSSACS 2000, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25-April 2, 2000 : proceedings

Fundamental approaches to software engineering : 6th international conference, FASE 2003, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003 : proceedings

Fundamental approaches to software engineering : 5th international conference, FASE 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002 : proceedings

Fundamental Approaches to Software Engineering : 4th International Conference, FASE 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2 6, 2001 Proceedings

TAPSOFT '89 : proceedings of the International Joint Conference on Theory and Practice of Software Development, Barcelona, Spain, March 13 17, 1989 advanced seminar on foundations of innovative software development II and colloquium on current issues in programming languages (CCIPL)

Software engineering - ESEC '93 : 4th European Software Engineering Conference, Garmisch-Partenkirchen, Germany, September 13-17, 1993 : proceedings

Foundations of software science and computation structures : 7th international conference, FOSSACS 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29-April 2, 2004 : proceedings

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

Reflection and software engineering
af: Cazzola, Walter, 19..-

Software engineering - ESEC/FSE '97 : 6th European Software Engineering Conference held jointly with the 5th ACM SIGSOFT Symposium on the Foundations of Software Engineering, Zurich, Switzerland, September 22 25, 1997 : proceedings

VDM '90 VDM and Z - formal methods in software development : Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990 : proceedings

Foundations of software science and computation structures : First International Conference, FoSSaCS ±98, held as part of the joint European Conferences on Theory and Practice of Software, ETAPS ±98, Lisbon, Portugal, March 28 April 4, 1998 : proceedings

Foundations of software science and computation structures : 6th international conference, FOSSACS 2003, held as part of the joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003 : proceedings

Software engineering
af: Sommerville, Ian
Udgivet: (2001)

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

Software engineering - ESEC/FSE 99 : 7th European Software Engineering Conference held jointly with the 7th ACM SIGSOFT Symposium on the Foundations of Software Engineering, Toulouse, France, September 6 10, 1999 : proceedings

Foundations of software science and computation structures : Second International Conference, FOSSACS 99, held as part of the joint European Conferences on Theory and Practice of Software, ETAPS 99, Amsterdam, The Netherlands,March 22 28, 1999 : proceedings

TAPSOFT '91 : proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8 12, 1991 Colloquium on Trees in Algebra and Programming (CAAP'91)

Foundations of software science and computation structures : 5th international conference, FOSSACS 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002 : proceedings

TAPSOFT '95 : theory and practice of software development : 6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22-26, 1995 : proceedings

Theoretical aspects of computer software : [first] International Conference, TACS'91, Sendai, Japan, September 24-27, 1991 : proceedings

Software engineering : an advanced course
af: Bauer, Friedrich Ludwig, 1924-2015, et autres
Udgivet: (2005)

Automated software engineering.
Udgivet: (2002)

Reliable software technologies Ada-Europe : 1998 Ada-Europe International Conference on Reliable Software Technologies Uppsala, Sweden, June 8 12, 1998 : proceedings

© 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