Space systems architecting using meta-languages

International Astronautical Federation - 56th International Astronautical Congress 2005

Volumn 8, Issue , 2005, Pages 5038-5051

  Simmons, Willard L ^a   Koo, Benjamin H Y ^a   Crawley, Edward F ^a  

^a MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ARCHITECTURAL DESIGN; ITERATIVE METHODS; LARGE SCALE SYSTEMS; MATHEMATICAL MODELS; SPACE SHUTTLES;

COMPLEX SPACE SYSTEMS; HEAVY-LIFT LAUNCH; META-LANGUAGES; SHUTTLE DERIVED VEHICLES (SDV);

SPACE RESEARCH;

EID: 34250828518     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (16)

1. Benjamin H. Y. Koo. A Meta-language for Systems Architecting. PhD thesis, Massachusetts Institute of Technology, Cambridge, MA, 2005.
2. C. Alexander. The Timeless Way of Building. Oxford University Press, New York, 1979.
3. C. Alexander. The Nature of Order: an essay on the art of building and the nature of the universe. Center for Environmental Structure, Berkely, California, 2004.
4. S. Mac Lane. Mathematics, form and function. Springer-Verlag, New York, 1986.
5. François Yergeau, Tim Bray, Jean Paoli, C. M. Sperberg-McQueen, and Eve Maler. Extensible Markup Language (XML) 1.0 (Third Edition). W3C Recommendation, W3C, 4th February 2004.
6. Patrick Cousot. Méthodes itératives de construction et d'approximation de point fixes d'opérateurs monotone sur un treilis, analyse sémantique des programmes. Thèse de Doctorates Science Mathématiques, Univ. of Grenoble, France, 1978.
7. P. Cousot. Abstract interpretation: Achievements and perspectives. In Proceedings of the SSGRR 2000 Computer & eBusiness International Conference, Compact disk paper 224 and electronic proceedings http://www.ssgrr.it/en/ssgrr2000/proceedings.htm, L'Aquila, Italy, July 31 - August 6 2000. Scuola Superiore G. Reiss Romoli.
8. OPN Home Page http://webobjects.mit.edu/OPN/.
9. Willard L. Simmons, Benjamin H. Y. Koo, and Edward F. Crawley. Architecture generation for Moon-Mars exploration using an executable meta-language. In Proceedings of AIAA Space 2005, 30 August - 1 September, Long Beach, CA, 2005.
10. Stuart J. Russell and Peter Norvig. Artificial Intelligence: A Modern Approach. Prentice Hall, 2nd edition, 2002.
11. Institute of Flight Mechanics and Control (IFR) of the University of Stuttgart. ASTOS/GESOP, http://www.astos.de.
12. Dov Dori. Object-Process Methodology. Springer, 2002.
13. OMG. Unified Modeling Language (UML), version 1.5, volume 1. Object Management Group, 2003.
14. Nam P. Suh. The Principles of Design. Oxford University Press, 1990.
15. Donald V. Steward. The design structure system: A method for managing the design of complex systems. IEEE Transactions on Engineering Management, 28:71-74, 1981.
16. Ralph-Johan Back. On the Correctness of Refinement Steps in Program Development. PhD thesis, University of Helsinki, 1978.