Methods Integration: Proceedings of the Methods Integration Workshop, Leeds, 25-26 March 1996 - Couverture souple

Couverture souple

ISBN 10 : 3540760652 ISBN 13 : 9783540760658

Editeur : Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1996

Synopsis

The Methods Integration Workshop, held in Leeds in March 1996, had three main aims: to promote research into, and use of, software development methods which combine the use of formal methods with other heuristic or semiformal methods; to evaluate integrated methods in the light of current practice; and to discuss future research directions. The papers presented at the workshop covered a range of issues in methods integration, including: data modelling in ZIM; integrated formal and object-oriented methods; CASE support for methods integration; and mapping object diagrams into B specifications. The full papers from the workshop are available on-line. This booklet provides the passwords needed to access the Web site. Purchasing the booklet provides the user with unlimited access to the site for four years.

Détails de l'édition

• Éditeur: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
• Date d'édition: 1996
• Langue: anglais
• ISBN 10: 3540760652
• ISBN 13: 9783540760658
• Reliure: Broché
• Nombre de pages: 14
• Éditeur: Bryant Antony, Semmens Lesley
• Coordonnées du fabricant: non disponible
• Personne responsable: CMN Printpool Inh. Mathis Neumann; https://www.also.com/ec/cms5/en_6000/6000/index.jsp; ; Friedrich-Karl-Str. 9; Hamburg; Allemagne