1375 search results - page 3 / 275 » SDL-2000: A Language with a Formal Semantics |
IFIP
2010
Springer
13 years 2 days ago
2010
Springer
Modern embedded systems are often heterogeneous in that their design requires several description paradigms, based on different models of computation and concurrency (MoCCs). In th...
ESWS
2010
Springer
13 years 3 months ago
2010
Springer
Recent work in Ontology learning and Text mining has mainly focused on engineering methods to solve practical problem. In this thesis, we investigate methods that can substantially...
FASE
2009
Springer
14 years 1 days ago
2009
Springer
Abstract. We present an approach to define template languages for generating syntactically correct code. In the first part of the paper, we define the syntax and semantics of a ...
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...
JUCS
2008
13 years 5 months ago
2008
Abstract: The abstract syntax and static semantics of UML, the widely-used generalpurpose graphical modeling language, have been standardized in a four-layer metamodeling framework...