ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Systematising Reactive System Design
AMAST '98 Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology
Teaching Formal Methods Early In the Software Engineering Curriculum
CSEET '00 Proceedings of the 13th Conference on Software Engineering Education & Training
Teaching a formal method in a software engineering course
Proceedings of the 2nd annual conference on Mid-south college computing
Frameworks Based on Templates for Rigorous Model-driven Development
Electronic Notes in Theoretical Computer Science (ENTCS)
On specifying systems that connect to the physical world
Proceedings of the 2006 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the fifth SoMeT_06
Editorial: A roadmap of problem frames research
Information and Software Technology
Automated Formalisation for Verification of Diagrammatic Models
Electronic Notes in Theoretical Computer Science (ENTCS)
The epistemology of validation and verification testing
TestCom'05 Proceedings of the 17th IFIP TC6/WG 6.1 international conference on Testing of Communicating Systems
Hi-index | 0.00 |