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
High Level System Design and Analysis Using Abstract State Machines
FM-Trends 98 Proceedings of the International Workshop on Current Trends in Applied Formal Method: Applied Formal Methods
ASM '00 Proceedings of the International Workshop on Abstract State Machines, Theory and Applications
Compiler verification: a bibliography
ACM SIGSOFT Software Engineering Notes
The work of Dean Rosenzweig: a tribute to a scientist and an innovator
Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
Towards proving type safety of C#
Computer Languages, Systems and Structures
On the correctness of transformations in compiler back-ends
ISoLA'04 Proceedings of the First international conference on Leveraging Applications of Formal Methods
Hi-index | 0.00 |