ASWEC
1998
IEEE
14 years 7 days ago
1998
IEEE
This paper reports the results from an action research project which studies the benefits of documenting the evolution and the rationale for the evolution of a requirements specif...
APSEC
1998
IEEE
14 years 7 days 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 7 days 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 7 days 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 7 days 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 7 days ago
1998
IEEE
The Object Constraint Language (OCL), which forms part
APSEC
1998
IEEE
14 years 7 days 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 7 days 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 7 days 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...
WCRE
1999
IEEE
14 years 7 days ago
1999
IEEE
The software clustering problem has attracted much attention recently, since it is an integral part of the process of reverse engineering large software systems. A key problem in ...