Dependability Assurance

13

ICECCS
2007
IEEE

111views Hardware» more ICECCS 2007»

A Refinement Driven Component-Based Design

13 years 8 months ago

Modern software applications ranging from enterprise to embedded systems are becoming increasingly complex, and require very high levels of dependability assurance. The most effec...

Zhenbang Chen, Zhiming Liu, Volker Stolz, Lu Yang,...

claim paper

Read More »

11

click to vote

SOFSEM
2007
Springer

89views Theoretical Computer Science» more SOFSEM 2007»

Separation of Concerns and Consistent Integration in Requirements Modelling

13 years 10 months ago

Download d3s.mff.cuni.cz

Due to their increasing complexity, design of software systems is not becoming easier. Furthermore, modern applications ranging from enterprise to embedded systems require very hig...

Xin Chen, Zhiming Liu, Vladimir Mencl

claim paper

Read More »

12

click to vote

ICSE
2007
IEEE-ACM

140views Software Engineering» more ICSE 2007»

Limits to Dependability Assurance - A Controversy Revisited

14 years 4 months ago

Download web4.cs.ucl.ac.uk

Bev Littlewood

claim paper