Representation and Presentation of Requirements Knowledge
IEEE Transactions on Software Engineering
Tools for producing formal specifications: a view of current architectures and future directions
Annals of Software Engineering
Object oriented concepts identification from formal B specifications
Formal Methods in System Design
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
Mapping object diagrams into B specifications
Methods'96 Proceedings of the 1996 international conference on Methods Integration
Hi-index | 0.00 |