2493 search results - page 321 / 499 » Tool Support for Design by Contract |
112
click to vote
FASE
2006
Springer
15 years 2 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...
108
click to vote
APAQS
2001
IEEE
15 years 2 months ago
2001
IEEE
Integration testing has always been a challenge especially if the system under test is large with many subsystems and interfaces. This paper proposes an approach to design End-toE...
101
click to vote
AVI
2010
14 years 12 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 ...
FOIS
2001
14 years 11 months ago
2001
The uptake in the software industry of notations for designing systems visually has been accelerated with the standardization of the Unified Modeling Language (UML). The formaliza...
CORR
2010
Springer
14 years 5 months ago
2010
Springer
We introduce a new simulation platform called Insight, created to design and simulate cyber-attacks against large arbitrary target scenarios. Insight has surprisingly low hardware...