Sciweavers

1663 search results - page 38 / 333
» Software Reuse and Safety
Sort
View
ICSE
2005
IEEE-ACM
14 years 10 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
13 years 7 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
14 years 2 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
14 years 2 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
12 years 9 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