Reliable Software Technologies – Ada-Europe 2009: 14th by Alessandro Zovi, Tullio Vardanega (auth.), Fabrice Kordon,

By Alessandro Zovi, Tullio Vardanega (auth.), Fabrice Kordon, Yvon Kermarrec (eds.)

This e-book constitutes the lawsuits of the 14th Ada-Europe foreign convention on trustworthy software program applied sciences, Ada-Europe 2009, held in Brest, France, on June 8-12, 2009.

The 19 papers provided have been rigorously reviewed and chosen from quite a few submissions. themes of curiosity to the convention are equipment and strategies for software program improvement and upkeep; software program structure; permitting know-how; software program caliber; conception and perform of high-integrity structures; embedded structures; mainstream and rising purposes; ada language and know-how; ada and schooling.

Show description

Read or Download Reliable Software Technologies – Ada-Europe 2009: 14th Ada-Europe International Conference, Brest, France, June 8-12, 2009. Proceedings PDF

Similar software books

Agile Software Development, Principles, Patterns, and Practices

Written by means of a software program developer for software program builders, this e-book is a different selection of the newest software program improvement tools. the writer comprises OOD, UML, layout styles, Agile and XP tools with an in depth description of a whole software program layout for reusable courses in C++ and Java. utilizing a realistic, problem-solving method, it indicates easy methods to increase an object-oriented application—from the early levels of study, during the low-level layout and into the implementation. Walks readers throughout the designer's techniques — displaying the mistakes, blind alleys, and inventive insights that happen in the course of the software program layout procedure. The publication covers: Statics and Dynamics; ideas of sophistication layout; Complexity administration; ideas of package deal layout; research and layout; styles and Paradigm Crossings. Explains the foundations of OOD, one after the other, after which demonstrates them with quite a few examples, thoroughly worked-through designs, and case experiences. Covers traps, pitfalls, and paintings arounds within the software of C++ and OOD after which exhibits how Agile equipment can be utilized. Discusses the equipment for designing and constructing titanic software program intimately. encompasses a three-chapter, in-depth, unmarried case research of a development safety approach. For software program Engineers, Programmers, and Analysts who are looking to know the way to layout item orientated software program with cutting-edge equipment.

Models in Software Engineering: Workshops and Symposia at MODELS 2011, Wellington, New Zealand, October 16-21, 2011, Reports and Revised Selected Papers

This ebook offers a accomplished documentation of the medical end result of satellite tv for pc occasions held on the 14th foreign convention on Model-Driven Engineering, Languages and structures, versions 2011, held in Wellington, New Zealand, in October 2011. as well as three contributions all of the doctoral symposium and the educators' symposium, papers from the next workshops are incorporated: variability for you; multi-paradigm modeling; studies and empirical reviews in software program modelling; models@run.

Search Based Software Engineering: 8th International Symposium, SSBSE 2016, Raleigh, NC, USA, October 8-10, 2016, Proceedings

This e-book constitutes the refereed court cases of the eighth foreign Symposium on Search-Based software program Engineering, SSBSE 2016, held in Raleigh, NC, united states, in October 2016. The thirteen revised complete papers and four brief papers awarded including 7 problem song and four graduate pupil tune papers have been rigorously reviewed and chosen from forty eight submissions.

Additional resources for Reliable Software Technologies – Ada-Europe 2009: 14th Ada-Europe International Conference, Brest, France, June 8-12, 2009. Proceedings

Example text

Ada-Europe 1998. LNCS, vol. 1411, pp. 263–275. Springer, Heidelberg (1998) 5. ISO/IEC: Std. 8652:1995/Amd 1:2007 — Ada 2005 Reference Manual. Language and Standard Libraries. Springer, Heidelberg (2007) ISBN 978-3-540-69335-2 6. : Session summary: Distributed Ada and realtime. ACM SIGAda Ada Letters 19(2), 15–18 (1999); IRTAW 1999: Proceedings of the Ninth International Workshop on Real-time Ada 7. : Priority inheritance protocols: An approach to real-time synchronization. IEEE Tr. on Computers 39(9) (1990) 8.

Security, safety or timing properties, memory footprints, interface specification and how components are interconnected. An AADL description is made of components. The AADL standard defines software components (data, thread, thread group, subprogram, process), execution platform components (memory, bus, processor, device, virtual processor, virtual bus) and hybrid components (system). Components describe well identified elements of the actual architecture. Subprograms model procedures as in C or Ada.

Exploiting precedence relations in the schedulability analysis of distributed real-time systems. In: RTSS 1999: Proceedings of the 20th IEEE Real-Time Systems Symposium, pp. 328–339 (December 1999) 10. : Can we increase the usability of real time scheduling theory? the Cheddar project. , Vardanega, T. ) AdaEurope 2008. LNCS, vol. 5026, pp. 240–253. Springer, Heidelberg (2008) 11. : MAST modeling and analysis suite for real time applications. In: Proceedings of 13th Euromicro Conference on Real-Time Systems, Delft, The Netherlands, pp.

Download PDF sample

Rated 4.73 of 5 – based on 36 votes