Do we really teach abstraction?
Proceedings of the thirty-second SIGCSE technical symposium on Computer Science Education
Performance specification of software components
SSR '01 Proceedings of the 2001 symposium on Software reusability: putting software reuse in context
A formal approach to component-based software engineering: education and evaluation
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
A system for predictable component-based software construction
High integrity software
Applications of dynamic proxies in distributed environments
Software—Practice & Experience
A specification-based approach to reasoning about pointers
SAVCBS '05 Proceedings of the 2005 conference on Specification and verification of component-based systems
Performance analysis based upon complete profiles
Proceedings of the 2006 conference on Specification and verification of component-based systems
Simplifying reasoning about objects with Tako
Proceedings of the 2006 conference on Specification and verification of component-based systems
Incremental Benchmarks for Software Verification Tools and Techniques
VSTTE '08 Proceedings of the 2nd international conference on Verified Software: Theories, Tools, Experiments
Generating Verified Java Components through RESOLVE
ICSR '09 Proceedings of the 11th International Conference on Software Reuse: Formal Foundations of Reuse and Domain Engineering
Verifying Component-Based Software: Deep Mathematics or Simple Bookkeeping?
ICSR '09 Proceedings of the 11th International Conference on Software Reuse: Formal Foundations of Reuse and Domain Engineering
Model-based testing and the UML testing profile
Semantics and algebraic specification
The location linking concept: a basis for verification of code using pointers
VSTTE'12 Proceedings of the 4th international conference on Verified Software: theories, tools, experiments
Automatically proving thousands of verification conditions using an SMT solver: an empirical study
NFM'12 Proceedings of the 4th international conference on NASA Formal Methods
| Hi-index | 0.00 |