A role model and its metaclass implementation
Information Systems
Automating commutativity analysis at the design level
ISSTA '04 Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis
Relational queries over program traces
OOPSLA '05 Proceedings of the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Provably correct loops bounds for realtime Java programs
JTRES '06 Proceedings of the 4th international workshop on Java technologies for real-time and embedded systems
A language for advanced protocol analysis in automotive networks
Proceedings of the 30th international conference on Software engineering
Error patterns: systematic investigation of deviations in task models
TAMODIA'06 Proceedings of the 5th international conference on Task models and diagrams for users interface design
Verification of object-oriented software: The KeY approach
Verification of object-oriented software: The KeY approach
An institution theory of formal meta-modelling in graphically extended BNF
Frontiers of Computer Science in China
Search-based model transformation by example
Software and Systems Modeling (SoSyM)
The practical application of formal methods: where is the benefit for industry?
FoVeOOS'11 Proceedings of the 2011 international conference on Formal Verification of Object-Oriented Software
Real-time Java API specifications for high coverage test generation
Proceedings of the 10th International Workshop on Java Technologies for Real-time and Embedded Systems
Hi-index | 0.00 |