Title: The Field Programming Environment: A Friendly Integrated Environment for Learning and Development / Edition 1, Author: Steven P. Reiss
Title: LOTOSphere: Software Development with LOTOS / Edition 1, Author: Tommaso Bolognesi
Title: Formal Development of Reactive Systems: Case Study Production Cell / Edition 1, Author: Claus Lewerentz
Title: Software Process Technology: 4th European Workshop, EWSPT '95, Noordwijkerhout, The Netherlands, April 3 - 5, 1995. Proceedings, Author: Wilhelm Schïfer
Title: Black-Box Testing: Techniques for Functional Testing of Software and Systems, Author: Boris Beizer
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: Btrieve Complete: A Guide for Developers and System Administrators / Edition 1, Author: Jim Kyle
Title: C and UNIX: Tools for Software Design / Edition 1, Author: Martin L. Barrett
Title: The Capability Maturity Model: Guidelines for Improving the Software Process / Edition 1, Author: Carnegie Mellon Univ.
Title: KORSO: Methods, Languages, and Tools for the Construction of Correct Software: Final Report, Author: Manfred Broy
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: Beyond Programming: To a New Era of Design, Author: Bruce I. Blum
Title: FME '96: Industrial Benefit and Advances in Formal Methods: Third International Symposium of Formal Methods Europe Co-Sponsored by IFIP WG 14.3, Oxford, UK, March 18 - 22, 1996. Proceedings. / Edition 1, Author: Marie-Claude Gaudel
Title: Tools and Algorithms for the Construction and Analysis of Systems: Second International Workshop, TACAS '96, Passau, Germany, March 27 - 29, 1996, Proceedings. / Edition 1, Author: Tiziana Margaria
Title: Object-Technologies for Advanced Software: Second JSSST International Symposium, ISOTAS '96, Kanazawa, Japan, March 11-15, 1996. Proceedings / Edition 1, Author: Kokichi Futatsugi
Title: Rapid Application Generation of Business and Finance Software / Edition 1, Author: Sukhdev Khebbal
Title: The B Language and Method: A Guide to Practical Formal Development / Edition 1, Author: Kevin Lano
Title: Studies of Software Design: ICSE'93 Workshop, Baltimore, Maryland, USA, May (17-18), 1993. Selected Papers, Author: David Alex Lamb
Title: Software Synthesis from Dataflow Graphs / Edition 1, Author: Shuvra S. Bhattacharyya
Title: Design Principles for Interactive Software / Edition 1, Author: Gilbert Cockton

Pagination Links