1487 search results - page 216 / 298 » On Validating Engineering Design Decision Support Tools |
191
click to vote
FASE
2006
Springer
15 years 9 months ago
2006
Springer
This paper describes the application of the Real-Time Maude tool to the formal specification and analysis of the CASH scheduling algorithm and its suggested modifications. The CASH...
166
click to vote
AVI
2010
15 years 6 months ago
2010
Software tools are used to compare multiple versions of a textual document to help a reader understand the evolution of that document over time. These tools generally support the ...
128
Voted
COMPSAC
2002
IEEE
15 years 10 months ago
2002
IEEE
Process-Centered Software Engineering Environments (PSEEs) deal with activities that demand limited resources. Characteristics about required resources and their dynamic availabili...
178
click to vote
FIW
2007
15 years 6 months ago
2007
Software product line engineering provides a systematic approach for the reuse of software assets in the production of similar software systems. For such it employs different varia...
143
click to vote
SCOPES
2005
Springer
15 years 10 months ago
2005
Springer
Specification, validation, and synthesis are important aspects of embedded systems design. The use of dataflow-based design environments for these purposes is becoming increasingl...