APSEC
1998
IEEE
14 years 4 months ago
1998
IEEE
This paper describes an automated approach to generating test cases for an object-oriented class. The approach is derived from state-based testing methods and refers to a state ma...
APSEC
1998
IEEE
14 years 4 months ago
1998
IEEE
When implementing an application system in a distributed computing environment, several architectural questions arise such as, how and where computing resources are distributed, a...
APSEC
1998
IEEE
14 years 4 months ago
1998
IEEE
In this paper we demonstrate how light weight tools can be used to increase the level of confidence in Z specifications. In particular we outline the Pipedream approach to explori...
APSEC
1998
IEEE
14 years 4 months ago
1998
IEEE
Modified programs are required to be retested to determine whether changes have been made correctly and to investigate whether those cause any adverse effect on the program behavi...
APSEC
1998
IEEE
14 years 4 months ago
1998
IEEE
The Object Constraint Language (OCL), which forms part
APSEC
1998
IEEE
14 years 4 months ago
1998
IEEE
We present a calculus which can transfer specifications to objects for the development of real-time systems. The object model is based on a practical OO development technique--HRT...
APSEC
1998
IEEE
14 years 4 months ago
1998
IEEE
Component based software engineering (CBSE) represents an exciting and promising paradigm for software development, attracting much interest and effort from industrial practice an...
APSEC
1998
IEEE
14 years 4 months ago
1998
IEEE
The number of endusers using the Internet increases on the inside and outside of offices. Enduser-initiative development of applications has become important for automation of the...