The evolution and re-engineering of software is strongly supported by comprehensive test suites for checking the correctness and robustness of software systems. However, this requires comprehensive ...

Geoff Dromey's Behavior Engineering method provides a vital link between systems engineering processes and software engineering processes. It has proven particularly effective in industry when applied ...

Adler, R., et al. (2010) Integration of Component Fault Trees into the UML. Models in Software Engineering. International Conference on Model Driven Engineering Languages and Systems, Oslo, 3-8 ...