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
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)
Formal specification using Z
by: Lightfoot, David , 1951-
Published: (2001)
by: Lightfoot, David , 1951-
Published: (2001)
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)
The engineering of software quality
by: O'Brien, Fergus
Published: (2004)
by: O'Brien, Fergus
Published: (2004)
Practical formal methods with VDM
by: Andrews, D. [ (Derek)], et al.
Published: (1991)
by: Andrews, D. [ (Derek)], et al.
Published: (1991)
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)
Software systems & applications [
by: Worsham, Cassidy
Published: (2014)
by: Worsham, Cassidy
Published: (2014)
Six sigma software development
by: Tayntor, Christine B.
Published: (2007)
by: Tayntor, Christine B.
Published: (2007)
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 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)
Software evolution
by: Demeyer, Serge, et al.
Published: (2008)
by: Demeyer, Serge, et al.
Published: (2008)
Practical software project estimation [ a toolkit for estimating software development effort & duration
by: Hill, Peter R.
Published: (2011)
by: Hill, Peter R.
Published: (2011)
Error-free software : know-how and know-why of program correctness
by: Baber, Robert Laurence
Published: (1991)
by: Baber, Robert Laurence
Published: (1991)
Free/open source software development
by: Koch, Stefan
Published: (2005)
by: Koch, Stefan
Published: (2005)
Software defect prevention : concepts and implementation
by: Kane, Shridhar, et al.
Published: (2003)
by: Kane, Shridhar, et al.
Published: (2003)
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 engineering & testing : an introduction
by: Agarwal, B. B., et al.
Published: (2010)
by: Agarwal, B. B., et al.
Published: (2010)
UML and the unified process
by: Favre, Liliana
Published: (2003)
by: Favre, Liliana
Published: (2003)
Building software : a practitioner's guide
by: Krishnamurthy, Nikhilesh, et al.
Published: (2008)
by: Krishnamurthy, Nikhilesh, et al.
Published: (2008)
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)