3514 search results - page 224 / 703 » Evolving Specification Engineering |
WER
2005
Springer
14 years 1 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...
WOSP
2004
ACM
14 years 1 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...
COBUILD
1999
Springer
14 years 19 days 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...
ICSM
1998
IEEE
14 years 18 days 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...
FSTTCS
1998
Springer
14 years 17 days 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 ...