Formal methods for components and objects : :: SCD d'Orléans

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

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

Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design. However, their application to more complex systems, resulting from the object-oriented and the more recent component-based software engineering paradigms, requires further deve...

Volledige beschrijving

Bewaard in:

Bibliografische gegevens
Coauteur:	International Symposium on Formal Methods for Components and Objects :Leiden, NL
Andere auteurs:	Boer, Frank S. De (Publishing director), Bonsangue, Marcello M. (Publishing director), Graf, Susanne, 19..-...., auteure en informatique (Publishing director)
Formaat:	Livre numérique
Taal:	Anglais
Gepubliceerd in:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Reeks:	Lecture notes in computer science 3188
Onderwerpen:	Génie logiciel Informatique Langages de programmation Systèmes, Conception de Logique symbolique et mathématique Logiciels > Développement Actes de congrès
Online toegang:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Opmerking:	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 for components and objects, second international symposium, FMCO 2003, Leiden, The Netherlands, november 4-7, 2003, revised lectures, Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf...[et al.](eds.), Berlin, Springer, 2004, 1 vol. (VIII-371 p.), Lecture notes in computer science, 3-540-22942-6 • Formal Methods for Components and Objects, Texte imprimé, 9783662206164

Gelijkaardige items

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

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

Teaching formal methods : CoLogNET/FME symposium, TFM 2004, Ghent, Belgium, november 18-19, 2004 : proceedings
door: Dean, Neville, 19..-

Formal methods at the crossroads : from panacea to foundational support : 10th anniversary colloquium of UNU/IIST, the International Institute for Software Technology of the United Nations University, Lisbon, Portugal, March 18-20, 2002 : revised papers

From object-orientation to formal methods : essays in memory of Ole-Johan Dahl
door: Owe, Olaf, 19..-

FME 2003 : formal methods : International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003 : 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 in computer-aided design : 4th international conference, FMCAD 2002, Portland, OR, USA, November 6-8, 2002 : 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

Programs as data objects : Second Symposium, PADO 2001, Aarhus, Denmark, May 21-23, 2001 : proceedings

Formal methods in programming and their applications : international conference, Academgorodok, Russia June 28 July 2, 1993 : 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

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

Theoretical aspects of computer software : ; proceedings 4th international symposium, TACS 2001, Sendai, Japan, October 29-31, 2001

Formal methods in computer aided design : second international conference, FMCAD '98, Palo Alto, CA, USA, November 4-6, 1998 : proceedings

Compiler construction : 12th international conference, CC 2003 held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003 : proceedings

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

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

Static analysis : 10th international symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003 : proceedings

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

FME 2001 : formal methods for increasing software productivity : [10th] International Symposium of Formal Methods Europe, Berlin, Germany, March 12 16, 2001 : proceedings

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

Program development in computational logic : a decade of research advances in logic-based program development
door: Bruynooghe, Maurice

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)

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

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 '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)

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
door: Petrenko, Alexandre

Semantics, applications, and implementation of program generation : second international workshop, SAIG 2001, Florence, Italy, September 6, 2001 : proceedings

Compiler construction : 4th International Conference, CC '92, Paderborn, FRG, October 5 7, 1992 : proceedings

Termination proofs for logic programs
door: Plümer, Lutz, 1951-

Programming languages and systems : First Asian symposium, APLAS 2003, Beijing, China, November 27-29, 2003 : proceedings

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

FST TCS 2001 : foundations of software technology and theoretical computer science : 21st Conference, Bangalore, India, December 13 15, 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 I and colloquium on trees in algebra an programming (CAAP '89)

Semantics, applications, and implementation of program generation : [first] International Workshop, SAIG 2000, Montreal, Canada, September 20, 2000 : proceedings

Compiler construction : 9th International Conference, CC 2000held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25-April 2, 2000 : proceedings

FST TCS 2003 : foundations of software technology and theoretical computer science : 23rd conference, Mumbai, India, December 15-17, 2003 : proceedings

Compiler construction : 8th International Conference, CC 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
door: Jähnichen, Stefan, 19..-

© 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