B'98: Recent Advances in the Development and Use of the B Method

Bert Didier

ISBN 10: 3540644059 / ISBN 13: 9783540644057

Editore: Springer Berlin Heidelberg, Springer Apr 1998, 1998

Riguardo questo articolo

This item is printed on demand - it takes 3-4 days longer - Neuware -This book presents the refereed proceedings of the Second International B Conference, B'98, held in Montpellier, France, in April 1998.The book presents 15 revised full papers selected from 29 submissions as well as four invited contributions. The B method is enjoying rapidly increasing popularity for the specification and design of software. The book covers all aspects of the B technology, including introductory and methodological issues, theoretical investigations and industrial applications, B extension proposals and support tools, as well as comparisons or integration with other formal methods for software development. 328 pp. Englisch.

Codice articolo 9783540644057

Dati bibliografici

• Titolo: B'98: Recent Advances in the Development and Use of the B Method
• Editore: Springer Berlin Heidelberg, Springer Apr 1998
• Data di pubblicazione: 1998
• Lingua: Inglese
• ISBN 10: 3540644059
• ISBN 13: 9783540644057
• Rilegatura: Taschenbuch
• Condizione: Neu
• Dimensioni: 235 L x 155 A x 18 P (millimetri) 235 millimetri di larghezza per 155 millimetri di altezza per 18 millimetri di profondità
• Peso: 499 grammi

Descrizione articolo

Riassunto

This book presents the refereed proceedings of the Second International B Conference, B'98, held in Montpellier, France, in April 1998.
The book presents 15 revised full papers selected from 29 submissions as well as four invited contributions. The B method is enjoying rapidly increasing popularity for the specification and design of software. The book covers all aspects of the B technology, including introductory and methodological issues, theoretical investigations and industrial applications, B extension proposals and support tools, as well as comparisons or integration with other formal methods for software development.

Contenuti

The book presents 15 revised full papers selected from 29 submissions as well as four invited contributions. The B method is enjoying rapidly increasing popularity for the specification and design of software. The book covers all aspects of the B technology, including introductory and methodological issues, theoretical investigations and industrial applications, B extension proposals and support tools, as well as comparisons or integration with other formal methods for software development.