| Description |
1 online resource |
| Series |
Lecture notes in computer science, 0302-9743 ; 7308 |
|
LNCS sublibrary. SL 2, Programming and software engineering |
|
Lecture notes in computer science ; 7308.
|
|
LNCS sublibrary. SL 2, Programming and software engineering.
|
| Contents |
Ada Ravenscar Code Archetypes for Component-Based Development / Marco Panunzio and Tullio Vardanega -- An Integrated Framework for Multiprocessor, Multimoded Real-Time Applications / Sergio Sáez, Jorge Real and Alfons Crespo -- Integrating Middleware for Timely Reconfiguration of Distributed Soft Real-Time Systems with Ada DSA / Marisol García-Valls and Felipe Ibáñez-Vázquez -- Source Code as the Key Artifact in Requirement-Based Development: The Case of Ada 2012 / José F. Ruiz, Cyrille Comar and Yannick Moy -- Teaching 'Concepts of Programming Languages' with Ada / Theodor Tempelmeier -- Designing the API for a Cryptographic Library / A Misuse-Resistant Application Programming Interface / Christian Forler, Stefan Lucks and Jakob Wenzel -- Handling Synchronization Requirements under Separation of Concerns in Model-Driven Component-Based Development / Patricia López Martínez and Tullio Vardanega -- An Approach to Model Checking Ada Programs / José Miguel Faria, João Martins and Jorge Sousa Pinto -- Formal Modelling for Ada Implementations: Tasking Event-B / Andrew Edmunds, Abdolbaghi Rezazadeh and Michael Butler -- Augmenting Formal Development with Use Case Reasoning / Alexei Iliasov -- Formal Goal-Oriented Development of Resilient MAS in Event-B / Inna Pereverzeva, Elena Troubitsyna and Linas Laibinis -- Choices, Choices: Comparing between CHOC'LATE and the Classification-Tree Methodology / Pak-Lok Poon, Tsong Yueh Chen and T.H. Tse -- Improving the Performance of Execution Time Control by Using a Hardware Time Management Unit / Kristoffer Nyborg Gregertsen and Amund Skavhaug -- Implementing and Verifying EDF Preemption-Level Resource Control / Mark Louis Fairbairn and Alan Burns -- Efficient Constraint Handling during Designing Reliable Automotive Real-Time Systems / Florian Pölzlbauer, Iain Bate and Eugen Brenner |
| Summary |
Annotation This book constitutes the refereed proceedings of the 17th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2012, held in Stockholm, Sweden, in June 2012. The revised 15 full papers presented were carefully reviewed and selected from 34 submissions. They are organized in topical sections on application frameworks, use of ada, modeling, testing and validation, and real-time systems |
| Analysis |
Computer science |
|
Computer Communication Networks |
|
Software engineering |
|
Logic design |
|
Programming Languages, Compilers, Interpreters |
|
Logics and Meanings of Programs |
|
Programming Techniques |
|
Mathematical Logic and Formal Languages |
|
computerwetenschappen |
|
computer sciences |
|
programmeertalen |
|
programming languages |
|
programmeren |
|
programming |
|
wiskunde |
|
mathematics |
|
logica |
|
logic |
|
computernetwerken |
|
computer networks |
|
Information and Communication Technology (General) |
|
Informatie- en communicatietechnologie (algemeen) |
| Bibliography |
Includes bibliographical references and index |
| Notes |
English |
| In |
Springer eBooks |
| Subject |
Computer software -- Reliability -- Congresses
|
|
Ada (Computer program language) -- Congresses
|
|
Software engineering -- Congresses
|
|
computer science.
|
|
data processing.
|
|
Informatique.
|
|
Ada (Computer program language)
|
|
Computer software -- Reliability
|
|
Software engineering
|
| Genre/Form |
proceedings (reports)
|
|
Conference papers and proceedings
|
|
Conference papers and proceedings.
|
|
Actes de congrès.
|
| Form |
Electronic book
|
| Author |
Brorsson, Mats.
|
|
Pinho, Luís Miguel.
|
| ISBN |
9783642305986 |
|
3642305989 |
|
3642305970 |
|
9783642305979 |
|
