Abstract
No abstract available.
Cited By
- Liang S, Reibling L and Sambasivam S "Automatic Prototype Generating" restated with re-ADA Proceedings of the ACM SIGAda annual international conference on Ada and related technologies, (45-60)
- Liang S, Reibling L and Sambasivam S (2009). "Automatic Prototype Generating" restated with re-ADA, ACM SIGAda Ada Letters, 29:3, (45-60), Online publication date: 9-Nov-2009.
- Liang S, Reibling L and Betts J Re-ADA Proceedings of the 2008 ACM annual international conference on SIGAda annual international conference, (39-56)
- Liang S, Reibling L and Betts J (2008). Re-ADA, ACM SIGAda Ada Letters, 28:3, (39-56), Online publication date: 1-Dec-2008.
- Romanovsky A (2007). A looming fault tolerance software crisis?, ACM SIGSOFT Software Engineering Notes, 32:2, (1-4), Online publication date: 1-Mar-2007.
- Graydon P, Knight J and Strunk E Achieving dependable systems by synergistic development of architectures and assurance cases Architecting dependable systems IV, (362-382)
- de Lemos R Architectural reconfiguration using coordinated atomic actions Proceedings of the 2006 international workshop on Self-adaptation and self-managing systems, (44-50)
- de Lemos R, Gacek C and Romanovsky A (2005). ICSE 2004 workshop on architecting dependable systems, ACM SIGSOFT Software Engineering Notes, 30:1, (3), Online publication date: 1-Jan-2005.
Recommendations
Architecting and validating dependable systems: experiences and visions
Architecting dependable systems VIIThe world of computer systems today is composed of very different kind of critical architectures: from embedded safety-critical sensors and safety equipment (e.g., train on-board equipment), to large, highly dependable multicomputers (e.g. plant control ...
Architecting dynamic reconfiguration in dependable systems
Architecting dependable systems IVThe need for dynamic reconfiguration is a complicating factor in the design of dependable systems, as it demands from software architects both rigour and planning. Although recent research has shown that systematic and integrated "specification-to-...