The KeY Approach: Integrating Object Oriented Design and Formal Verification
JELIA '00 Proceedings of the European Workshop on Logics in Artificial Intelligence
Design patterns for database pedagogy: a proposal
Proceedings of the 36th SIGCSE technical symposium on Computer science education
Integrando visões de IHC e de ES por padróes no desenvolvimento por prototipação descartável
CLIHC '05 Proceedings of the 2005 Latin American conference on Human-computer interaction
Mesa: automatic generation of lookup table optimizations
Proceedings of the 4th International Workshop on Multicore Software Engineering
Specification and verification of encapsulation in java programs
FMOODS'05 Proceedings of the 7th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
ACM Transactions on Software Engineering and Methodology (TOSEM) - In memoriam, fault detection and localization, formal methods, modeling and design
| Hi-index | 0.00 |