Sciweavers

10 search results - page 2 / 2
» infsof 1998
Sort
View
INFSOF
1998
88views more  INFSOF 1998»
13 years 5 months ago
A logic based language for networked agents
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 ...
Dianxiang Xu
INFSOF
1998
72views more  INFSOF 1998»
13 years 5 months ago
Validation of measurement software as an application of slicing and constraint solving
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...
Jens Krinke, Gregor Snelting
INFSOF
1998
93views more  INFSOF 1998»
13 years 5 months ago
Analysis and design of co-operative work processes: a framework
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 ...
Selmin Nurcan
INFSOF
1998
73views more  INFSOF 1998»
13 years 5 months ago
Restructuring programs by tucking statements into functions
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 ...
Arun Lakhotia, Jean-Christophe Deprez
INFSOF
1998
78views more  INFSOF 1998»
13 years 5 months ago
Program slices as an abstraction for cohesion measurement
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 ...
Linda M. Ott, James M. Bieman