Teaching formal methods in the context of software engineering
ACM SIGCSE Bulletin
Integrating top-down and scenario-based methods for constructing software specifications
Information and Software Technology
Integrating specification-based review and testing for detecting errors in programs
ICFEM'07 Proceedings of the formal engineering methods 9th international conference on Formal methods and software engineering
"integrare", a collaborative environment for behavior-oriented design
CDVE'07 Proceedings of the 4th international conference on Cooperative design, visualization, and engineering
Checking the TWIN elevator system by translating object-Z to SMV
FMICS'07 Proceedings of the 12th international conference on Formal methods for industrial critical systems
A pattern system to support refining informal ideas into formal expressions
ICFEM'10 Proceedings of the 12th international conference on Formal engineering methods and software engineering
Pre-post notation is questionable in effectively specifying operations of object-oriented systems
Frontiers of Computer Science in China
Integrating prototyping into the SOFL three-step modeling approach
ICFEM'11 Proceedings of the 13th international conference on Formal methods and software engineering
An automated approach to specification-based program inspection
ICFEM'05 Proceedings of the 7th international conference on Formal Methods and Software Engineering
An approach to integration testing based on data flow specifications
ICTAC'04 Proceedings of the First international conference on Theoretical Aspects of Computing
Hi-index | 0.00 |