Search Sciweavers | Sciweavers

15401 search results - page 357 / 3081

» Software in Automotive Systems

195

click to vote

RITA
2000

109views more RITA 2000»

A logic-based approach for real-time object-oriented software development

15 years 6 months ago

Download www.ic.uff.br

This paper discusses how RETOOL, an action logic featuring an operator that expresses necessary conditions, postconditions and time bounds of actions, can be combined with MTL, a ...

Fernando Náufel do Amaral, Edward Hermann H...

claim paper

Read More »

123

click to vote

ISORC
2008
IEEE

101views Distributed And Parallel Com...» more ISORC 2008»

C++ Dynamic Cast in Autonomous Space Systems

16 years 1 months ago

Download www2.research.att.com

Damian Dechev, Rabi N. Mahapatra, Bjarne Stroustru...

claim paper

Read More »

189

click to vote

ADAEUROPE
2007
Springer

142views Software Engineering» more ADAEUROPE 2007»

Enhancing Dependability of Component-Based Systems

16 years 1 months ago

Download www.fb9dv.uni-duisburg.de

Abstract. We present an approach for enhancing dependability of component-based software. Functionality related to security, safety and reliability is encapsulated in speciﬁc com...

Arnaud Lanoix, Denis Hatebur, Maritta Heisel, Jean...

claim paper

Read More »

174

click to vote

CBSE
2007
Springer

105views Software Engineering» more CBSE 2007»

Experience with Safe Dynamic Reconfigurations in Component-Based Embedded Systems

16 years 1 months ago

Download goanna.cs.rmit.edu.au

Juraj Polakovic, Sebastien Mazare, Jean-Bernard St...

claim paper