The B-book: assigning programs to meanings
The B-book: assigning programs to meanings
Requirements Validation by Lifting Retrenchments in B
ICECCS '04 Proceedings of the Ninth IEEE International Conference on Engineering Complex Computer Systems Navigating Complexity in the e-Engineering Age
UML-B: Formal modeling and design aided by UML
ACM Transactions on Software Engineering and Methodology (TOSEM)
A note on an anomaly in black-box testing
FATES'05 Proceedings of the 5th international conference on Formal Approaches to Software Testing
Experiences of formal methods in 'conventional' software and systems design
FACS-FMI'07 Proceedings of the 2007th internatioanal conference on Formal Methods in Industry
Model based testing of an embedded session and transport protocol
TestCom'07/FATES'07 Proceedings of the 19th IFIP TC6/WG6.1 international conference, and 7th international conference on Testing of Software and Communicating Systems
Hi-index | 0.00 |
We describe in this paper the results of our experiences on the use of formal methods with UML and B in the specification and development of part of Nokia's NoTA (Network on Terminal Architecture) platform for providing Service Oriented abilities to the embedded, mobile platform.