Title: Beyond Programming: To a New Era of Design, Author: Bruce I. Blum
Title: Tools and Algorithms for the Construction and Analysis of Systems: First International Workshop, TACAS '95, Aarhus, Denmark, May 19 - 20, 1995. Selected Papers / Edition 1, Author: Ed Brinksma
Title: KORSO: Methods, Languages, and Tools for the Construction of Correct Software: Final Report, Author: Manfred Broy
Title: The Capability Maturity Model: Guidelines for Improving the Software Process / Edition 1, Author: Carnegie Mellon Univ.
Title: C and UNIX: Tools for Software Design / Edition 1, Author: Martin L. Barrett
Title: Btrieve Complete: A Guide for Developers and System Administrators / Edition 1, Author: Jim Kyle
Title: TAPSOFT '95: Theory and Practice of Software Development: 6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22 - 26, 1995. Proceedings / Edition 1, Author: Peter D. Mosses
Title: Black-Box Testing: Techniques for Functional Testing of Software and Systems, Author: Boris Beizer
Title: Software Process Technology: 4th European Workshop, EWSPT '95, Noordwijkerhout, The Netherlands, April 3 - 5, 1995. Proceedings, Author: Wilhelm Schïfer
Title: Formal Development of Reactive Systems: Case Study Production Cell / Edition 1, Author: Claus Lewerentz
Title: LOTOSphere: Software Development with LOTOS / Edition 1, Author: Tommaso Bolognesi
Title: The Field Programming Environment: A Friendly Integrated Environment for Learning and Development / Edition 1, Author: Steven P. Reiss
Title: Notations for Software Design, Author: Loe M.G. Feijs
Title: Just-In-Time Systems for Computing Environments, Author: Ralph L Kliem
Title: Software by Design: Shaping Technology and The Workplace, Author: Harold Salzman
Title: Software by Design: Shaping Technology and The Workplace, Author: Harold Salzman
Title: Object Technologies for Advanced Software: First JSSST International Symposium, Kanazawa, Japan, November 4-6, 1993. Proceedings / Edition 1, Author: Shojiro Nishio
Title: Program Development by Specification and Transformation: The PROSPECTRA Methodology, Language Family, and System, Author: Berthold Hoffmann
Title: FME '93: Industrial-Strength Formal Methods: First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993. Proceedings / Edition 1, Author: James C.P. Woodcock
Title: TAPSOFT '93: Theory and Practice of Software Development: 4th International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993. Proceedings / Edition 1, Author: Marie-Claude Gaudel

Pagination Links