2493 search results - page 97 / 499 » Tool Support for Design by Contract |
ECSCW
1993
14 years 11 months ago
1993
: Support for work practice is better conceptualised as support for activity taking place in a multidimensional space than as prescription of temporal task sequences. The notion of...
KBSE
2007
IEEE
15 years 4 months ago
2007
IEEE
We present tools to support model-based security engineering on both the model and the code level. In the approach supported by these tools, one firstly specifies the securitycr...
ITICSE
2003
ACM
15 years 3 months ago
2003
ACM
We have students understand, enjoy, and actually use CRC cards in the introductory object-oriented design process that we teach. We attempted to teach a more sophisticated design ...
ICALT
2005
IEEE
15 years 3 months ago
2005
IEEE
Problem-based learning is a pedagogical strategy that centers learning activities around the investigation and development of solutions to complex and ill-structured authentic pro...
FLAIRS
2007
15 years 6 days ago
2007
We are working on a project aimed at building next generation analyst support tools that focus analysts’ attention on the most critical and novel information found within the da...