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

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

Weitere Versionen anzeigen (1)

Gespeichert in:

Bibliographische Detailangaben
Format:	Tagungsbericht Buch
Sprache:	English
Veröffentlicht:	Berlin u.a. Springer 2004
Schriftenreihe:	Lecture notes in computer science 2931
Schlagworte:	Logiciels - Essais - Congrès Méthode formelle Méthodes formelles (Informatique) - Congrès Vérification de logiciels Computer software > Testing > Congresses Formal methods (Computer science) > Congresses Softwareentwicklung Formale Methode Softwaretest Korrektheit Hardwareentwurf Konferenzschrift > 2003 > Montreal
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

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

Formal methods for components and objects third international symposium, FMCO 2004, Leiden, the Netherlands, November 2 - 5, 2004 ; revised lectures
Veröffentlicht: (2005)

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)

Formal methods for trustworthy computer systems (FM89) report from FM89: a Workshop on the Assessment of Formal Methods for Trustworthy Computer Systems ; 23 - 27 july 1989, Halifax, Canada
Veröffentlicht: (1990)

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)

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

Constructing correct software
von: Cooke, John
Veröffentlicht: (2005)

Tests and proofs second International Conference, TAP 2008, Prato, Italy, April 9-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)

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

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)

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

Software testing testing across the entire software development life cycle
von: Everett, Gerald David
Veröffentlicht: (2007)

Numerical software with result verification International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 19 - 24, 2003 ; revised papers
Veröffentlicht: (2004)

Computer aided verification 10th international conference, CAV '98, Vancouver, BC, Canada, June 28 - July 2, 1998 ; proceedings
Veröffentlicht: (1998)

Lessons learned in software testing a context-driven approach
von: Kaner, Cem, et al.
Veröffentlicht: (2002)

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

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

Formal methods and testing an outcome of the FORTEST Network ; revised selected papers
Veröffentlicht: (2008)

Formal methods in computer aided design 4th international conference, FMCAD 2002, Portland, OR, USA, November 6 - 8, 2002 ; proceedings
Veröffentlicht: (2002)

SPIN model checking and software verification 7th International SPIN Workshop, Stanford, CA, USA, August 30 - September 1, 2000 ; proceedings
Veröffentlicht: (2000)

Tutorial: Software testing and validation techniques
Veröffentlicht: (1981)

Rapid testing
von: Culbertson, Robert, et al.
Veröffentlicht: (2002)

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)

Formal models of agents ESPRIT project model age final workshop ; selected papers
Veröffentlicht: (1999)

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)

Integrated formal methods 5th international conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005 ; proceedings
Veröffentlicht: (2005)

Correct hardware design and verification methods 12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L'Aquila, Italy, October 21-24, 2003 : proceedings
Veröffentlicht: (2003)

Computer safety, reliability and security 18th international conference, SAFECOMP '99, Toulouse, France, September 27 - 29, 1999 ; proceedings
Veröffentlicht: (1999)

Software validation, verification, testing and documentation
Veröffentlicht: (1986)

Correct hardware design and verification methods 13th IFIP WG 10.5 Advanced Research, Working Conference, CHARME 2005, Saarbrücken, Germany, October 3 - 6, 2005 ; proceedings
Veröffentlicht: (2005)

Formal methods for real time and probabilistic systems 5th International AMAST Workshop, ARTS '99, Bamberg, Germany, May 26 - 28, 1999 ; proceedings
Veröffentlicht: (1999)

Formal Methods and Testing Outcome of the FORTEST Network on Formal Methods and Testing. Revised Selected Papers
Veröffentlicht: (2008)

Proceedings June 7 - 9, 1994, Washington, D.C.
Veröffentlicht: (1994)

Applied formal methods - FM trends 98 International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7 - 9, 1998 ; proceedings
Veröffentlicht: (1999)

Software prototyping, formal methods and VDM
von: Hekmatpour, Sharam, et al.
Veröffentlicht: (1988)

The craft of software testing subsystem testing ; including object-based and object-oriented testing
von: Marick, Brian
Veröffentlicht: (1995)

Agent oriented software engineering II second international workshop, AOSE 2001, Montreal, Canada, May 29, 2001 ; revised papers and invited contributions
Veröffentlicht: (2002)