1527 search results - page 64 / 306 » From Requirements to Design: Formalizing the Key Steps |
131
click to vote
METRICS
2003
IEEE
15 years 11 months ago
2003
IEEE
As distributed technologies become more widely used, the need for assessing the quality of distributed applications correspondingly increases. Despite the rich body of research an...
178
click to vote
RE
2010
Springer
15 years 23 days ago
2010
Springer
An approach is suggested for arguing that a system is dependable. The key idea is to structure the system so that critical requirements are localized in small, reliable subsets of ...
157
click to vote
BTW
2003
Springer
15 years 11 months ago
2003
Springer
: The presentation claims that architectural design plays a crucial role in system development as a first step in a process that turns a requirements specification into a working s...
181
click to vote
QEST
2010
IEEE
15 years 3 months ago
2010
IEEE
Traditional architecture design approaches hide hardware uncertainties from the software stack through overdesign, which is often expensive in terms of power consumption. The recen...
168
click to vote
DAC
2009
ACM
16 years 7 months ago
2009
ACM
Boolean satisfiability (SAT) solvers are used heavily in hardware and software verification tools for checking satisfiability of Boolean formulas. Most state-of-the-art SAT solver...