5832 search results - page 412 / 1167 » Software complexity and maintainability |
213
click to vote
CBSE
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Automata-based interface and protocol specifications provide an elegant framework to capture and automatically verify the interactive behavior of component-based software...
195
click to vote
ECBS
2008
IEEE
15 years 8 months ago
2008
IEEE
Large and complex software systems require expressive notations for representing their software architecture. In this context Architecture Description Languages (ADLs) can be used...
212
click to vote
VAMOS
2008
Springer
15 years 8 months ago
2008
Springer
Software product lines (SPLs) allow to generate tailormade software products by selecting and composing reusable code units. However, SPLs with hundreds of features and millions o...
194
click to vote
SERP
2003
15 years 8 months ago
2003
In recent publications, two prominent approaches can be found which deal with the complexity of large software systems. First, there is the object–oriented approach, where ”ob...
194
click to vote
RE
2008
Springer
15 years 6 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...