5252 search results - page 395 / 1051 » Requirements engineering: a roadmap |
202
click to vote
ISSTA
1996
ACM
15 years 11 months ago
1996
ACM
We illustrate the application of Nitpick, a specification checker, to the design of a style mechanism for a word processor. The design is cast, along with some expected properties...
187
click to vote
SEE
1997
Springer
15 years 11 months ago
1997
Springer
A concise object-oriented method for the development of real-time systems has been composed. Hardware components are modelled by (sofnuare) base objects; base objects are controll...
179
click to vote
TAPSOFT
1997
Springer
15 years 11 months ago
1997
Springer
This paper presents a type system which guarantees that well-typed programs in a procedural programming language satisfy a noninterference security property. With all program input...
176
click to vote
ICSE
1993
IEEE-ACM
15 years 11 months ago
1993
IEEE-ACM
Over the past 15 years there has been increasing recognition that careful attention to the design of a system’s software architecture is critical to satisfying its requirements ...
189
click to vote
SEKE
1994
Springer
15 years 11 months ago
1994
Springer
This paper presents a model of estimating the similarity of software artifacts so as to promote their analogical reuse. The model permits comparisons between artifacts developed a...