3514 search results - page 224 / 703 » Evolving Specification Engineering |
110
Voted
WER
2005
Springer
15 years 8 months ago
2005
Springer
This paper presents J-RAn (Java Requirement Analyzer), a tool that implements a novel Content Analysis technique to support the verification of consistency and completeness of a So...
115
click to vote
WOSP
2004
ACM
15 years 8 months ago
2004
ACM
Designs for distributed systems must consider the possibility that failures will arise and must adopt specific failure detection strategies. We describe and analyze a self-regulat...
105
click to vote
COBUILD
1999
Springer
15 years 7 months ago
1999
Springer
This paper argues for the importance of home-related research on technology. Several important differences between researching homes and researching workplaces are described, and s...
115
click to vote
ICSM
1998
IEEE
15 years 7 months ago
1998
IEEE
In this paper, we describe the reengineering of a deteriorated object-oriented industrial program written in C++. The main problem of the program was misplaced code, most often fu...
127
click to vote
FSTTCS
1998
Springer
15 years 7 months ago
1998
Springer
Abstract. Synchronous languages are well suited for the design of dependable real-time systems: they enable a very high-level specification and an extremely modular implementation ...