18 search results - page 1 / 4 » An Executable Semantics of Object-oriented Models for Simula... |
121
click to vote
VVEIS
2008
15 years 3 months ago
2008
This paper presents an executable semantics of OO models. We made it possible to conduct both simulation and theorem proving on the semantics by implementing its underlying heap me...
118
click to vote
UML
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Nowadays, object-oriented meta-languages such as MOF (MetaObject Facility) are increasingly used to specify domain-specific languages in the model-driven engineering comm...
131
click to vote
DBPL
1997
Springer
15 years 6 months ago
1997
Springer
Abstract. In the context of the object-oriented data model, a compiletime approach is given that provides for a significant reduction of the amount of run-time transaction overhead...
137
click to vote
TPHOL
2002
IEEE
15 years 6 months ago
2002
IEEE
g Higher Order Abstract Syntax with Tactical Theorem Proving and (Co)Induction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13 ...
117
click to vote
FM
1999
Springer
15 years 6 months ago
1999
Springer
Support for system speci cation in terms of modelling and simulation environments has become a common practice in safety-critical applications. Also, a current trend is the automat...