Sciweavers

5 search results - page 1 / 1
» adaeurope 2009
Sort
View
ADAEUROPE
2009
Springer
14 years 5 days ago
Validating Safety and Security Requirements for Partitioned Architectures
Julien Delange, Laurent Pautet, Peter H. Feiler
ADAEUROPE
2009
Springer
14 years 5 days ago
Modelling and Evaluating Real-Time Software Architectures
José L. Fernández-Sánchez, Gl...
ADAEUROPE
2009
Springer
14 years 5 days ago
Formal Verification of AADL Specifications in the Topcased Environment
Bernard Berthomieu, Jean-Paul Bodeveix, Christelle...
ADAEUROPE
2009
Springer
14 years 5 days ago
Weak Fairness Semantic Drawbacks in Java Multithreading
With the development of embedded and mobile systems, Java is widely used for application programs and is also considered for implementing systems kernel or application platforms. I...
Claude Kaiser, Jean-François Pradat-Peyre
ADAEUROPE
2009
Springer
14 years 5 days ago
An Experience on Ada Programming Using On-Line Judging
Abstract. Ada has proved to be one of the best languages to learn computer programming. Nevertheless, learning to program is difficult and when it is combined with lack of motivati...
Francisco J. Montoya-Dato, José Luis Fern&a...