897 search results - page 63 / 180 » Reuse, Validation and Verification of System Development Pro... |
DEXAW
2007
IEEE
14 years 3 months ago
2007
IEEE
Service oriented architectures (SOAs) provide an architectural paradigm to develop and evolve enterprise information systems. A key feature of SOAs is compensability of services. ...
OOPSLA
2000
Springer
14 years 15 days ago
2000
Springer
Most real-time embedded control software feature complex interactions with asynchronous inputs and environment objects, and a meaningful simulation of a real-time control software...
CONCUR
2006
Springer
14 years 20 days ago
2006
Springer
One of the advantages of temporal-logic model-checking tools is their ability to accompany a negative answer to the correctness query by a counterexample to the satisfaction of the...
ICECCS
2002
IEEE
14 years 1 months ago
2002
IEEE
Cost-effective development of large, integrated computer-based systems can be realized through systematic reuse of development experiences throughout the development process. In t...
DSS
2008
13 years 9 months ago
2008
Previous research indicates that the human decision-making process is somewhat nonlinear and that nonlinear models would be more suitable than linear models for developing advance...