Bridging the gap between systems design and space systems software

Proceedings of the 2005 29th Annual IEEE/NASA Software Engineering Workshop, SEW'05

Volumn 2005, Issue , 2005, Pages 34-43

  Garlan, David ^a   Reinholtz, William K ^b   Schmerl, Bradley ^a   Sherman, Nicholas D ^a   Tseng, Tony ^a  

^a Carnegie Mellon University ^*  (United States)

^b CALIFORNIA INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATION; COMPUTER ARCHITECTURE; COMPUTER SOFTWARE; PROBLEM SOLVING; SPECIFICATIONS;

ARCHITECTURAL SPECIFICATIONS; COMPONENT TECHNOLOGY; HIGH-LEVEL SYSTEMS; SPACE SYSTEMS SOFTWARE;

SOFTWARE ENGINEERING;

EID: 33646921263     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SEW.2005.21     Document Type: Conference Paper

References (13)

1. Aldrich, J., Chambers, C., and Notkin, D. ArchJava: Connecting Software Architecture to Implementation. Proc. ICSE 24, Orlando, Florida, 2002.
2. Allen, R. and Garlan, D. A Formal Basis for Architectural Connection. ACM Transactions on Software Engineering and Methodology, 6(3), July 1997.
3. th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing. Austria, 2004.
4. Garlan, D., Monroe, R., and Wile, D. "Acme: Architectural Description of Component-Based Systems." Foundations of Component-Based Systems, Cambridge University Press, 2000.
5. Guttag, J.V., and Horning, J.J. (Eds) Larch: Languages and Tools for Formal Specification. Springer-Verlag, 1993.
6. Hoare, C.A.R. Communicating Sequential Processes. Prentice Hall, 1985.
7. Moriconi, M., Quian, X., and Riemenschneider, R. Correct Architecture Refinement. IEEE Trans. Soft. Eng. 21(4), 1995.
8. Object Management Group. MDA: The Architecture of Choice for a Changing World, http://www.omg.org/mda.
9. Rasmussen, R. Goal-Based Fault Tolerance for Space Systems using the Mission Data Systems. Proc. 2001 IEEE Aerospace Conference, Big Sky, MT, 2001.
10. Schmerl, B. and Garlan, D. Supporting Style-Centered Architecture Development. ICSE 26, Edinburgh, Scotland, 2004.
11. Shaw, M., DeLine, R., Klein, D.V., Ross, T.L., Young, D.M., Zelesnik, G, Abstractions for Software Architectures and Tools to Support Them. IEEE Transactions on Software Engineering, 21(4):314-335, 1995.
12. Woodcock, J. and Davies, J. Using Z: Specification, Refinement, and Proof. Prentice Hall International, 1996.
13. Czarnecki, K. and Eisenecker, U, Generative Programming - Methods, Tools, and Applications. Addison-Wesley, June 2000.