Interactive Systems. Design, Specification, and Verification: 13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006, Revised ... / Programming and Software Engineering)
by
ISBN 13: 9783540695530
Format: Paperback (269 pages) Publisher: Springer Published: 18 Jan 2007
Save for later
Formal Methods for Hardware Verification: 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, ... / Programming and Software Engineering)
ISBN 13: 9783540343042
Format: Paperback (250 pages) Publisher: Springer Published: 15 May 2006
Software Engineering 3: Domains, Requirements, and Software Design: v. 3 (Texts in Theoretical Computer Science. An EATCS Series)
by Dines Bjørner
ISBN 13: 9783540211518
Format: Hardcover (796 pages) Publisher: Springer Published: 09 Mar 2006 Other Format: Hardcover
Reliable Object-Oriented Software: Applying Analysis and Design: 11 (SIGS: Advances in Object Technology, Series Number 11)
by Ed Seidewitz
ISBN 13: 9780135292723
Format: Paperback (436 pages) Publisher: Cambridge University Press Published: 13 Dec 1997
Software Modeling and Design: UML, Use Cases, Patterns, and Software Architectures
by Hassan Gomaa
ISBN 13: 9780521764148
Format: Hardcover (576 pages) Publisher: Cambridge University Press Published: 21 Feb 2011
Design of Multithreaded Software: The Entity-Life Modeling Approach
by Bo I. Sandén
ISBN 13: 9780470876596
Format: Hardcover (320 pages) Publisher: Wiley-Blackwell Published: 15 Feb 2011
Object-Oriented Metrics in Practice: Using Software Metrics to Characterize, Evaluate, and Improve the Design of Object-Oriented Systems
by Michele Lanza,Radu Marinescu
ISBN 13: 9783540244295
Format: Hardcover (220 pages) Publisher: Springer Published: 03 Aug 2006
New Frontiers in Information and Software as Services: Service and Application Design Challenges in the Cloud (Lecture Notes in Business Information Processing)
ISBN 13: 9783642192937
Format: Paperback (311 pages) Publisher: Springer Published: 10 Feb 2011
Scientific Software Design: The Object-Oriented Way
by Damian Rouson,Jim Xia,Xiaofeng Xu
ISBN 13: 9780521888134
Format: Hardcover (404 pages) Publisher: Cambridge University Press Published: 29 Apr 2011
Advanced Design Approaches to Emerging Software Systems: Principles, Methodology and Tools (Premier Reference Source)
ISBN 13: 9781609607357
Format: Hardcover (323 pages) Publisher: Information Science Reference Published: 30 Apr 2011
Web Application Design Handbook: Best Practices for Web-Based Software (Interactive Technologies)
by Susan Fowler,Victor Stanwick
ISBN 13: 9781558607521
Format: Paperback (658 pages) Publisher: Morgan Kaufmann Published: 21 Jul 2004
Formal Methods for Web Services: 9th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2009, ... / Programming and Software Engineering)
ISBN 13: 9783642019173
Format: Paperback (341 pages) Publisher: Springer Published: 12 May 2009