5182 search results - page 731 / 1037 » COTS-Based Requirements Engineering |
216
click to vote
ER
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. The UML-based Specification Environment (USE) tool supports the syntactic analysis, type checking, consistency checking, and dynamic validation of invariants and pre-/pos...
164
click to vote
ASAP
2004
IEEE
15 years 10 months ago
2004
IEEE
We explain how modern programmable logic devices have capabilities that are well suited for them to assume a central role in the implementation of networked systems, now and in th...
188
click to vote
CGI
2004
IEEE
15 years 10 months ago
2004
IEEE
Computer-aided design (CAD) and 3D visualization techniques are at the heart of many engineering processes such as aircraft, ship, and automobile design. These visualization tasks...
176
click to vote
ECBS
2004
IEEE
15 years 10 months ago
2004
IEEE
: The available evidence in a legacy software system, which can help in its understanding and recovery of its architecture are not always sufficient. Very often the system's d...
185
click to vote
FC
2000
Springer
15 years 10 months ago
2000
Springer
Every novel cooperative arrangement of mutually suspicious parties interacting electronically -- every smart contract -- effectively requires a new cryptographic protocol. However,...