2493 search results - page 59 / 499 » Tool Support for Design by Contract |
CROSSROADS
2006
14 years 9 months ago
2006
Program transformation techniques have reached a maturity level that allows processing high-level language sources in new ways. Not only do they revolutionize the implementation o...
DSS
2007
14 years 9 months ago
2007
Compared with the traditional sequential design method, concurrent engineering is a systematic approach to integrate concurrent design of products and their related processes. One...
105
click to vote
MLMI
2005
Springer
15 years 3 months ago
2005
Springer
Whilst there has been substantial research into technology to support meetings, there has been relatively little study of how meeting participants currently make records and how th...
BPM
2008
Springer
14 years 11 months ago
2008
Springer
Simulation is widely used as a tool for analyzing business s but is mostly focused on examining rather abstract steady-state situations. Such analyses are helpful for the initial d...
EUROPLOP
2006
14 years 11 months ago
2006
Extensibility and maintainability of software becomes more an issue as the complexity of the software development process rises. Design patterns in the sense of Gamma et al. [3] a...