2836 search results - page 106 / 568 » Model Checking for Software Architectures |
118
Voted
COMPSAC
1997
IEEE
15 years 8 months ago
1997
IEEE
Many large software systems are tightly integrated with their physical environments and must be adapted when their environment changes. Typically, software development methodologi...
130
Voted
KBSE
2005
IEEE
15 years 9 months ago
2005
IEEE
We describe an architecture modeling and code generation framework called Bamboo. Using Bamboo, engineers design SCM repository and feature models, and then generate a running SCM...
135
Voted
RE
2008
Springer
15 years 3 months ago
2008
Springer
NASA spends millions designing and building spacecraft for its missions. The dependence on software is growing as spacecraft become more complex. With the increasing dependence on...
358
Voted
DAC
2012
ACM
13 years 6 months ago
2012
ACM
Loop pipelining is a critical transformation in behavioral synthesis. It is crucial to producing hardware designs with acceptable latency and throughput. However, it is a complex ...
123
Voted
KBSE
2010
IEEE
15 years 2 months ago
2010
IEEE
Most practising software architects operate within an architecture framework which is a coordinated set of viewpoints, models and notations prescribed for them. Whereas architectu...