9267 search results - page 1722 / 1854 » Expectation-Oriented Analysis and Design |
153
click to vote
HYBRID
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. The assume-guarantee paradigm is a powerful divide-andconquer mechanism for decomposing a veri cation task about a system into subtasks about the individual components of...
145
click to vote
IFIP
2001
Springer
15 years 10 months ago
2001
Springer
There is an ongoing debate about how to improve the quality of empirical research efforts in information systems. One of the persistent issues within the debate concerns the relat...
168
Voted
MCS
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. Given an arbitrary data set, to which no particular parametrical, statistical or geometrical structure can be assumed, different clustering algorithms will in general pr...
132
click to vote
RE
2001
Springer
15 years 10 months ago
2001
Springer
Evolutionary prototyping focuses on gathering a correct and consistent set of requirements. The process lends particular strength to building quality software by means of the ongo...
174
click to vote
UML
2001
Springer
15 years 10 months ago
2001
Springer
UML is the de-facto standard language for Object-Oriented analysis and design of information systems. Persistent storage and extraction of data in such systems is supported by dat...