1304 search results - page 71 / 261 » Model-Driven Engineering for Requirements Analysis |
TSE
2010
14 years 8 months ago
2010
—The Verifying Compiler (VC) project is a core component of the Dependable Systems Evolution Grand Challenge. The VC offers the promise of automatically proving that a program or...
DFG
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. Today's manufacturing industry demands flexible and decentralized production control systems to avoid hours of down time of the production line in case of a failure ...
DAWAK
2009
Springer
14 years 7 months ago
2009
Springer
Enhancing on line analytical processing through efficient cube computation plays a key role in Data Warehouse management. Hashing, grouping and mining techniques are commonly used ...
ICSE
2010
IEEE-ACM
15 years 2 months ago
2010
IEEE-ACM
Projects often fail because they overlook stakeholders. Unfortunately, existing stakeholder analysis tools only capture stakeholders’ information, relying on experts to manually...
METRICS
1997
IEEE
15 years 2 months ago
1997
IEEE
An experiment comparing the effectiveness of equivalence partitioning (EP), boundary value analysis (BVA), and random testing was performed, based on an operational avionics syste...