1655 search results - page 220 / 331 » Visual tool for generative programming |
115
Voted
TOOLS
2000
IEEE
15 years 5 months ago
2000
IEEE
This paper presents a method and a tool for building trustable OO components. The methodology is based on an integrated design and test approach for OO software components. It is ...
108
click to vote
ICFEM
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. Refinement plays a crucial role in "top-down" styles of verification, such as the refinement calculus, but for probabilistic systems proof of refinement is a pa...
117
click to vote
SIMULATION
1998
15 years 8 days ago
1998
A decision support system for the management of an intermodal container terminal is presented. Among the problems to be solved, there are the spatial allocation of containers on t...
OOPSLA
2007
Springer
15 years 6 months ago
2007
Springer
Live Sequence Charts (LSCs) is a scenario-based language for modeling object-based reactive systems with liveness properties. A tool called the Play-Engine allows users to create ...
112
click to vote
ESEM
2008
ACM
15 years 2 months ago
2008
ACM
Benchmarks provide an experimental basis for evaluating software engineering processes or techniques in an objective and repeatable manner. We present the FAULTBENCH v0.1 benchmar...