Reliable Software Technologies - Ada-Europe 2011 - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642213373, 9783642213380

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Object Orientation in Critical Systems: Yes, in Moderation

Reliable Software Technologies - Ada-Europe 2011 - Lecture Notes in Computer Science ◽

10.1007/978-3-642-21338-0_20 ◽

2011 ◽

pp. 214-218

Author(s):

Jean-Pierre Rosen

Keyword(s):

Object Orientation ◽

Critical Systems

Download Full-text

Architecting a Common Bridge Abstraction over Different Middleware Paradigms

Reliable Software Technologies - Ada-Europe 2011 - Lecture Notes in Computer Science ◽

10.1007/978-3-642-21338-0_10 ◽

2011 ◽

pp. 132-146 ◽

Cited By ~ 5

Author(s):

Iago Rodríguez-López ◽

Marisol García-Valls

Download Full-text

A Real-Time Framework for Multiprocessor Platforms Using Ada 2012

Reliable Software Technologies - Ada-Europe 2011 - Lecture Notes in Computer Science ◽

10.1007/978-3-642-21338-0_4 ◽

2011 ◽

pp. 46-60 ◽

Cited By ~ 2

Author(s):

Sergio Sáez ◽

Silvia Terrasa ◽

Alfons Crespo

Keyword(s):

Real Time ◽

Multiprocessor Platforms

Download Full-text

The SQALE Quality and Analysis Models for Assessing the Quality of Ada Source Code

Reliable Software Technologies - Ada-Europe 2011 - Lecture Notes in Computer Science ◽

10.1007/978-3-642-21338-0_5 ◽

2011 ◽

pp. 61-74 ◽

Cited By ~ 1

Author(s):

Thierry Coq ◽

Jean-Pierre Rosen

Keyword(s):

Source Code ◽

Analysis Models

Download Full-text

Model-Based Analysis and Design of Real-Time Distributed Systems with Ada and the UML Profile for MARTE

Reliable Software Technologies - Ada-Europe 2011 - Lecture Notes in Computer Science ◽

10.1007/978-3-642-21338-0_7 ◽

2011 ◽

pp. 89-102 ◽

Cited By ~ 6

Author(s):

Julio L. Medina ◽

Alvaro Garcia Cuesta

Keyword(s):

Distributed Systems ◽

Real Time ◽

Uml Profile ◽

Analysis And Design ◽

Model Based ◽

Model Based Analysis

Download Full-text

Design and Implementation of a Ravenscar Extension for Multiprocessors

Reliable Software Technologies - Ada-Europe 2011 - Lecture Notes in Computer Science ◽

10.1007/978-3-642-21338-0_3 ◽

2011 ◽

pp. 31-45 ◽

Cited By ~ 2

Author(s):

Fabien Chouteau ◽

José F. Ruiz

Keyword(s):

Design And Implementation

Download Full-text

On the Evolution of Unnatural Language

Reliable Software Technologies - Ada-Europe 2011 - Lecture Notes in Computer Science ◽

10.1007/978-3-642-21338-0_21 ◽

2011 ◽

pp. 219-225

Author(s):

Les Hatton

Download Full-text

Why Parallel Functional Programming Matters: Panel Statement

Reliable Software Technologies - Ada-Europe 2011 - Lecture Notes in Computer Science ◽

10.1007/978-3-642-21338-0_17 ◽

2011 ◽

pp. 201-205 ◽

Cited By ~ 2

Author(s):

Kevin Hammond

Keyword(s):

Functional Programming

Download Full-text

Programming Languages for Real-Time Applications Executing on Parallel Hardware

Reliable Software Technologies - Ada-Europe 2011 - Lecture Notes in Computer Science ◽

10.1007/978-3-642-21338-0_15 ◽

2011 ◽

pp. 193-195 ◽

Cited By ~ 1

Author(s):

Alan Burns

Keyword(s):

Programming Languages ◽

Real Time ◽

Real Time Applications

Download Full-text

OOT, DO-178C and SPARK

Reliable Software Technologies - Ada-Europe 2011 - Lecture Notes in Computer Science ◽

10.1007/978-3-642-21338-0_18 ◽

2011 ◽

pp. 206-210

Author(s):

Roderick Chapman ◽

Trevor Jennings

Download Full-text

Reliable Software Technologies - Ada-Europe 2011 - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Object Orientation in Critical Systems: Yes, in Moderation

Architecting a Common Bridge Abstraction over Different Middleware Paradigms

A Real-Time Framework for Multiprocessor Platforms Using Ada 2012

The SQALE Quality and Analysis Models for Assessing the Quality of Ada Source Code

Model-Based Analysis and Design of Real-Time Distributed Systems with Ada and the UML Profile for MARTE

Design and Implementation of a Ravenscar Extension for Multiprocessors

On the Evolution of Unnatural Language

Why Parallel Functional Programming Matters: Panel Statement

Programming Languages for Real-Time Applications Executing on Parallel Hardware

OOT, DO-178C and SPARK

Reliable Software Technologies - Ada-Europe 2011 - Lecture Notes in Computer Science
Latest Publications