Formal methods for components and objects third international symposium, FMCO 2004, Leiden, the Netherlands, November 2 - 5, 2004 ; revised lectures

Formal methods for components and objects third international symposium, FMCO 2004, Leiden, the Netherlands, November 2 - 5, 2004 ; revised lectures

Weitere Versionen anzeigen (1)

Gespeichert in:

Bibliographische Detailangaben
Format:	Tagungsbericht Buch
Sprache:	English
Veröffentlicht:	Berlin [u.a.] Springer 2005
Schriftenreihe:	Lecture notes in computer science 3657 : Tutorial
Schlagworte:	Approche orientée objet (Informatique) - Congrès Approche orientée objet Composant logiciel Composants logiciels - Congrès Méthode formelle Méthodes formelles (Informatique) - Congrès Component software > Congresses Formal methods (Computer science) > Congresses Object-oriented programming (Computer science) > Congresses Formale Methode Softwareentwicklung Komponente > Software Formale Spezifikationstechnik Objektorientierung Konferenzschrift > 2004 > Leiden
Online-Zugang:	Inhaltsverzeichnis
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

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

Objects, agents, and features international seminar, Dagstuhl Castle, Germany, February 16-21, 2003; revised and invited papers
Veröffentlicht: (2004)

Component deployment second international working conference, CD 2004, Edinburgh, UK, May 20 - 21, 2004 ; proceedings
Veröffentlicht: (2004)

Formal approaches to software testing 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004 ; revised selected papers
Veröffentlicht: (2005)

Agent-oriented information systems 5th international bi-conference workshop, AOIS 2003, Melbourne, Australia, July 14, 2003 and Chicago, IL, USA, October 13, 2003 ; revised selected papers
Veröffentlicht: (2004)

UML 2001 - the unified modeling language modeling languages, concepts, and tools ; 4th international conference, Toronto, Canada, October 1 - 5, 2001 ; proceedings
Veröffentlicht: (2001)

Model driven architecture European MDA Workshops: Foundations and Applications, MDAFA 2003 and MDAFA 2004, Twente, The Netherlands, June 26 - 27, 2003 and Linköping, Sweden, June 10 - 11, 2004 ; revised selected papers
Veröffentlicht: (2005)

Formal methods and object technology
Veröffentlicht: (1996)

Software specification methods an overview using a case study
Veröffentlicht: (2001)

Validated designs for object-oriented systems
Veröffentlicht: (2005)

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
Veröffentlicht: (2004)

Handbook of object technology
Veröffentlicht: (1999)

Formal approaches to agent based systems third International Workshop, FAABS 2004, Greenbelt, MD, USA, April 26 - 27, 2004 ; revised selected papers
Veröffentlicht: (2005)

Formal methods and software engineering 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8 - 12, 2004 ; proceedings
Veröffentlicht: (2004)

Generative programming and component engineering second International Conference, GPCE 2003, Erfurt, Germany, September 22 - 25, 2003 ; proceedings
Veröffentlicht: (2003)

Advances in object oriented data modeling
Veröffentlicht: (2000)

Formal specification techniques and applications
von: Nissanke, Nimal 1943-
Veröffentlicht: (1999)

Cafe an industrial-strength algebraic formal method
Veröffentlicht: (2000)

ECOOP 2003 - object oriented programming 17th European conference, Darmstadt, Germany, July 21-25, 2003 ; proceedings
Veröffentlicht: (2003)

Advances in object-oriented data modeling
Veröffentlicht: (2000)

ECOOP '89 proceedings of the 1989 European Conference on Object-Oriented Programming, East Midland Conference Centre, University of Nottingham, 10 - 14 July 1989
Veröffentlicht: (1989)

Software engineering an object-oriented perspective
von: Braude, Eric J.
Veröffentlicht: (2001)

Object-oriented client-server internet environments the modern IT infrastructure
von: Umar, Amjad
Veröffentlicht: (1997)

Formal approaches to agent-based systems second international workshop, FAABS 2002, Greenbelt, MD, USA, October 29-31, 2002 ; revised papers
Veröffentlicht: (2003)

Formal approaches to agent-based systems second international workshop, FAABS 2002, Greenbelt, MD, USA, October 29-31, 2002 ; revised papers
Veröffentlicht: (2003)

ECOOP 2008 - object-oriented programming 22nd European Conference, Paphos, Cyprus, July 7 - 11, 2008 ; proceedings
Veröffentlicht: (2008)

Lectures on formal methods and performance analysis first EEF/Euro Summer School on Trends in Computer Science, Berg en Dal, The Netherlands, July 3 - 7, 2000 ; revised lectures
Veröffentlicht: (2001)

UML distilled a brief guide to the standard object modeling language
von: Fowler, Martin 1963-
Veröffentlicht: (2000)

Schaum's outline of UML
von: Bennett, Simon, et al.
Veröffentlicht: (2001)

Cafe an industrial-strength algebraic formal method
Veröffentlicht: (2000)

Object modeling and user interface design
Veröffentlicht: (2001)

UML distilled applying the standard object modeling language
von: Fowler, Martin 1963-
Veröffentlicht: (1997)

Component based software engineering 8th International Symposium, CBSE 2005, St. Louis, MO, USA, May 14 - 15, 2005 ; proceedings
Veröffentlicht: (2005)

Formal methods for components and objects first international symposium, FMCO 2002, Leiden, The Netherlands, November 5 - 8, 2003 ; revised lectures
Veröffentlicht: (2003)

Corba security an introduction to safe computing with objects
von: Blakley, Bob
Veröffentlicht: (2000)

Object oriented methods
von: Graham, Ian
Veröffentlicht: (1991)

Technology of object oriented languages and systems proceedings of the tenth International Conference TOOLS Europe '93 Versailles, France
Veröffentlicht: (1993)

Modeling and verification using UML statecharts a working guide to reactive system design, runtime monitoring, and execution-based model checking
von: Drusinsky, Doron
Veröffentlicht: (2006)

Object oriented design knowledge principles, heuristics, and best practices
Veröffentlicht: (2007)

Object oriented approach in information systems proceedings of the IFIP TC8/WG8.1 Working Conference on the Object Oriented Approach in Informations Systems, Quebec City, Canada, 28 - 31 October, 1991
Veröffentlicht: (1991)