Sciweavers

ECOOPW
1999
Springer
13 years 8 months ago
UML Semantics FAQ
This paper reports the results of a workshop held at ECOOP’99. The workshop was set up to find answers to questions fundamental to the definition of a semantics for the Unifie...
Stuart Kent, Andy Evans, Bernhard Rumpe
ECOOPW
1999
Springer
13 years 8 months ago
Aspects and Superimpositions
The model checking of applications of aspects is explained, by showing the stages and proof obligations when a collection of generic aspects (called a superimposition) is combined...
Shmuel Katz, Joseph Gil
ECOOPW
1999
Springer
13 years 8 months ago
Managing Object-Oriented Frameworks with Specialization Templates
Markku Hakala, Juha Hautamäki, Jyrki Tuomi, A...
ECOOPW
1999
Springer
13 years 8 months ago
Providing Policy-Neutral and Transparent Access Control in Extensible Systems
Extensible systems, such as Java or the SPIN extensible operating system, allow for units of code, or extensions, to be added to a running system in almost arbitrary fashion. Exte...
Robert Grimm, Brian N. Bershad
ECOOPW
1999
Springer
13 years 8 months ago
EPOS: An Object-Oriented Operating System
This position paper reports the current development stage of project Epos, which aims to deliver, whenever possible automatically, a customized runtime support system for each (hi...
Antônio Augusto Fröhlich, Wolfgang Schr...