Model-integrated program synthesis environment

Proceedings - IEEE Symposium and Workshop on Engineering of Computer-Based Systems, ECBS 1996

Volumn , Issue , 1996, Pages 348-355

  Sztipanovits, J ^a   Karsai, G ^a   Franke, H ^b  

^a VANDERBILT UNIVERSITY   (United States)

^b IBM   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SCIENCE; COMPUTERS; ENGINEERING; INDUSTRIAL ENGINEERING;

APPLICATION-SPECIFIC MODEL; COMPUTER-BASED SYSTEM; MODEL INTERPRETER; MODEL-INTEGRATED PROGRAM SYNTHESIS; MULTIGRAPH ARCHITECTURE; SOFTWARE APPLICATIONS; SPECIFIC COMPONENT; STATIC AND DYNAMIC ANALYSIS;

APPLICATION PROGRAMS;

EID: 85013602033     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ECBS.1996.494548     Document Type: Conference Paper

References (17)

1. Michael Jackson: "The World and the Machine," Proc. of the 17th International Conference on Software Engineering, pp. 283-292, Seattle, WA. April 23-30, 1995.
2. Abbott, B., Bapty, T., Biegl, C, Karsai, G., Sztipanovits, J.: "Model-Based Approach for Software Synthesis," IEEE Software, pp. 42-53, May, 1993.
3. Sztipanovits, J., Wilkes, D., Karsai, G., Biegl, C, Lynd, L: "The Multigraph and Structural Adaptivity," IEEE Transactions on Signal Processing, Vol. 41, No. 8., pp. 2695-2716,1993.
4. Karsai, G., Sztipanovits, Padalkar, S., Biegl, C, J., Okuda, K., Miyasaka, N: "Model-Based Intelligent Process Control for Cogenerator Plants," Journal of Parallel and Distributed Computing, Vol. 15, No. 6, pp. 90-102
5. Karsai, G.: "A Visual Programming Environment for Domain Specific MerModel-Based Programming," IEEE Computer, pp. 36-44 March 1995.
6. Childers, C.A., Apon, A.W., Hooper, W.H., Gordon, K.D., Dowdy, L.W.: "The Multigraph Modeling Tool", Proc. of the 7th International Conference on Parallel and Distributed Systems, Las Vegas, Nevada, October 5-8, 1994.
7. Carnes, R.J., Misra, A., Sztipanovits, J.: "Model-Integrated Toolset for Fault-Detection, Isolation and Recovery (FDIR)", in this proceedings
8. Karsai, G., Sztipanovits, J., Franke, H., Padalkar, S., Decaria, F: "Model-Embedded Problem Solving Environment for Chemical Engineering," Proc. of IEEE IECCS'95, pp. 227-234, Florida, 1995.
9. Harel, D.: "Biting the Silver Bullet," IEEE Computer, pp. 8-20, January, 1992.
10. Booch, G.: Object Oriented Analysis and Design with Applications, Benjamin/Cummings, 1994.
11. Harel, D., etal.: "STATEMATE A Working Environment for the Development of Complex Reactive Systems'" IEEE Trans, on Software Engineering, April 1990, Vol. XVI, No. 4.
12. Shaw, M.: "Comaparing Architectural Design Styles," IEEE Software, pp. 27-41, November, 1995.
13. Luckham, D.C., Vera, J.: "An Event-Based Architecture Definition Language," IEEE Trans, on Software Engineering, Vol. 21, No. 9., pp. 717-734, September, 1995.
14. Binns P., Englehart, M., Jackson, M., Vestal, S.: "Domain-Specific Software Architectures for Guidance, Navigation and Control," International Journal of Software Engineering and Knowledge Engineering, to appear in 1995.
15. Gertz, M. W., Stewart, D.B., Khosla P.K.: "A Human-Machine Interface for Distributed Virtual Laboratories," IEEE Robotics and Automation Magazine, December, 1994.
16. Misra, A., Sztipanovits, J., Underbrink, A., Carnes, R., Purves, B.:"Diagnosability of Dynamical Systems," Proc. of the Third International Workshop on Principles of Diagnosis, pp. 239-244, Rosario, WA 1992.
17. Ledeczi, A., Bapty, T., Karsai, G., Sztipanovits, J.: "Modeling Paradigm for Parallel Signal Processing," The Australian Computer Journal, vol. 27, No.3, pp. 92-102, August, 1995.