2493 search results - page 13 / 499 » Tool Support for Design by Contract |
HICSS
2006
IEEE
14 years 1 months ago
2006
IEEE
The central idea in reference modeling is the reutilization of the business knowledge contained in reference models for the construction of specific information models. The orient...
EDOC
2004
IEEE
13 years 11 months ago
2004
IEEE
To focus the comparison of languages for model checking and transformation on criteria that matter in practical development, there is an urgent need for more, and more realistic, ...
CSMR
2000
IEEE
13 years 11 months ago
2000
IEEE
In practice, a pure top-down and refinement-based development process is not applicable. A more iterative and incremental approach is usually applied with respect to changing req...
DLS
2010
13 years 5 months ago
2010
First-class classes add expressive power to class-based object-oriented languages. Most importantly, programmers ract over common scenarios with first-class classes. When it comes...
MBUI
2004
13 years 8 months ago
2004
user interface application model dialogue model Design Design Transformation by patterns Transformation by patterns class diagram task model l use model b.-object model device mod...