A formal approach to component-based software engineering: education and evaluation
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Business Rules: From Business Specification to Design
ECOOP '97 Proceedings of the Workshops on Object-Oriented Technology
Mathematics for formal methods, a proposal for education reform
IW-FM'98 Proceedings of the 2nd Irish conference on Formal Methods
Teaching and learning formal methods, improving productivity
IW-FM'99 Proceedings of the 3rd Irish conference on Formal Methods
Point-and-shoot security design: can we build better tools for developers?
Proceedings of the 2012 workshop on New security paradigms
Hi-index | 0.00 |