5972 search results - page 167 / 1195 » Extending Design Environments to Software Architecture Desig... |
132
click to vote
AUSAI
2005
Springer
15 years 10 months ago
2005
Springer
The key problem in applying verification techniques such as model checking to agent architectures is to show how to map systematically from an agent program to a model structure t...
141
click to vote
IWSAPF
2000
15 years 8 months ago
2000
Product families promote reuse of software artifacts such as architectures, designs and implementations. Product family architectures are difficult to create due to the need to sup...
131
click to vote
AIEDU
2005
15 years 4 months ago
2005
The paper discusses ITS architectures in terms of patterns that exist within them. The concept of patterns has received surprisingly little attention so far from researchers in the...
119
click to vote
DAC
1996
ACM
15 years 8 months ago
1996
ACM
PPP is a Web-based simulation and synthesis environment for low-power design. In this paper we describe the gate-level simulation engine of PPP, that achieves accuracy always with...
126
click to vote
QOSA
2010
Springer
15 years 8 months ago
2010
Springer
In order to ensure the quality of their software development process, companies incorporate best practices from recognized repositories or from their own experiences. These best pr...