2493 search results - page 414 / 499 » Tool Support for Design by Contract |
186
click to vote
ICDE
2003
IEEE
15 years 11 months ago
2003
IEEE
Intuitively, data management and data integration tools should be well-suited for exchanging information in a semantically meaningful way. Unfortunately, they suffer from two sign...
VIS
2007
IEEE
15 years 11 months ago
2007
IEEE
Just as we can work with two-dimensional floor plans to communicate 3D architectural design, we can exploit reduced-dimension shadows to manipulate the higher-dimensional objects ...
SIGSOFT
2005
ACM
15 years 10 months ago
2005
ACM
A fundamental part of a Computer Science degree is learning to program. Rather than starting students on a full commercial language, we favour using a dedicated "teaching lan...
ICSE
2004
IEEE-ACM
15 years 10 months ago
2004
IEEE-ACM
Financial companies, engineering firms and even scientists create increasingly larger spreadsheets and spreadsheet programs. The creators of large spreadsheets make errors and mus...
ICWE
2007
Springer
15 years 4 months ago
2007
Springer
Current model-driven Web Engineering approaches (such as OO-H, UWE or WebML) provide a set of methods and supporting tools for a systematic design and development of Web applicatio...