2493 search results - page 95 / 499 » Tool Support for Design by Contract |
101
click to vote
DAC
2010
ACM
14 years 8 months ago
2010
ACM
As high-level models in C and SystemC are increasingly used for verification and even design (through high-level synthesis) of electronic systems, there is a growing need for com...
CHI
2005
ACM
15 years 10 months ago
2005
ACM
This paper presents X-PRT, a new cognitive modeling tool supporting activities ranging from interface design to basic cognitive research. X-PRT provides a graphical model developm...
ECTEL
2007
Springer
15 years 4 months ago
2007
Springer
Motivation to learn is affected by a student’s self-efficacy, goal orientation, locus of control and perceived task difficulty. In the classroom, teachers know how to motivate th...
HASE
2007
IEEE
15 years 1 months ago
2007
IEEE
We present a tool-supported approach to the validation of system-level timing properties in formal models of distributed real-time embedded systems. Our aim is to provide system a...
VDB
1998
14 years 11 months ago
1998
In this paper we discuss how metaphors for supporting user interaction with multimedia databases can be automatically generated. The work presented is a further step in the develo...