816 search results - page 128 / 164 » Automating Verification by Functional Abstraction at the Sys... |
RE
1997
Springer
14 years 1 months ago
1997
Springer
The field of requirements engineering emerges out of tradition of research and engineering practice that stresses rtance of generalizations and abstractions. abstraction is essent...
ICCBR
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. Process-aware information systems (PAIS) allow coordinating the execution of business processes by providing the right tasks to the right people at the right time. In ord...
JMLR
2008
13 years 9 months ago
2008
The use of computational models is increasingly expected to play an important role in predicting the behaviour of biological systems. Models are being sought at different scales o...
AINA
2010
IEEE
14 years 1 months ago
2010
IEEE
One of the major premises of P2P systems is to enable fully decentralized collaborative functionalities for supporting work teams and P2P communities. Within collaborative systems,...
WER
2004
Springer
14 years 2 months ago
2004
Springer
At present, the early phase of Requirements Engineering is a new research area in the Software Engineering field. This phase is concerned with the analysis of the organizational c...