Sciweavers

1663 search results - page 38 / 333
» Software Reuse and Safety
Sort
View
ICSE
2005
IEEE-ACM
16 years 6 months ago
Verifying safety policies with size properties and alias controls
Many software properties can be analysed through a relational size analysis on each function's inputs and outputs. Such relational analysis (through a form of dependent typin...
Wei-Ngan Chin, Siau-Cheng Khoo, Shengchao Qin, Cor...
ICSE
2009
IEEE-ACM
15 years 3 months ago
Fourth international workshop on sharing and reusing architectural knowledge (SHARK 2009)
Architectural knowledge has been recognized by the software architecture community as a self-contained research area in software architecture, and brought along some promising res...
Patricia Lago, Paris Avgeriou, Philippe Kruchten
EMSOFT
2001
Springer
15 years 10 months ago
Bus Architectures for Safety-Critical Embedded Systems
Abstract. Embedded systems for safety-critical applications often integrate multiple “functions” and must generally be fault-tolerant. These requirements lead to a need for mec...
John M. Rushby
ECOOPW
1999
Springer
15 years 10 months ago
Managing Unanticipated Evolution of Software Architectures
Few existing approaches towards architectural evolution deal with unanticipated evolution. This is an important restriction, since a lot of architectural changes are very di cult ...
Kim Mens, Tom Mens, Bart Wouters, Roel Wuyts
EUROMICRO
2011
IEEE
14 years 5 months ago
Developing Safe and Dependable Sensornets
Sensornets are being widely proposed as a solution technology in a wide number of applications, e.g. health care. As part of this work some key challenges for the safety and senso...
Iain Bate, Yafeng Wu, John A. Stankovic