Foundations of algebraic specification and formal software development
| Main Authors: | , |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
New York
Springer
c2012
|
| Series: | Monographs in theoretical computer science
|
| Subjects: |
Similar Items
Formal specification using Z
by: Lightfoot, David 1951-
Published: (2001)
by: Lightfoot, David 1951-
Published: (2001)
Algebraic foundations in computer science essays dedicated to symeon bozapalidis on the occasion of his retirement
by: Kuich, Werner 1941-, et al.
Published: (2011)
by: Kuich, Werner 1941-, et al.
Published: (2011)
Generating software from specifications
by: Waite, W. M. (William McCastline), et al.
Published: (2006)
by: Waite, W. M. (William McCastline), et al.
Published: (2006)
Formal engineering for industrial software development using the SOFL method
by: Liu, Shaoying 1960-
Published: (2004)
by: Liu, Shaoying 1960-
Published: (2004)
Guide to software development designing and managing the life cycle
by: Langer, Arthur M.
Published: (2012)
by: Langer, Arthur M.
Published: (2012)
An introduction to formal specification and Z
by: Potter, Ben, et al.
Published: (1996)
by: Potter, Ben, et al.
Published: (1996)
Software requirements & specifications a lexicon of practice, principles and prejudices
by: Jackson, Michael J. (Michael James)
Published: (1995)
by: Jackson, Michael J. (Michael James)
Published: (1995)
Know all about software [ types, architecture, quality, development & engineering
by: Osborn, Temeka
Published: (2014)
by: Osborn, Temeka
Published: (2014)
Software product line engineering foundations, principles, and techniques
by: Pohl, Klaus 1960-, et al.
Published: (2005)
by: Pohl, Klaus 1960-, et al.
Published: (2005)
Practical formal methods with VDM
by: Andrews, D. (Derek), et al.
Published: (1991)
by: Andrews, D. (Derek), et al.
Published: (1991)
The engineering of software quality
by: O'Brien, Fergus
Published: (2004)
by: O'Brien, Fergus
Published: (2004)
Rigorous software development an introduction to program verification
by: Almeida, Jose Bacelar
Published: (2011)
by: Almeida, Jose Bacelar
Published: (2011)
Agile software development : evaluating the methods for your organization
by: Koch, Alan S.
Published: (2005)
by: Koch, Alan S.
Published: (2005)
Software ecosystem understaning an indispensable technology and industry
by: Messerschmitt, David G., et al.
Published: (2007)
by: Messerschmitt, David G., et al.
Published: (2007)
Secure and resilient software development
by: Merkow, Mark S., et al.
Published: (2010)
by: Merkow, Mark S., et al.
Published: (2010)
Successful software reengineering
by: Valenti, Sal , 1956-
Published: (2002)
by: Valenti, Sal , 1956-
Published: (2002)
Six sigma software development
by: Tayntor, Christine B.
Published: (2007)
by: Tayntor, Christine B.
Published: (2007)
Software systems & applications
by: Worsham, Cassidy
Published: (2014)
by: Worsham, Cassidy
Published: (2014)
Using UML software engineering with objects and components
by: Pooley, Rob, et al.
Published: (1999)
by: Pooley, Rob, et al.
Published: (1999)
Software development rhythms harmonizing agile practices for synergy
by: Lui, Kim Man, et al.
Published: (2008)
by: Lui, Kim Man, et al.
Published: (2008)
Software development an open source approach
by: De Silva, Chamindra, et al.
Published: (2011)
by: De Silva, Chamindra, et al.
Published: (2011)
Flexible, reliable software : using patterns and agile development
by: Christensen, Henrik B.
Published: (2010)
by: Christensen, Henrik B.
Published: (2010)
Software engineering best practices lessons from successful projects in the top companies
by: Jones, Capers
Published: (2010)
by: Jones, Capers
Published: (2010)
Software engineering research, management and applications
by: Lee, R. Y. (Roger Y.)
Published: (2008)
by: Lee, R. Y. (Roger Y.)
Published: (2008)
Software engineering reviews and audits
by: Summers Boyd L.
Published: (2011)
by: Summers Boyd L.
Published: (2011)
Software evolution
by: Demeyer, Serge, et al.
Published: (2008)
by: Demeyer, Serge, et al.
Published: (2008)
Software paradigms
by: Kaisler, Stephen H.
Published: (2005)
by: Kaisler, Stephen H.
Published: (2005)
Software design
by: Budgen, David
Published: (2003)
by: Budgen, David
Published: (2003)
Error-free software know-how and know-why of program correctness
by: Baber, Robert Laurence
Published: (1991)
by: Baber, Robert Laurence
Published: (1991)
Practical software project estimation a toolkit for estimating software development effort & duration
by: Hill, Peter R.
Published: (2011)
by: Hill, Peter R.
Published: (2011)
Free/open source software development
by: Koch, Stefan
Published: (2005)
by: Koch, Stefan
Published: (2005)
Software estimation best practices, tools & techniques a complete guide for software project estimators
by: Chemuturi, Murali 1950-
Published: (2009)
by: Chemuturi, Murali 1950-
Published: (2009)
Software defect prevention concepts and implementation
by: Kane, Shridhar, et al.
Published: (2003)
by: Kane, Shridhar, et al.
Published: (2003)
UML and the unified process
by: Favre, Liliana
Published: (2003)
by: Favre, Liliana
Published: (2003)
Software engineering & testing an introduction
by: Agarwal, B. B., et al.
Published: (2010)
by: Agarwal, B. B., et al.
Published: (2010)
Software modeling and design UML, use cases, patterns, and software architectures
by: Gomaa, Hassan
Published: (2011)
by: Gomaa, Hassan
Published: (2011)
Software engineering modern approaches
by: Braude, Eric J., et al.
Published: (2011)
by: Braude, Eric J., et al.
Published: (2011)
Sharing data and models in software engineering
by: Menzies, Tim, et al.
Published: (2015)
by: Menzies, Tim, et al.
Published: (2015)
Economics-driven software architecture
Published: (2014)
Published: (2014)
Software process improvement practical guidelines for business success
by: Zahran, Sami
Published: (1998)
by: Zahran, Sami
Published: (1998)