An evolving hierarchical & modular approach to resilient software

Proceedings of the 2008 RISE/EFTS Joint International Workshop on Software Engineering for Resilient Systems, SERENE'08

Volumn , Issue , 2008, Pages 79-86

  Barros, Fernando J ^a  

^a UNIVERSITY OF COIMBRA   (Portugal)

Author keywords

[No Author keywords available]

Indexed keywords

INPUT AND OUTPUTS; MODULAR APPROACH; MODULAR SOFTWARES; SOFTWARE REPLACEMENT; SOFTWARE SPECIFICATION; SOFTWARE SYSTEMS; TOPOLOGY ADAPTATION;

COMPUTER SOFTWARE;

EID: 70349151234     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1479772.1479788     Document Type: Conference Paper

References (29)

1. User's Manual for Extend 1.0. San Jose, USA, 1988.
2. Simulink: A program for Simulating Dynamic Systems-User's Guide. Natick, USA, 1991.
3. J. Aldrich, C. Chambers, and D. Notkin. Architectural reasoning in ArchJava. In 16th European Conference on Object-Oriented Programming, pages 334-367, 2002.
4. R. Allen and D. Garlan. A formal basis for architectural connection. ACM Transactions on Software Engineering and Methodology, 6(3):213-249, 1997.
5. F. Barros. Modeling formalisms for dynamic structure systems. ACM Transactions on Modeling and Computer Simulation, 7(12):505-515, 1997.
6. F. Barros. A formal definition of hybrid mobile components. Simulation: Transactions of the SCS, 78(1):18-27, 2005.
7. F. Barros. System and method for programming using independent and reusable software units. US Patent 6851104 B1, February 2005 (Filed August 2000).
8. F. Barros. Representing hierarchical mobility in software architectures. In SEAMS '07: Proceedings of the 2007 International Workshop on Software Engineering for Adaptive and Self-Managing Systems, Washington, DC, USA, 2007. IEEE Computer Society.
9. D. Batory and S. O'Malley. The design and implementation of hierarchical software systems with reusable components. ACM Transactions on Software Engineering and Methodology, 1(4):355-398, 1972.
10. J. Bradbury. Organizing definitions and formalisms for dynamic software architectures. Technical report, Queens University, 2004.
11. O.-J. Dahl, B. Myhrhaug, and K. Nygaard. Some features of the Simula 67 language. In Winter Simulation Conference, pages 29-31, 1968.
12. A. Fuggetta, G. Picco, and G. Vigna. Understanding code mobility. IEEE Transactions on Software Engineering, 24(5):342-361, 1998.
13. D. Galan, R. Allen, and J. Ockerbloom. Architectural mismatch, or why it's hard to build systems out of existing parts. In International Conference on Software Engineering, pages 179-185, 1995.
14. E. Gamma, R. Helm, R. Jonhson, and J. Vlissides. Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, Reading, USA, 1995.
15. D. Garlan, R. Monroe, and D. Wile. ACME: An architecture description interchange language. In Conference of the Centre for Advanced Studies on Collaborative Research, 1997.
16. V. Grassi and R. Mirandola. PRIMAmob-UML: A methodology for performance analysis of mobile software architectures. In WOSP, 2002.
17. J. Hudak and P. Freiler. Developig AADL models for control systems: A practitioners's guide. Technical Report CMU/SEI-019, Carnegie-Mellon University, 2006.
18. P. Krutchen, H. Obbink, and J. Stafford. The past, present, and future of software architectures. IEEE Software, pages 22-39, March/April 2006.
19. D. Luckham, J. Kenney, L. Augustin, J. Vera, D. Bryan, and W. Mann. Specification and analysis of system architecture using rapide. IEEE Transactions on Software Engineering, 21(4):336-355, April 1995.
20. J. Magee, N. Dulay, S. Eisenbach, and J. Kramer. Specifying distributed software architectures. In Fifth European Software Engineering Conference, pages 137-153, 1995.
21. N. Medvidovic and R. Taylor. A classification and comparison framework for software architecture description languages. IEEE Transactions on Software Engineering, 26(1):70-93, 2000.
22. N. Medvidovic, R. Taylor, and E. Whitehead. Formal modeling of software architectures at multiple levels of abstraction. In California Software Symposium, pages 28-40, 1996.
23. G.-C. Roman, P. McCann, and J. Plun. Mobile unity: Reasoning and specification in mobile computing. ACM Transactions on Software Engineering and Methodology, 6(3):250-282, 1997.
24. G. Serugendo, J. F. ad A. Romanovsky, and N. Guelfi. A metadata-based architectural model for dynamically resilient systems. In ACM Symposium on Applied Computing, pages 566-572, 2007.
25. M. Shaw. Beyond objects: A software design paradigm based on proces control. ACM Sigsoft, 20(1):27-38, 1995.
26. M. Shaw and P. Clements. The golden age of software architectures: A comprehensive survey. Technical Report CMU-ISRI-06-101, Carnegie Melon University, USA, 2006.
27. V. Sreedhar. Mixin'up components. In International Conference on Software Engineering, pages 198-207, 2002.
28. A. Wymore. A Mathematical Theory of Systems Engineering: The Elements. Krieger, 1967.
29. B. Zeigler. Multifacetted Models. Academic Press, 1984.