2493 search results - page 34 / 499 » Tool Support for Design by Contract |
85
Voted
ICALT
2007
IEEE
15 years 4 months ago
2007
IEEE
Creativity plays an important role in many learning activities but how to enhance creativity with the support of modern computer tools deserves further studies. In this paper, we ...
ECLIPSE
2005
ACM
14 years 11 months ago
2005
ACM
Software program families have a long tradition and will gain momentum in the future. Today’s research tries to move software development to a new quality of industrial producti...
ACSAC
1999
IEEE
15 years 2 months ago
1999
IEEE
Secure enterprise programming is a difficult and tedious task. Programmers need tools that support t levels of abstraction and that track all the components that participate in di...
HICSS
2008
IEEE
15 years 4 months ago
2008
IEEE
Cases are widely used in professional education to engage learners with examples of real world practices. Collaboration in casebased learning can add to the authenticity of the ex...
SIGSOFT
2000
ACM
15 years 2 months ago
2000
ACM
We describe an extension to the Java programming language that supports static conformance checking and dynamic debugging of object "protocols," i.e., sequencing constra...