Add to ORKGOur 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
AbstractThe development of database applications is usually carried out informally. The derivation o...
UML-B provides a graphical notation for Event-B that enables formal development in a UML style. UB2D...
National audienceOur project is combining UML with the B formal method for the domain of data intens...
International audienceThis article describes a formal approach to specify and develop database appli...
UB2SQL is a tool for designing and developing database applications using UML and B formal method. T...
An appropriate approach for translating UML to B formal specifications allows one to use UML and B ...
Abstract. An appropriate approach for translating UML to B formal specifica-tions allows one to use ...
Colloque avec actes et comité de lecture. internationale.International audienceAn appropriate approa...
The translation from UML specifications to B specifications may give a way to use jointly UML and B ...
International audienceWhile formal methods are focused on some particular parts of software systems,...
The coupling of object-oriented approaches with the B method makes improvement the activities of sof...
Correct operation of many critical systems is dependent on the data consistency and integrity proper...
AbstractThis paper addresses the graphical representation of static aspects of B specifications, usi...
The UML is a popular modelling notation that has a natural appeal to hardware and software engineers...
The complex requirements of software systems justify the use of the best existing techniques to guar...
AbstractThe development of database applications is usually carried out informally. The derivation o...
UML-B provides a graphical notation for Event-B that enables formal development in a UML style. UB2D...
National audienceOur project is combining UML with the B formal method for the domain of data intens...
International audienceThis article describes a formal approach to specify and develop database appli...
UB2SQL is a tool for designing and developing database applications using UML and B formal method. T...
An appropriate approach for translating UML to B formal specifications allows one to use UML and B ...
Abstract. An appropriate approach for translating UML to B formal specifica-tions allows one to use ...
Colloque avec actes et comité de lecture. internationale.International audienceAn appropriate approa...
The translation from UML specifications to B specifications may give a way to use jointly UML and B ...
International audienceWhile formal methods are focused on some particular parts of software systems,...
The coupling of object-oriented approaches with the B method makes improvement the activities of sof...
Correct operation of many critical systems is dependent on the data consistency and integrity proper...
AbstractThis paper addresses the graphical representation of static aspects of B specifications, usi...
The UML is a popular modelling notation that has a natural appeal to hardware and software engineers...
The complex requirements of software systems justify the use of the best existing techniques to guar...
AbstractThe development of database applications is usually carried out informally. The derivation o...
UML-B provides a graphical notation for Event-B that enables formal development in a UML style. UB2D...
National audienceOur project is combining UML with the B formal method for the domain of data intens...