2493 search results - page 40 / 499 » Tool Support for Design by Contract |
CAV
2005
Springer
15 years 3 months ago
2005
Springer
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. We believe that recent trends in both th...
111
click to vote
TACAS
1998
Springer
15 years 1 months ago
1998
Springer
The latest ITU-T standard syntax of Message Sequence Charts (MSCs) 16] o ers several operators to compose MSCs in a hierarchical, iterating, and nondeterministic way. However, curr...
KDD
1998
ACM
15 years 1 months ago
1998
ACM
Huge masses of digital data about products, customers and competitors have become available for companies in the services sector. In order to exploit its inherent (and often hidde...
IADIS
2003
14 years 11 months ago
2003
Although there are a lot of web based e-learning solutions on the market, using these tools to design and organize courses still stays a very difficult task for most teachers. Edu...
CHI
2000
ACM
15 years 2 months ago
2000
ACM
Through a study of web site design practice, we observed that web site designers design sites at different levels of refinement—site map, storyboard, and individual page— and ...