ADAEUROPE 2009 | Sciweavers

41

ADAEUROPE
2009
Springer

142views Software Engineering» more ADAEUROPE 2009»

An Experience on Ada Programming Using On-Line Judging

14 years 7 months ago

Abstract. Ada has proved to be one of the best languages to learn computer programming. Nevertheless, learning to program is diﬃcult and when it is combined with lack of motivati...

Francisco J. Montoya-Dato, José Luis Fern&a...

claim paper

Read More »

29

click to vote

ADAEUROPE
2009
Springer

100views Software Engineering» more ADAEUROPE 2009»

Modelling and Evaluating Real-Time Software Architectures

14 years 7 months ago

Download www.ppooa.com.es

José L. Fernández-Sánchez, Gl...

claim paper

Read More »

28

click to vote

ADAEUROPE
2009
Springer

123views Software Engineering» more ADAEUROPE 2009»

Validating Safety and Security Requirements for Partitioned Architectures

14 years 7 months ago

Download www.aadl.info

Julien Delange, Laurent Pautet, Peter H. Feiler

claim paper

Read More »

29

click to vote

ADAEUROPE
2009
Springer

100views Software Engineering» more ADAEUROPE 2009»

Weak Fairness Semantic Drawbacks in Java Multithreading

14 years 7 months ago

Download cedric.cnam.fr

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

claim paper

Read More »

31

click to vote

ADAEUROPE
2009
Springer

121views Software Engineering» more ADAEUROPE 2009»

Formal Verification of AADL Specifications in the Topcased Environment

14 years 7 months ago

Download www.aadl.info

Bernard Berthomieu, Jean-Paul Bodeveix, Christelle...

claim paper