B’98: Recent Advances in the Development and Use of the B Method [electronic resource] : Second International B Conference Montpellier, France, April 22–24, 1998 Proceedings /
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.
Main Authors: | , |
---|---|
Format: | Texto biblioteca |
Language: | eng |
Published: |
Berlin, Heidelberg : Springer Berlin Heidelberg,
1998
|
Subjects: | Computer science., Software engineering., Computer logic., Computer Science., Software Engineering/Programming and Operating Systems., Software Engineering., Logics and Meanings of Programs., |
Online Access: | http://dx.doi.org/10.1007/BFb0053349 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|