2274 search results - page 20 / 455 » Qualitative Modeling for Requirements Engineering |
AUSAI
1997
Springer
15 years 1 months ago
1997
Springer
In order to support verification, validation and analysis of dynamic Operations Research (OR) models a method of testing models against data is required. In the case of the QCM qu...
HCI
2007
14 years 11 months ago
2007
: This paper describes an approach to integrate UCD activities into the existing Software Engineering practices and processes. The aim is to use the outcomes of UCD activities thro...
RE
2009
Springer
15 years 4 months ago
2009
Springer
Service-oriented architectures (SOA) aim at the alignment of business and IT by having a clear business process-centric focus. In order to reach that goal, real-world business pro...
CHI
2006
ACM
15 years 10 months ago
2006
ACM
icians or philosophers use abstract symbols to derive formulas or form proofs. Indeed, these sketches are structural geometric proofs, consistent with Plato's supposition that...
ASWEC
2000
IEEE
15 years 2 months ago
2000
IEEE
Formal methods are becoming increasingly important in many areas of software development and should be incorporated in the teaching of software engineering. Requirements capture i...