484 search results - page 57 / 97 » Semantics of Metamodels in UML |
VVEIS
2008
15 years 1 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...
ICSE
2004
IEEE-ACM
15 years 12 months ago
2004
IEEE-ACM
SLAng is an XML language for defining service level agreements, the part of a contract between the client and provider of an Internet service that describes the quality attributes...
106
click to vote
SAC
2000
ACM
15 years 3 months ago
2000
ACM
Abstract. Formal grammars are well established for specifying the syntax of programming languages. However, the formal specification of programming language semantics has proven mo...
RSP
2000
IEEE
15 years 4 months ago
2000
IEEE
: The use of program generation from graphical representations like UML is increasing in software projects. The notion of hypergenericity is raising up to improve program generator...
100
click to vote
ESAW
2000
Springer
15 years 3 months ago
2000
Springer
Abstract. Software engineering describes a system at different levels of abstraction. Agent-oriented software engineering introduces a new level, called the agent level, to allow t...