2493 search results - page 64 / 499 » Tool Support for Design by Contract |
DSOM
2008
Springer
14 years 11 months ago
2008
Springer
Incident Management is the process through which IT support organizations manage to restore normal service operation after a service disruption. The complexity of IT support organi...
HICSS
2003
IEEE
15 years 3 months ago
2003
IEEE
JIGSAW is a well-known technique for collaborative learning. Students typically use it in a face-to-face setting without computer support. This paper describes a Webbased tool for...
SE
2010
14 years 11 months ago
2010
: Numerous design decisions are made in model-driven software development which are mostly implicit and not documented properly. Hence, the design knowledge is usually 'in the...
DAC
1996
ACM
15 years 1 months ago
1996
ACM
This paper discusses the design of a chip using architectural synthesis. The chip, FADIC, is applied in Digital Audio Broadcasting (DAB) receivers. It shows that architectural syn...
101
click to vote
HASE
1997
IEEE
15 years 2 months ago
1997
IEEE
: The most important aspect of concurrent and distributed computation is the interaction between system components. Integration of components into a system requires some synchroniz...