145
click to vote
AKA
14 years 9 months ago
2004 
Abstract: The evaluation of software architectures is crucial to ensure that the design of software systems meets the requirements. We present a generic methodical framework that e...
131
click to vote
CODES
14 years 12 months ago
2004 IEEE
This paper proposes a novel Deadlock Avoidance Algorithm (DAA) and its hardware implementation, the Deadlock Avoidance Unit (DAU), as an Intellectual Property (IP) core that provi...
130
click to vote
PSSE
15 years 1 months ago
2004 Springer 
“demonic” nondeterminism, representing abstraction from (or ignorance of) which of two program fragments will be executed. By introducing probabilistic nondeterminism into GCL,...
129
click to vote
FASE
14 years 12 months ago
2004 Springer
Real-Time Maude is a language and tool supporting the formal specification and analysis of real-time and hybrid systems. The specification formalism is based on rewriting logic, em...
128
click to vote
IASTEDSE
14 years 9 months ago
2004 
Quality management is becoming a more and more important part of the software development process. As software testing is currently understood as the core function of the quality ...
|
Software Engineering