Sciweavers

13 search results - page 1 / 3
» icse 1995
Sort
View
ICSE
1995
IEEE-ACM
14 years 2 months ago
Completeness and Consistency Analysis of State-Based Requirements
Mats Per Erik Heimdahl, Nancy G. Leveson
ICSE
1995
IEEE-ACM
14 years 2 months ago
Reverse Engineering of Legacy Systems: A Path Toward Success
This paper addresses the question of whether the reverse engineering of legacy systems is doomed to failure. Our position is that the answer is highly dependent on the specific go...
Alex Quilici
ICSE
1995
IEEE-ACM
14 years 2 months ago
The World and the Machine
As software developers we are engineers because we make useful machines. We are concerned both with the world, in which the machine serves a useful purpose, and with the machine i...
Michael Jackson
ICSE
1995
IEEE-ACM
14 years 2 months ago
Deriving Specifications from Requirements: An Example
A requirement is a desired relationship among phenomena of the environment of a system, to be brought about by the hardware/software machine that will be constructed and installed...
Michael Jackson, Pamela Zave