10263 search results - page 1755 / 2053 » From Use Cases to System Operation Specifications |
151
click to vote
DEXA
2005
Springer
16 years 11 days ago
2005
Springer
Software package selection is an activity that plays an increasingly crucial role in the delivery of software systems. One of its main open issues is how to structure the knowledge...
169
click to vote
IFIP
2001
Springer
15 years 11 months ago
2001
Springer
This paper uses semiotic theories to model how meaning is constructed during an IS development project. Conventionally, shared meanings among all project stakeholders are regarded...
183
click to vote
KBSE
1999
IEEE
15 years 11 months ago
1999
IEEE
Deductive retrieval and deductive synthesis are two conceptually closely related software development methods which apply theorem proving techniques to support the construction of...
174
click to vote
ECOOPW
1997
Springer
15 years 11 months ago
1997
Springer
An object-oriented (OO) model has a static component, the set of allowable snapshots or system states, and a dynamic component, the set of filmstrips or sequences of snapshots. Dia...
204
click to vote
VVS
1996
IEEE
15 years 11 months ago
1996
IEEE
A critical issue in understanding high speed flows is the study of shock waves. This paper summarizes our research on techniques for the detection and visualization of shock waves...