2493 search results - page 150 / 499 » Tool Support for Design by Contract |
MODELS
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. Since the seminal book by the Gang of Four, design patterns have proven an important tool in software development. Over time, more and more patterns have been discovered ...
OZCHI
2009
ACM
15 years 4 months ago
2009
ACM
This paper extends the analytic framework Suchman used in Plans and Situated Actions by using it as a tool in the design of interactive, immersive environments that rely on human ...
78
Voted
COMPSAC
2003
IEEE
15 years 3 months ago
2003
IEEE
Design patterns describe solutions to recurring design problems in the development of software designs. To encourage the use of design patterns, we are investigating tool support ...
ICECCS
2002
IEEE
15 years 3 months ago
2002
IEEE
Network traffic logs play an important role in incident analysis. With the increasing throughput of network links, maintaining a complete log of all network activity has become a...
DATE
2006
IEEE
15 years 4 months ago
2006
IEEE
This paper addresses an XML-based design environment, which provides a powerful basis for the manipulation of hardware design descriptions. The contribution of the paper is a flex...