Software prototyping, formal methods, and VDM /

Software prototyping : adoption, practice, and management /
by: Smith, M. F. (Mike F.)
Published: (1991)

Effective prototyping for software makers /
by: Arnowitz, Jonathan
Published: (2007)

Effective prototyping for software makers /
by: Arnowitz, Jonathan
Published: (2007)

Prototyping-oriented software development : concepts and tools /
by: Pomberger, Gustav, 1949-
Published: (1992)

VDM '88 : VDM, the way ahead : 2nd VDM-Europe symposium, Dublin, Ireland, September 11-16, 1988 : proceedings /
Published: (1988)

VDM '90 : VDM and Z : formal methods in software development : third international symposium of VDM Europe, Kiel, FRG, April 17-21, 1990 ; proceedings /
Published: (1990)

Proof in VDM : case studies /
Published: (1998)

Object orientation and prototyping in software engineering /
by: Pomberger, Gustav, 1949-
Published: (1996)

Software design and prototyping using me too /
by: Alexander, Heather, 1955-
Published: (1990)

Prototyping : an approach to evolutionary system development /
Published: (1992)

Applications of formal methods /
Published: (1995)

Contracts, scenarios and prototypes : an integrated approach to high quality software /
by: Plösch, Reinhold
Published: (2004)

Rapid prototyping : moving to business-centric development /
by: Reilly, John P.
Published: (1996)

Formal engineering for industrial software development : using the SOFL method /
by: Liu, Shaoying, 1960-
Published: (2004)

The prototyping methodology /
by: Lantz, Kenneth E.
Published: (1985)

Prototyping with Visual Basic /
by: Stephens, Rod, 1961-
Published: (2002)

Formal Methods in Databases and Software Engineering : Proceedings of the Workshop on Formal Methods in Databases and Software Engineering, Montreal, Canada, 15-16 May 1992 /
by: Alagar, Vangalur S., 1940-
Published: (1993)

Structured rapid prototyping : an evolutionary approach to software development /
by: Connell, John L., 1943-
Published: (1989)

Effective methods for software and systems integration /
by: Summers, Boyd L.
Published: (2013)

Practical software estimation : function point methods for insourced and outsourced projects /
by: Parthasarathy, M. A.
Published: (2007)

Software metrics : measurement for software process improvement /
by: Kitchenham, B. A.
Published: (1996)

Formal methods and software engineering : 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005 : proceedings /
Published: (2005)

Prototyping-Oriented Software Development : Concepts and Tools /
by: Bischofberger, Walter R.
Published: (1992)

Software ecosystem : understanding an indispensable technology and industry /
by: Messerschmitt, David G.
Published: (2003)

Economics-driven software architecture /
by: Mistrík, Ivan
Published: (2014)

Formal methods and software engineering : 5th International Conference on Formal Engineering Methods, ISFEM 2003, Singapore, November 5-7, 2003 : proceedings /
Published: (2003)

Software testing : testing across the entire software development life cycle /
by: Everett, Gerald D., 1943-
Published: (2007)

Software process modelling and technology /
Published: (1994)

Formal methods and software engineering : 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006 : proceedings /
Published: (2006)

Agile software development with scrum /
by: Schwaber, Ken
Published: (2002)

Software engineering : architecture-driven software development /
by: Schmidt, Richard F. (Richard Francis), 1956-
Published: (2013)

Software reengineering /
by: Arnold, Robert S.
Published: (1993)

Software architect /
by: Bell, Michael
Published: (2023)

Software architect /
by: Bell, Michael
Published: (2023)

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

Software cost estimation and sizing methods : issues, and guidelines /
by: Pfleeger, Shari Lawrence
Published: (2005)