Methods Integration: Proceedings of the Methods Integration Workshop, Leeds, 25-26 March 1996 (Electronic Workshops in Computing) - Softcover

 
9783540760658: Methods Integration: Proceedings of the Methods Integration Workshop, Leeds, 25-26 March 1996 (Electronic Workshops in Computing)
Softcover
ISBN 10: 3540760652 ISBN 13: 9783540760658
Publisher: 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.

"synopsis" may belong to another edition of this title.

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.

"About this title" may belong to another edition of this title.

Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Publication date
1996
Language
English
ISBN 10 
3540760652
ISBN 13 
9783540760658
Binding
Paperback
Number of pages
14
Editor
Bryant Antony, Semmens Lesley