17 search results - page 2 / 4 » apsec 1999 |
APSEC
1999
IEEE
13 years 10 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 10 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 10 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 10 months ago
1999
IEEE
For the practical development of provably correct software for embedded systems the close integration of CASE tools and verification tools is required. This paper describes the co...
APSEC
1999
IEEE
13 years 10 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 ...