|
 
|
[LAL00] On the Interest of Combining UML with the B Formal Method for the Specification of Database Applications
Conférence Internationale avec comité de lecture : Int. Conf. on Enterprise Information Systems (ICEIS 2000), Stafford, UK, January 2000,
motcle:
Résumé:
Our project aims at combining UML with the B formal
method for the domain of database applications.
It consists of extracting a subset of UML concepts
suitable for the analysis of such systems,
producing derivation rules from UML diagrams to
B specifications and developing a prototype
support tool. In this article we present
the approach through an example. The objective
is to show the complementarity of the two methods.
BibTeX
| @inproceedings { | |||
| LAL00, | |||
| title | = | "{On the Interest of Combining UML with the B Formal Method for the Specification of Database Applications}", | |
| author | = | " R. Laleau ", | |
| booktitle | = | "{Int. Conf. on Enterprise Information Systems (ICEIS 2000), Stafford, UK}", | |
| year | = | 2000, | |
| month | = | "January", | |
| } | |||
