2836 search results - page 106 / 568 » Model Checking for Software Architectures |
148
click to vote
COMPSAC
1997
IEEE
15 years 10 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...
164
click to vote
KBSE
2005
IEEE
15 years 11 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...
176
click to vote
RE
2008
Springer
15 years 5 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...
411
click to vote
DAC
2012
ACM
13 years 8 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 ...
147
click to vote
KBSE
2010
IEEE
15 years 4 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...