Software system design methods : the challenge of advanced computing technology /
| Corporate Authors: | NATO Advanced Study Institute on the Challenge of Advanced Computing Technology to System Design Methods Grey College, University of Durham, North Atlantic Treaty Organization. Scientific Affairs Division |
|---|---|
| Other Authors: | Skwirzynski, J. K. |
| Format: | Conference Proceeding Book |
| Language: | English |
| Published: |
Berlin ; New York :
Springer-Verlag,
[1986]
|
| Series: | NATO ASI series. Computer and systems sciences ;
no. 22. |
| Subjects: |
Similar Items
Systems development methods for the next century /
Published: (1997)
Published: (1997)
Systems development methods for databases, enterprise modeling, and workflow management /
Published: (1999)
Published: (1999)
Software development techniques for constructive information systems design /
Published: (2013)
Published: (2013)
Advanced principles for improving database design, systems modeling and software development /
Published: (2009)
Published: (2009)
Formal methods for mobile computing : 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005 : advanced lectures /
Published: (2005)
Published: (2005)
Unifying the software process spectrum : International Software Process Workshop, SPW 2005, Beijing, China, May 25-27, 2005 : proceedings /
Published: (2005)
Published: (2005)
Advanced design approaches to emerging software systems : principles, methodologies, and tools /
Published: (2011)
Published: (2011)
Software engineering for electronic systems designers /
Published: (1990)
Published: (1990)
Software engineering : the decade of change /
Published: (1986)
Published: (1986)
Software process improvement : 13th European conference, EuroSPI 2006, Joensuu, Finland, October 11-13, 2006 : proceedings /
Published: (2006)
Published: (2006)
Software process improvement : 12th European conference, EuroSPI 2005, Budapest, Hungary, November 9-11, 2005 : proceedings /
Published: (2005)
Published: (2005)
Design methods for reactive systems : Yourdan, Statemate, and the UML /
by: Wieringa, Roel
Published: (2003)
by: Wieringa, Roel
Published: (2003)
Design methods for reactive systems : Yourdan, Statemate, and the UML /
by: Wieringa, Roel
Published: (2003)
by: Wieringa, Roel
Published: (2003)
Tools and algorithms for the construction and analysis of systems : 8th international conference, TACAS 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002 : proceedings /
Published: (2002)
Published: (2002)
Tools and algorithms for the construction and analysis of systems : 9th International Conference, TACAS 2003, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003 : proceedings /
Published: (2003)
Published: (2003)
Tools and algorithms for the construction and analysis of systems : 11th international conference, TACAS 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005 : proceedings /
Published: (2005)
Published: (2005)
Tools and algorithms for the construction and analysis of systems : 7th international conference, TACAS 2001, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings /
Published: (2001)
Published: (2001)
Tools and algorithms for the construction and analysis of systems : 5th International Conference, TACAS'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 /
Published: (1999)
Published: (1999)
Tools and algorithms for the construction and analysis of systems : 12th international conference, TACAS 2006, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-April 2, 2006 : proceedings /
Published: (2006)
Published: (2006)
Tools and algorithms for the construction and analysis of systems : 6th international conference, TACAS 2000, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25-April 2, 2000 : proceedings /
Published: (2000)
Published: (2000)
Tools and algorithms for the construction and analysis of systems : 4th International Conference, TACAS '98, held as part of the joint European Conferences on Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28-April 4, 1998 : proceedings /
Published: (1998)
Published: (1998)
Building a secure computer system /
by: Gasser, Morrie, 1947-
Published: (1988)
by: Gasser, Morrie, 1947-
Published: (1988)
Tools and algorithms for the construction and analysis of systems : 10th international conference, TACAS 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 /
Published: (2004)
Published: (2004)
Design methods for reactive systems : Yourdan, Statemate, and the UML /
by: Wieringa, Roel
Published: (2003)
by: Wieringa, Roel
Published: (2003)
Research issues in systems analysis and design, databases and software development /
Published: (2007)
Published: (2007)
Product-focused software process improvement : 7th international conference, PROFES 2006, Amsterdam, The Netherlands, June 12-14, 2006 : proceedings /
Published: (2006)
Published: (2006)
Relating system quality and software architecture /
Published: (2014)
Published: (2014)
Requirements engineering, foundation for software quality : 13th international working conference, REFSQ 2007, Trondheim, Norway, June 11-12, 2007 : proceedings /
Published: (2007)
Published: (2007)
Design methods for reactive systems : Yourdon, Statemate, and the UML /
by: Wieringa, Roel
Published: (2003)
by: Wieringa, Roel
Published: (2003)
Tools and algorithms for the construction and analysis of systems : Third International Workshop, TACAS '97, Enschede, The Netherlands, April 2-4, 1997 : proceedings /
Published: (1997)
Published: (1997)
Testing Computer Software Conference, June 13-16, 1988 /
Published: (1988)
Published: (1988)
Knowledge oriented software design : extended papers from the IFIP TC 12 Workshop on Artificial Intelligence from the Information Processing Perspective, AIFIPP '92, Madrid, Spain, 14-15 September, 1992 /
Published: (1993)
Published: (1993)
Tools and algorithms for the construction and analysis of systems : 13th international conference, TACAS 2007, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007 : proceedings /
Published: (2007)
Published: (2007)
Design for trustworthy software : tools, techniques, and methodology of developing robust software /
by: Jayaswal, Bijay K., 1949-
Published: (2007)
by: Jayaswal, Bijay K., 1949-
Published: (2007)
Hardware/software co-design and co-verification /
Published: (1997)
Published: (1997)
Current practices in software development : a guide to successful systems /
by: King, David, 1940-
Published: (1984)
by: King, David, 1940-
Published: (1984)
Knowledge-based software engineering : proceedings of the seventh Joint Conference on Knowledge-Based Software Engineering /
Published: (2006)
Published: (2006)
Knowledge-based software engineering : proceedings of the Sixth Joint Conference on Knowledge-Based Software Engineering /
Published: (2004)
Published: (2004)
Embedded software : second international conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002 : proceedings /
Published: (2002)
Published: (2002)
Knowledge-based software engineering : proceedings of the Fourth Joint Conference on Knowledge-Based Software Engineering in Brno, Czech Republic, 2000 /
Published: (2000)
Published: (2000)