Formalizing the specification of model integrated program synthesis environments

IEEE Aerospace Conference Proceedings

Volumn 4, Issue , 2000, Pages 523-532

  Nordstrom, G ^a  

^a VANDERBILT UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER ARCHITECTURE; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SYSTEMS; LARGE SCALE SYSTEMS; MATHEMATICAL MODELS; SPECIFICATIONS;

COMPUTER-BASED SYSTEMS; METAMODEL; MODEL INTEGRATED COMPUTING; MODEL INTEGRATED PROGRAM SYNTHESIS; MULTIGRAPH ARCHITECTURE; UNIFIED MODELING LANGUAGE;

SOFTWARE ENGINEERING;

EID: 0034431819     PISSN: 1095323X     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (15)

1. Engineering of computer-based systems: An emerging discipline
2. MULTIGRAPH: An architecture for model-integrated computing
3. Increasing productivity at Saturn
4. Model-integrated on-line problem-solving environment for chemical engineering
5. A practical method for creating plant diagnostics applications
6. Online diagnostics makes manufacturing more robust (Part 1)
7. Model based intelligent process control for cogenerator plants
8. Architecture of intelligent medical instruments
9. Towards specification of program synthesis in model-integrated computing
10. A formal model for module interconnection languages
11. Metaprogrammable toolkit for model-integrated computing