89 search results - page 1 / 18 » A Semantic Characterization of Unbounded-Nondeterministic Ab... |
66
Voted
CALCO
2007
Springer
14 years 11 months ago
2007
Springer
ASM
2003
ASM
15 years 2 months ago
2003
ASM
46
Voted
LMCS
2007
14 years 9 months ago
2007
FMCO
2003
Springer
15 years 2 months ago
2003
Springer
ract State Machine Language, AsmL, is a novel executable specification based on the theory of Abstract State Machines. AsmL is object-oriented, provides high-level mathematical d...
ICFEM
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. UML 2.0, which is the standard modeling language for objectoriented systems, has only an informally given semantics. This is in particular the case for UML 2.0 state mach...