Tailoring OO analysis and design methods (panel)
Proceedings of the tenth annual conference on Object-oriented programming systems, languages, and applications
An algebraic semantics of subobjects
Proceedings of the tenth annual conference on Object-oriented programming systems, languages, and applications
Formalization and application of a unifying model for name management
SIGSOFT '95 Proceedings of the 3rd ACM SIGSOFT symposium on Foundations of software engineering
The simulation semantics of systemC
Proceedings of the conference on Design, automation and test in Europe
The formal execution semantics of SpecC
Proceedings of the 15th international symposium on System Synthesis
Using Domain-Specific Languages for the Realization of Component Composition
FASE '00 Proceedings of the Third Internationsl Conference on Fundamental Approaches to Software Engineering: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
A Programmer Friendly Modular Definition of the Semantics of Java
Formal Syntax and Semantics of Java
Correct System Design, Recent Insight and Advances, (to Hans Langmaack on the occasion of his retirement from his professorship at the University of Kiel)
Integrating Domain Specific Language Design in the Software Life Cycle
FM-Trends 98 Proceedings of the International Workshop on Current Trends in Applied Formal Method: Applied Formal Methods
An ASM Dynamic Semantics for Standard ML
ASM '00 Proceedings of the International Workshop on Abstract State Machines, Theory and Applications
ASM '00 Proceedings of the International Workshop on Abstract State Machines, Theory and Applications
SystemC
Algebraic Semantics of an Imperative Programming Language
Programming and Computing Software
An operational semantics and type safety prooffor multiple inheritance in C++
Proceedings of the 21st annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications
Towards proving type safety of C#
Computer Languages, Systems and Structures
A framework for modeling the semantics of expression evaluation with abstract state machines
ASM'03 Proceedings of the abstract state machines 10th international conference on Advances in theory and practice
Generating a compiler for SDL from the formal language definition
SDL'03 Proceedings of the 11th international conference on System design
Program optimization using abstract state machines
MMACTEE'06 Proceedings of the 8th WSEAS international conference on Mathematical methods and computational techniques in electrical engineering
Abstract operational semantics for use case maps
FORTE'05 Proceedings of the 25th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
A semantic analysis of c++ templates
ECOOP'06 Proceedings of the 20th European conference on Object-Oriented Programming
Formal aspects of and development environments for Montages
Algebraic'97 Proceedings of the 2nd international conference on Theory and Practice of Algebraic Specifications
Hi-index | 0.00 |