677 search results - page 1 / 136 » Rigorous Object-Oriented Analysis |
ISOOMS
1994
13 years 9 months ago
1994
ICSE
2004
IEEE-ACM
14 years 5 months ago
2004
IEEE-ACM
EUROMICRO
1999
IEEE
13 years 9 months ago
1999
IEEE
Experience has shown that prototypingis a valuabletechnique in the validation of designs. However, the prototype(s) can be too far semantically removed from the design. Animation ...
FMOODS
2006
13 years 6 months ago
2006
In this paper we describe an application of the theory of graph transformations to the practise of language design. In particular, we have defined the static and dynamic semantics ...
JUCS
2002
13 years 4 months ago
2002
: This paper presents a framework for representing formal semantics of a subset of the Unified Modeling Language (UML) notation in a higher-order logic, more specifically semantics...