APSEC
1999
IEEE
13 years 9 months ago
1999
IEEE
Writingdevicedriversisoneofthemostdiculttasks to develop or port operating systems (OSs). A device driver need to be described according to the target device and OS. And, in the d...
APSEC
1999
IEEE
13 years 9 months ago
1999
IEEE
As new software components become available for an existing system, we can evolve not only the system itself but also its requirements based on the new components. In this paper, ...
APSEC
1999
IEEE
13 years 9 months ago
1999
IEEE
The Object Constraint Language (OCL) is a precise language which could be used for describing constraints on object-oriented models and other modelling artifacts. The kind of cons...
APSEC
1999
IEEE
13 years 9 months ago
1999
IEEE
Safety critical systems, such as aviation systems controlled by software, often have hard real-time requirements. Producing the correct resultat the right time is thefundamental g...
APSEC
1999
IEEE
13 years 9 months ago
1999
IEEE
APSEC
1999
IEEE
13 years 9 months ago
1999
IEEE
The ability to treat code as data within a programming language is a powerful feature. Smalltalk introduces an object called a block that represents code as data. We propose a for...
APSEC
1999
IEEE
13 years 9 months ago
1999
IEEE
In this paper, we propose four slicing methods using both static and dynamic analysis information. (1) StatementMark Slice : removes the unnecessary statements using an execution ...