1975 search results - page 45 / 395 » Property analysis and design understanding |
159
click to vote
DATE
2007
IEEE
15 years 8 months ago
2007
IEEE
Solid frameworks and toolkits for design and analysis of embedded systems are of high importance, since they enable early reasoning about critical properties of a system. This pap...
111
click to vote
AOSE
2001
Springer
15 years 6 months ago
2001
Springer
A key challenge for agent-oriented software engineering is to develop and implement open systems composed of interacting autonomous agents. On the one hand, there is a need for pe...
116
click to vote
CHI
1998
ACM
15 years 6 months ago
1998
ACM
Although design metaphors play an important role in many software projects, their influence on system functionality, project methodology and the interactions among members of the ...
101
click to vote
DAC
2002
ACM
16 years 2 months ago
2002
ACM
We present a compositional approach to analyze timing behavior of complex platforms with different scheduling strategies. The approach uses event interfacing in order to couple pr...
102
click to vote
SSR
1997
15 years 3 months ago
1997
This paper describes a methodology for designing Open Implementations -- software modules that can adapt or change their internals to accommodate the needs of different clients. A...