78 search results - page 4 / 16 » Fully abstract semantics of additive aspects by translation |
BIRTHDAY
2009
Springer
14 years 7 months ago
2009
Springer
Abstract. Software engineering uses UML diagrams as a standard technique for specification and development of software. Various UML diagrams are used for specification of different...
COMPSAC
2002
IEEE
15 years 2 months ago
2002
IEEE
The Unified Modeling Language has become widely accepted as a standard in software development. Several tools have been produced to support UML model validation. However, most of...
COMMA
2010
14 years 4 months ago
2010
Abstract argument frameworks have been used for various applications within multi-agent systems, including reasoning and negotiation. Different argument frameworks make use of diff...
SEKE
2009
Springer
15 years 4 months ago
2009
Springer
Abstract—Stakeholders from several domains with local terminologies have to work together to develop and operate softwareintensive systems, like production automation systems. On...
ER
1995
Springer
15 years 1 months ago
1995
Springer
Abstract. This paper presents techniques for reverse engineering of relational database applications. The target of such an effort is the definition of a fully equipped object-orie...