Engineering theories of software construction proceedings of the ... held 25 July-6 August 2000

Engineering theories of software construction proceedings of the ... held 25 July-6 August 2000

Saved in:

Bibliographic Details
Corporate Author:	Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Construction
Other Authors:	Hoare, Tony, Broy, Manfred, Steinbruggen, Ralf
Format:	Book
Published:	Amsterdam IOS Press 2001
Series:	Series 3 : Computer and systems sciences v. 180
Subjects:	Software engineering > Congresses > Congresses System design > Congresses > Congresses
Online Access:	Click Here to View Status and Holdings.
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Fundamental approaches to software engineering held as part of the joint Eropean conferences on theory and practice of software proceedings of the ...held March 25 - April 2, 2000
Published: (2000)

Fundamental approaches to software engineering proceeding of the ...held April 2 - 6 2001, held as part of the joint European conferences on theory and practice of software
Published: (2001)

Software engineering. Proceedings of the ...
Published: (1989)

Software engineering an advanced course
Published: (1975)

Software engineering an advanced course
Published: (1977)

Tools and algorithms for the construction and analysis of systems held of part of the joint European conferences on theory and practice of software proceedings of the ...held March 25 - April 2, 2000
Published: (2000)

Theory and practice of software technology proceedings of the International Seminars on Software Engineering, Capri, Italy, 1980 & 1982
Published: (1983)

Product focused software process improvement proceedings of the ...held June 20 - 22, 2000
Published: (2000)

Tools and algorithms for the construction and analysis of systems proceedings of the ...held April 2 - 6, 2001, held as part of the joint European conferences on theory ad practice of software
Published: (2001)

Software reuse and reverse engineering in practice
Published: (1992)

Testing techniques in software engineering second pernambuco summer school on software engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, revised lectures
Published: (2010)

Foundations of software science and computation structures proceedings of the ...held April 2 - 6, 2001, held as part of the joint European conferences on theory and practice of software
Published: (2001)

Generative and transformational techniques in software engineering II international summer school, GTTSE 2007, Braga, Portugal, July 2-7, 2007 : revised papers
Published: (2008)

International Symposium on Engineered Software Systems, 1993 proceedings of the ISESS Symposium, Malvern, USA, May 4-7, 1993
Published: (1993)

Generative and component - based software engineering revised papers, September 28 - 30, 1999
Published: (2000)

Engineering societies in the agents world proceedings of ... held 21 August 2000
Published: (2000)

Agent-oriented software engineering; revised paper/June 10, 2000
Published: (2001)

New trends in software methodologies, tools and techniques proceedings of the fourth SoMeTW 05
Published: (2005)

New approaches in software measurement proceedings of the...held October 4 - 6, 2000
Published: (2001)

Foundations of software technology and theoretical computer science proceedings of the ...held December 13 - 15, 1999
Published: (1999)

New trends in software methodologies, tools and techniques proceedings of Lyee-W02
Published: (2002)

Software process technology proceedings of the ...held February 21 - 25, 2000
Published: (2000)

New Trends in Software Methodologies, Tools and Techniques Proceedings of the Eighth SoMeT 09
by: Marik, V. Vladimir
Published: (2009)

New trends in software methodologies, tools, and techniques proceedings of the Third SoMeT W04
Published: (2004)

Software engineering education proceedings of the ..., 28 September - 2 October 1993
Published: (1993)

Advanced information systems engineering 14th International Conference, CAiSE 2002, Toronto, Canada, May 27-31, 2002 : proceedings
Published: (2002)

Algebraic methodology and software technology proceedings of the ...held May 20 - 27, 2000
Published: (2000)

Achieving quality in software proceedings of the ... held in January, 1996
Published: (1996)

Software engineering in medical informatics proceedings of the IMIA Working Conference on Software Engineering in Medical Informatics, Amsterdam, the Netherlands, 8-10 October 1990
Published: (1991)

Knowledge-based software engineering proceedings of the fifth Joint Conference on Knowledge-Based Software Engineering
Published: (2002)

Knowledge-based software engineering proceedings of the Sixth Joint Conference on Knowledge-Based Software Engineering
Published: (2004)

Software reuse advances in software reusability proceedings of the ...held June 27 - 29, 2000
Published: (2000)

Mathematical software proceedings of the first International Congress of Mathematical Software : Beijing, China, 17-19 August 2002
Published: (2002)

Scientific software systems based on the proceedings of the International Symposium on Scientific Software and Systems, held at Royal Military College of Science, Shrivenham, July 1988
Published: (1990)

Software engineering education needs and objectives : proceedings of an interface workshop
Published: (1976)

Software architecture system design, development and maintenance : IFIP 17th World Computer Congress--TC2 stream/3rd Working IEEE/IFIP Conference on Software Architecture (WICSA3), August 25-30, 2002, Montr?eal, Qu?ebec, Canada
Published: (2002)

Human-centred software engineering third international conference, HCSE 2010, Reykjavik, Iceland, October 14-15, 2010. proceedings
Published: (2010)

Foundations of software technology and theoretical computer science proceedings of the ... held December 18-20, 1992
Published: (1991)

Foundations of software technology and theoretical computer science proceedings of the ... held December 18-20, 1992
Published: (1992)

Reliable software technologies Ada-Europe 2000 proceedings of the ...held June 26 - 20, 2000
Published: (2000)