897 search results - page 63 / 180 » Reuse, Validation and Verification of System Development Pro... |
119
click to vote
DEXAW
2007
IEEE
15 years 9 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. ...
138
click to vote
OOPSLA
2000
Springer
15 years 6 months 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...
126
click to vote
CONCUR
2006
Springer
15 years 6 months 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...
110
click to vote
ICECCS
2002
IEEE
15 years 8 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...
106
click to vote
DSS
2008
15 years 3 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...