2493 search results - page 376 / 499 » Tool Support for Design by Contract |
DOCENG
2005
ACM
14 years 12 months ago
2005
ACM
Recent developments of document technologies have strongly impacted the evolution of Web clients over the last fifteen years, but all Web clients have not taken the same advantag...
102
click to vote
DIAGRAMS
2010
Springer
14 years 11 months ago
2010
Springer
Creating and editing graphs and node-link diagrams by means of digital tools are crucial activities in domains such as software or business process modeling. However, these tools h...
APCCM
2008
14 years 11 months ago
2008
Model-driven development is the process of creating models of a software system and transforming them into source code. Since the stepwise transformations can be done automaticall...
LREC
2010
14 years 11 months ago
2010
In the framework of the preparation of linguistic web services for corpus processing, the need for a representation format was felt, which supports interoperability between differ...
AVI
2004
14 years 11 months ago
2004
The continuing trend toward greater processing power, larger storage, and in particular increased display surface by using multiple monitor supports increased multi-tasking by the...