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.
"Sinopsis" puede pertenecer a otra edición de este libro.
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 cover 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 Methods Integration Workshop are available on-line at: http://www.springer.co.uk/eWiC/Workshops/MI96.html 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 (subject, of course, to entry of the correct passwords each time).
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.
"Sobre este título" puede pertenecer a otra edición de este libro.
Librería: Books Puddle, New York, NY, Estados Unidos de America
Condición: Used. pp. 16 2nd Edition. Nº de ref. del artículo: 2647978912
Cantidad disponible: 1 disponibles
Librería: Romtrade Corp., STERLING HEIGHTS, MI, Estados Unidos de America
Condición: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. Nº de ref. del artículo: ABBB-163942
Cantidad disponible: 1 disponibles
Librería: Majestic Books, Hounslow, Reino Unido
Condición: Used. pp. 16. Nº de ref. del artículo: 44803711
Cantidad disponible: 1 disponibles
Librería: Basi6 International, Irving, TX, Estados Unidos de America
Condición: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Nº de ref. del artículo: ABEOCT25-244000
Cantidad disponible: 1 disponibles
Librería: Biblios, Frankfurt am main, HESSE, Alemania
Condición: Used. pp. 16. Nº de ref. del artículo: 1847978922
Cantidad disponible: 1 disponibles
Librería: Mispah books, Redhill, SURRE, Reino Unido
paperback. Condición: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book. Nº de ref. del artículo: ERICA80035407606526
Cantidad disponible: 1 disponibles