INFSOF
1998
13 years 11 months ago
1998
INFSOF
1998
13 years 11 months ago
1998
Changing the internal structure of a program without changing its behavior is called restructuring. This paper presents a transformation called tuck for restructuring programs by ...
INFSOF
1998
13 years 11 months ago
1998
Slices as an Abstraction for Cohesion Measurement Linda M. Ott Michigan Technological University James M. Bieman Colorado State University The basis for measuring many attributes ...
INFSOF
1998
13 years 11 months ago
1998
Emerging AI techniques will make possible new intelligent help features, such as ‘active help’ (interrupting the user when appropriate) and ‘back channel’ communication (a...
INFSOF
1998
13 years 11 months ago
1998
We show how to combine program slicing and constraint solving in order to obtain better slice accuracy. The method is used in the VALSOFT slicing system. One particular applicatio...
INFSOF
1998
13 years 11 months ago
1998
The main focus of this paper is demonstrating a methodology for capturing and designing co-operative work processes. We present a method, appropriate for group work analysis, and ...
INFSOF
1998
13 years 11 months ago
1998
This paper describes RolEnact: a process-modelling notation used to provide enactable models of process instances. The paper shows how RolEnact models may be produced which are eq...
INFSOF
1998
13 years 11 months ago
1998
This paper describes some observations derived from teaching a course in software engineering to a mixed audience of undergraduates and professional Master's degree students ...
INFSOF
1998
13 years 11 months ago
1998
In this paper, we present a locking-based concurrency control scheme for object-oriented databases (OODBs). Our scheme deals with class hierarchy which is an important property in...
INFSOF
1998
13 years 11 months ago
1998
This paper presents a logic based language, SAFIN, for developing networked software agents. It integrates agent-oriented programming, KQML and basic mobile techniques to support ...