Robin E Bloomfield (8 results)

Paperback. Condition: New.

Condition: New. In English.

Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume presents the proceedings of the 2nd VDM-Europe Symposium held in Dublin, Ireland, September 12-16, 1988. VDM, the Vienna Development Method, is a formal method for software engineering. It is being applied to an increasing number of projects by companies throughout Europe and there is an active international research programme supporting this process. 'VDM - The Way Ahead' is the second of a series of symposia sponsored by the Commission of the European Communities (CEC) and organised by VDM-Europe. The term 'formal method' refers to mathematically formal software specification and production methods. These methods aim to increase the quality of software in two related ways: by improving the specification and by making verification during the software production process more effective and easier to audit. The symposium proceedings focus on five areas of interest: education and technology transfer, experience and use of VDM, tools and support environments, method development and foundation at work, the standardisation of VDM. The proceedings are of interest to all those concerned with the application of more rigorous approaches to software development and the associated theoretical foundations.…

Paperback. Condition: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume presents the proceedings of the 2nd VDM-Europe Symposium held in Dublin, Ireland, September 12-16, 1988. VDM, the Vienna Development Method, is a formal method for software engineering. It is being applied to an increasing number of projects by companies throughout Europe and there is an active international research programme supporting this process. 'VDM - The Way Ahead' is the second of a series of symposia sponsored by the Commission of the European Communities (CEC) and organised by VDM-Europe. The term 'formal method' refers to mathematically formal software specification and production methods. These methods aim to increase the quality of software in two related ways: by improving the specification and by making verification during the software production process more effective and easier to audit. The symposium proceedings focus on five areas of interest: education and technology transfer, experience and use of VDM, tools and support environments, method development and foundation at work, the standardisation of VDM. The proceedings are of interest to all those concerned with the application of more rigorous approaches to software development and the associated theoretical foundations. 516 pp. Englisch.…

Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This volume presents the proceedings of the 2nd VDM-Europe Symposium held in Dublin, Ireland, September 12-16, 1988. VDM, the Vienna Development Method, is a formal method for software engineering. It is being applied to an increasing number of projects by .…

Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This volume presents the proceedings of the 2nd VDM-Europe Symposium held in Dublin, Ireland, September 12-16, 1988. VDM, the Vienna Development Method, is a formal method for software engineering. It is being applied to an increasing number of projects by companies throughout Europe and there is an active international research programme supporting this process. 'VDM - The Way Ahead' is the second of a series of symposia sponsored by the Commission of the European Communities (CEC) and organised by VDM-Europe. The term 'formal method' refers to mathematically formal software specification and production methods. These methods aim to increase the quality of software in two related ways: by improving the specification and by making verification during the software production process more effective and easier to audit. The symposium proceedings focus on five areas of interest: education and technology transfer, experience and use of VDM, tools and support environments, method development and foundation at work, the standardisation of VDM. The proceedings are of interest to all those concerned with the application of more rigorous approaches to software development and the associated theoretical foundations.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 516 pp. Englisch.…

Taschenbuch. Condition: Neu. VDM '88. VDM - The Way Ahead | 2nd VDM-Europe Symposium, Dublin, Ireland, September 11-16, 1988. Proceedings | Robin E. Bloomfield (u. a.) | Taschenbuch | xii | Englisch | 1988 | Springer | EAN 9783540502142 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu Print on Demand. …