2299 search results - page 74 / 460 » Design and Use of Industrial Software Architectures |
APSEC
2004
IEEE
15 years 1 months ago
2004
IEEE
Existing ADLs (Architecture Description Languages) have an advantage of formally specifying the architecture of component-based systems. But ADLs have not come into extensive use ...
ICSE
2009
IEEE-ACM
14 years 7 months ago
2009
IEEE-ACM
This paper presents experiments realized by Airbus on model checking a safety critical system, lessons learnt and ways forward to extend the industrial use of formal verification ...
ICSE
2000
IEEE-ACM
15 years 1 months ago
2000
IEEE-ACM
Building software systems with reusable components brings many advantages. The development becomes more efficient, the reliability of the products is enhanced, and the maintenance...
EUROMICRO
2009
IEEE
15 years 4 months ago
2009
IEEE
— Many software development methodologies are based on modeling the real world. In some of these methodologies, real-world models are gradually transformed into software models, ...
INFSOF
2007
14 years 9 months ago
2007
Retrofitting security implementations to a released software-intensive system or to a system under development may require significant architectural or coding changes. These late...