Formal Methods for Components and Objects : :: SCD d'Orléans

Formal Methods for Components and Objects : 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers

Formal Methods for Components and Objects : 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers

Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design for some time. However, their application to the development of large systems requires more emphasis on specification, modeling, and validation techniques supporting the concept...

पूर्ण विवरण

में बचाया:

ग्रंथसूची विवरण
अन्य लेखक:	Beckert, Bernhard (प्रकाशन निदेशक), Damiani, Ferruccio (प्रकाशन निदेशक), de Boer, Frank S. (प्रकाशन निदेशक), Bonsangue, Marcello M. (प्रकाशन निदेशक)
स्वरूप:	Livre numérique
भाषा:	Anglais
प्रकाशित:	Berlin, Heidelberg : Springer Berlin Heidelberg [20..]. Cham : Springer Nature
संस्करण:	1st ed. 2013.
श्रृंखला:	Programming and Software Engineering 7542
ऑनलाइन पहुंच:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
टिप्पणी:	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, Texte imprimé, 9783642358869 • Formal Methods for Components and Objects, Texte imprimé, 9783642358883

समान संसाधन

Formal Methods for Components and Objects : 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures
द्वारा: Giachino, Elena

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

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

Formal aspects of component software : 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012 : revised selected papers

Structured object-oriented formal language and method : Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012 : revised selected papers
प्रकाशित: (2013)

Formal methods for mining structured objects
द्वारा: Garriga, Gemma

Web services and formal methods : 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012 : revised selected papers

Objects, components, architectures, services, and applications for a networked world : International Conference NetObjectDays, NODe 2002 Erfurt, Germany, October 7 10, 2002 : revised papers

From object-orientation to formal methods : essays in memory of Ole-Johan Dahl
द्वारा: Owe, Olaf, 19..-

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

NASA formal methods : 5th International symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings

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

Formal Methods
प्रकाशित: (2024)

Formal Methods
प्रकाशित: (2024)

Formal Methods: Foundations and Applications : 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013, Proceedings
प्रकाशित: (2013)

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

Integrated formal methods : 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013 : proceedings

Formal methods and software engineering : 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 November 1, 2013, proceedings

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
द्वारा: Petrenko, Alexandre

Formal grammar : 17th and 18th International Conferences, FG 2012, Opole, Poland, August 2012, Revised Selected Papers, FG 2013, Düsseldorf, Germany, August 2013 : proceedings
द्वारा: Morrill, Glyn
प्रकाशित: (2013)

Generative and component-based software engineering : second international symposium, GCSE 2000, Erfurt, Germany, October 9-12, 2000 : revised papers

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

Formal methods for dynamical systems : 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013 : advanced Lectures
प्रकाशित: (2013)

Formal methods for the design of real-time systems : international school on formal methods for the design of computer, communication and software systems, SFM-RT 2004, Bertinoro, Italy, september 13-18, 2004 : revised lectures
द्वारा: Bernardo, Marco

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

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

Integrated formal methods : 4th International Conference, IFM 2004, Cnaterbury, UK, April 4-7, 2004 : proceedings
द्वारा: Boiten, Eerke, 1966-

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 methods in system design.
प्रकाशित: (2002)

Modern Formal Methods and Applications
द्वारा: Gabbar, Hossam A.

Formal Methods in System Design.

Formal approaches to agent-based systems : second international workshop, FAABS 2002, Greenbelt, MD, USA, October 29-31, 2002 : revised papers

Objects and databases : international symposium, Sophia Antipolis, France, June 13, 2000 : revised papers

Specification and verification of object-oriented software components
द्वारा: Roth, Andreas
प्रकाशित: (2021)

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

Teaching formal methods : CoLogNET/FME symposium, TFM 2004, Ghent, Belgium, november 18-19, 2004 : proceedings
द्वारा: Dean, Neville, 19..-

Formal models of agents : ESPRIT Project ModelAge Final Workshop : selected papers
द्वारा: Meyer, John-Jules Charles, informaticien

Formal aspects of security : First international conference, FASec 2002 : London, UK, December 16-18, 2002 : revised papers

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

Theories of Programming and Formal Methods : Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday
द्वारा: Liu, Zhiming
प्रकाशित: (2013)

© 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