Mathematical foundations of software engineering: a roadmap
Proceedings of the Conference on The Future of Software Engineering
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
An approach to a theory of software evolution
IWPSE '01 Proceedings of the 4th International Workshop on Principles of Software Evolution
Systematising Reactive System Design
AMAST '98 Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology
Software Process Representation and Analysis for Framework Instantiation
IEEE Transactions on Software Engineering
Formal methods versus engineering
ACM SIGCSE Bulletin
Challenges in software certification
ICFEM'07 Proceedings of the formal engineering methods 9th international conference on Formal methods and software engineering
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
An overview of the mensurae language: specifying business processes
ROOM'00 Proceedings of the 2000 international conference on Rigorous Object-Oriented Methods
| Hi-index | 0.00 |