2493 search results - page 64 / 499 » Tool Support for Design by Contract |
162
click to vote
DSOM
2008
Springer
15 years 7 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...
142
click to vote
HICSS
2003
IEEE
15 years 11 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...
162
click to vote
SE
2010
15 years 7 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...
172
click to vote
DAC
1996
ACM
15 years 10 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...
195
click to vote
HASE
1997
IEEE
15 years 10 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...