678 search results - page 27 / 136 » A core flight software system |
68
Voted
PROFES
2001
Springer
15 years 1 months ago
2001
Springer
Many small and medium-sized companies that develop software experience the same problems repeatedly, and have few systems in place to learn from their own mistakes as well as their...
103
click to vote
CSMR
2009
IEEE
15 years 2 months ago
2009
IEEE
Decomposing a software system into smaller, more manageable clusters is a common approach to support the comprehension of large systems. In recent years, researchers have focused ...
CSMR
2008
IEEE
15 years 4 months ago
2008
IEEE
Aspect-oriented design needs to be systematically assessed with respect to modularity flaws caused by the realization of driving system concerns, such as tangling, scattering, and...
FM
1999
Springer
15 years 1 months ago
1999
Springer
Software architecture addresses the high level specification, design and analysis of software systems. Formal models can provide essential underpinning for architectural descripti...
RSP
2005
IEEE
15 years 3 months ago
2005
IEEE
Our software synthesis tool, CSP++, generates C++ source code from verifiable CSPm specifications, and includes a framework for runtime execution. Our technique of selective for...