Sciweavers

211 search results - page 10 / 43
» Safe Automotive Software Development
Sort
View
APSEC
2004
IEEE
14 years 2 months ago
Tool Supported Development of Service-Based Systems
Service-based systems engineering is a recent paradigm that has proven useful for the development of multifunctional systems, whose functions may be used in different contexts and...
Martin Deubler, Johannes Grünbauer, Gerhard P...
SCS
2003
14 years 9 days ago
A Contract-based Approach to Designing Safe Systems
Architectural based approaches to designing software are motivating changes in the way software is developed for safety-critical systems. These new approaches allow developers to d...
Iain Bate, Richard Hawkin, John A. McDermid
SEFM
2005
IEEE
14 years 4 months ago
Safe Concurrency for Aggregate Objects with Invariants
Developing safe multithreaded software systems is difficult due to the potential unwanted interference among concurrent threads. This paper presents a flexible methodology for o...
Bart Jacobs 0002, Frank Piessens, K. Rustan M. Lei...
WORDS
2005
IEEE
14 years 4 months ago
Towards a Dependable Component Technology for Embedded System Applications
Component-based software engineering is a technique that has proven effective to increase reusability and efficiency in development of office and web applications. Though being ...
Mikael Åkerholm, Anders Möller, Hans Ha...
ICSM
2003
IEEE
14 years 4 months ago
Safe Upgrading without Restarting
The distributed development and maintenance paradigm for component delivery is fraught with problems. One wants a relationship between developers and clients that is autonomous an...
Miles Barr, Susan Eisenbach