2493 search results - page 173 / 499 » Tool Support for Design by Contract |
172
click to vote
AVI
2010
15 years 8 months ago
2010
To increase its credibility and preserve the trust of its readers, Wikipedia needs to ensure a good quality of its articles. To that end, it is critical for Wikipedia administrato...
172
click to vote
SIGSOFT
2007
ACM
16 years 7 months ago
2007
ACM
This paper presents a specification-based approach for systematic testing of products from a software product line. Our approach uses specifications given as formulas in Alloy, a ...
191
click to vote
JOT
2010
15 years 5 months ago
2010
This paper describes how to use annotation to provide semantic information. The applications include the automatic construction of a GUI so that the user input is constrained to a...
157
click to vote
CSCWD
2008
Springer
15 years 8 months ago
2008
Springer
The industry requires innovative technologies to support the numeric design and simulation of manufactured products in order to reduce time to market delays and improve the perfor...
195
click to vote
TOOLS
1991
IEEE
15 years 10 months ago
1991
IEEE
After a maturing process where models and architectures for User Interface Systems have been dened and generally accepted, the current expectations of researchers, developers and ...