447 search results - page 41 / 90 » Similarity for reuse of specifications in communication soft... |
104
Voted
EDOC
1997
IEEE
15 years 4 months ago
1997
IEEE
Enterprise roles define the duties and responsibilities of the individuals which are assigned to them. This paper introduces a framework for the management of large distributed sy...
106
click to vote
SAC
2008
ACM
15 years 1 days ago
2008
ACM
This paper introduces an approach to develop componentbased adaptive distributed applications. Our approach separates the communication and the functional aspects of a distributed...
104
Voted
FORTE
1990
15 years 1 months ago
1990
Formal specifications are a well-known technique for improving software devel the context of OSI communication protocol standards, Formal Description Te (FDT's) have been dev...
97
Voted
WWW
2005
ACM
16 years 1 months ago
2005
ACM
We present a design for verification approach to developing reliable web services. We focus on composite web services which consist of asynchronously communicating peers. Our goal...
ICSE
2001
IEEE-ACM
15 years 5 months ago
2001
IEEE-ACM
The paper focuses on investigating the combined use of semantic and structural information of programs to support the comprehension tasks involved in the maintenance and reenginee...