Formal goal-oriented development of resilient MAS in event-b
Pereverzeva, Inna, Troubitsyna, Elena, Laibinis, Linas
Published in Reliable Software Technologies – Ada-Europe 2012 (11.06.2012)
Published in Reliable Software Technologies – Ada-Europe 2012 (11.06.2012)
Get full text
Conference Proceeding
Book Chapter
Ada ravenscar code archetypes for component-based development
Panunzio, Marco, Vardanega, Tullio
Published in Reliable Software Technologies – Ada-Europe 2012 (11.06.2012)
Published in Reliable Software Technologies – Ada-Europe 2012 (11.06.2012)
Get full text
Conference Proceeding
Book Chapter
Integrating middleware for timely reconfiguration of distributed soft real-time systems with ada DSA
García-Valls, Marisol, Ibáñez-Vázquez, Felipe
Published in Reliable Software Technologies – Ada-Europe 2012 (11.06.2012)
Published in Reliable Software Technologies – Ada-Europe 2012 (11.06.2012)
Get full text
Conference Proceeding
Book Chapter
Designing the API for a cryptographic library: a misuse-resistant application programming interface
Forler, Christian, Lucks, Stefan, Wenzel, Jakob
Published in Reliable Software Technologies – Ada-Europe 2012 (11.06.2012)
Published in Reliable Software Technologies – Ada-Europe 2012 (11.06.2012)
Get full text
Conference Proceeding
Book Chapter
Handling synchronization requirements under separation of concerns in model-driven component-based development
López Martínez, Patricia, Vardanega, Tullio
Published in Reliable Software Technologies – Ada-Europe 2012 (11.06.2012)
Published in Reliable Software Technologies – Ada-Europe 2012 (11.06.2012)
Get full text
Conference Proceeding
Book Chapter
Implementing and verifying EDF preemption-level resource control
Fairbairn, Mark Louis, Burns, Alan
Published in Reliable Software Technologies – Ada-Europe 2012 (11.06.2012)
Published in Reliable Software Technologies – Ada-Europe 2012 (11.06.2012)
Get full text
Conference Proceeding
Book Chapter
Augmenting formal development with use case reasoning
Get full text
Conference Proceeding
Book Chapter
An approach to model checking ada programs
Faria, José Miguel, Martins, João, Pinto, Jorge Sousa
Published in Reliable Software Technologies – Ada-Europe 2012 (11.06.2012)
Published in Reliable Software Technologies – Ada-Europe 2012 (11.06.2012)
Get full text
Conference Proceeding
Book Chapter
Teaching ‘concepts of programming languages' with ada
Get full text
Conference Proceeding
Book Chapter
Improving the performance of execution time control by using a hardware time management unit
Gregertsen, Kristoffer Nyborg, Skavhaug, Amund
Published in Reliable Software Technologies – Ada-Europe 2012 (11.06.2012)
Published in Reliable Software Technologies – Ada-Europe 2012 (11.06.2012)
Get full text
Conference Proceeding
Book Chapter
Source code as the key artifact in requirement-based development: the case of ada 2012
Ruiz, José F., Comar, Cyrille, Moy, Yannick
Published in Reliable Software Technologies – Ada-Europe 2012 (11.06.2012)
Published in Reliable Software Technologies – Ada-Europe 2012 (11.06.2012)
Get full text
Conference Proceeding
Book Chapter
Formal modelling for ada implementations: tasking event-b
Edmunds, Andrew, Rezazadeh, Abdolbaghi, Butler, Michael
Published in Reliable Software Technologies – Ada-Europe 2012 (11.06.2012)
Published in Reliable Software Technologies – Ada-Europe 2012 (11.06.2012)
Get full text
Conference Proceeding
Book Chapter
An integrated framework for multiprocessor, multimoded real-time applications
Sáez, Sergio, Real, Jorge, Crespo, Alfons
Published in Reliable Software Technologies – Ada-Europe 2012 (11.06.2012)
Published in Reliable Software Technologies – Ada-Europe 2012 (11.06.2012)
Get full text
Conference Proceeding
Book Chapter
Choices, choices: comparing between CHOC'LATE and the classification-tree methodology
Poon, Pak-Lok, Chen, Tsong Yueh, Tse, T. H.
Published in Reliable Software Technologies – Ada-Europe 2012 (11.06.2012)
Published in Reliable Software Technologies – Ada-Europe 2012 (11.06.2012)
Get full text
Conference Proceeding
Book Chapter
Efficient constraint handling during designing reliable automotive real-time systems
Pölzlbauer, Florian, Bate, Iain, Brenner, Eugen
Published in Reliable Software Technologies – Ada-Europe 2012 (11.06.2012)
Published in Reliable Software Technologies – Ada-Europe 2012 (11.06.2012)
Get full text
Conference Proceeding
Book Chapter