Methods integration : proceedings of the Methods Integration Workshop, Leeds, 25-26 March 1996
著者
書誌事項
Methods integration : proceedings of the Methods Integration Workshop, Leeds, 25-26 March 1996
(Electronic workshops in computing)
Springer, c1996
大学図書館所蔵 件 / 全1件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
"Published in collaboration with the British Computer Society."
入力は遡及データによる
内容説明・目次
内容説明
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.
「Nielsen BookData」 より