1663 search results - page 86 / 333 » Software Reuse and Safety |
ECBS
2008
IEEE
13 years 9 months ago
2008
IEEE
A discrete control system, with stringent hardware constraints, is effectively an embedded real-time system and hence requires a rigorous methodology to develop the software invol...
CADE
2004
Springer
14 years 10 months ago
2004
Springer
Abstract. We describe a system for the automated certification of safety properties of NASA software. The system uses Hoare-style program verification technology to generate proof ...
DATE
2008
IEEE
14 years 4 months ago
2008
IEEE
System-level integration requires an overall understanding of the interplay of the sub-systems to enable componentbased development with portability, reconfigurability and extens...
CSMR
2003
IEEE
14 years 2 months ago
2003
IEEE
Component-based software development (CBSD) is a very promising software engineering technique for improving reuse and maintenance. Nevertheless, there are still some difficultie...
VAMOS
2010
Springer
13 years 11 months ago
2010
Springer
A product line approach can save valuable resources by reusing artifacts. Especially for software artifacts, the reuse of existing components is highly desirable. In recent literat...