Object-oriented software construction (2nd ed.)
Object-oriented software construction (2nd ed.)
Objects, components, and frameworks with UML: the catalysis approach
Objects, components, and frameworks with UML: the catalysis approach
The Unified Modeling Language reference manual
The Unified Modeling Language reference manual
From OMT diagrams to B specifications
Software specification methods
A Rigorous Metamodel for UML Static Conceptual Modelling of Information Systems
CAiSE '01 Proceedings of the 13th International Conference on Advanced Information Systems Engineering
A Two-Dimensional View of Integrated Formal and Informal Specification Techniques
ZUM '95 Proceedings of the 9th International Conference of Z Usres on The Z Formal Specification Notation
A Generic Process to Refine a B Specification into a Relational Database Implementation
ZB '00 Proceedings of the First International Conference of B and Z Users on Formal Specification and Development in Z and B
Introducing Dynamic Constraints in B
B '98 Proceedings of the Second International B Conference on Recent Advances in the Development and Use of the B Method
A Systematic Approach to Transform OMT Diagrams to a B Specification
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
Identifying Pre-Conditions with the Z/EVES Theorem Prover
ASE '98 Proceedings of the 13th IEEE international conference on Automated software engineering
An Overview of a Method and its Support Tool for Generating B Specifications from UML Notations
ASE '00 Proceedings of the 15th IEEE international conference on Automated software engineering
Foundations of the unified modeling language
2FACS'97 Proceedings of the 2nd BCS-FACS conference on Northern Formal Methods
Supplementing a UML Development Process with B
FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right
BRILLANT: An Open Source and XML-based platform for Rigourous Software Development
SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods
Object oriented concepts identification from formal B specifications
Formal Methods in System Design
A Formal and Tool-Equipped Approach for the Integration of State Diagrams and Formal Datatypes
IEEE Transactions on Software Engineering
The B Method And The Component-Based Approach
Journal of Integrated Design & Process Science
Information and Software Technology
Object Oriented Concepts Identification from Formal B Specifications
Electronic Notes in Theoretical Computer Science (ENTCS)
Dynamic graphical UML views from formal B specifications
Information and Software Technology
From a B formal specification to an executable code: application to the relational database domain
Information and Software Technology
Derivation of UML class diagrams as static views of formal b developments
ICFEM'05 Proceedings of the 7th international conference on Formal Methods and Software Engineering
An MDA approach towards integrating formal and informal modeling languages
FM'05 Proceedings of the 2005 international conference on Formal Methods
Checking JML specifications with b machines
ZB'05 Proceedings of the 4th international conference on Formal Specification and Development in Z and B
A step towards merging xUML and CSP || B
Rigorous Methods for Software Construction and Analysis
An overview of the SystemB collaborative project
FACS-FMI'07 Proceedings of the 2007th internatioanal conference on Formal Methods in Industry
Aligning SysML with the B method to provide V&V for systems engineering
Proceedings of the Workshop on Model-Driven Engineering, Verification and Validation
Hi-index | 0.00 |
CEDRIC-IIE is researching rigorous information system (IS) development. Previous work includes translation rules for deriving a B specification from object-oriented diagrams, metamodels of IS UML structural and functional concepts, and a prototype translation tool. Here we outline the traceability needs for a tool to assist in rigorous IS development, and provide meta-structures for the required links among B and IS UML concepts, in the context of existing translation rules and IS UML metamodels.