1487 search results - page 58 / 298 » On Validating Engineering Design Decision Support Tools |
162
click to vote
ER
2009
Springer
15 years 7 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...
151
click to vote
PPDP
2004
Springer
15 years 9 months ago
2004
Springer
Refactoring in object-orientation has gained increased attention due to its ability to improve design quality. Refactoring using design patterns (DPs) leads to production of high ...
178
click to vote
RE
2010
Springer
14 years 10 months ago
2010
Springer
Requirements can differ in their importance. As such the priorities that stakeholders associate with requirements may vary from stakeholder to stakeholder and from one situation to...
133
click to vote
SIMUTOOLS
2008
15 years 5 months ago
2008
We sketch the fundamental properties and features of Snoopy, a tool to model and execute (animate, simulate) hierarchical graph-based system descriptions. The tool comes along wit...
164
click to vote
TVLSI
2008
15 years 3 months ago
2008
With increasing levels of integration of multiple processing cores and new features to support software functionality, recent generations of microprocessors face difficult validati...