A rigorous approach for constructing self-evolving real-time reactive systems

Information and Software Technology

Volumn 45, Issue 11, 2003, Pages 743-761

  Alagar, V S ^a   Achuthan, R ^a   Haydar, M ^a   Muthiayen, D ^a   Ormandjieva, O ^a   Zheng, M ^a  

^a Dept of Electrical and Computer Engineering   (Canada)

Author keywords

Architecture model; Reuse repository; Self evolving system

Indexed keywords

COMPUTER SIMULATION; OBJECT ORIENTED PROGRAMMING; REAL TIME SYSTEMS;

SELF-EVOLVING SYSTEMS;

INFORMATION TECHNOLOGY;

EID: 0042889380     PISSN: 09505849     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0950-5849(03)00070-3     Document Type: Conference Paper

References (14)

1. V.S. Alagar, R. Achuthan, D. Muthiayen, TROMLAB: a software development environment for real-time reactive systems, Technical Report, Concordia University, Montreal, Canada, April 2001.
2. R. Achuthan, A formal model for object-oriented development of real-time reactive systems, PhD Thesis, Concordia University, Montreal, Canada, October 1995.
3. J. Bieman, Deriving measures of software reuse in object oriented systems. Proceedings of the BCS-FACS Workshop on Formal Aspects of Measurement London, South Bank University, London, May 1991.
4. Guttag J., Horning J., Garland S., Jones J., Modet A., Wing J. Larch: Languages and Tools for Formal Specification. 1993;Springer, New York.
5. C. Dellarocas, M. Klien, H. Shrobe, An architecture for constructing self-evolving software systems, Proceedings of the Third International Software Architecture Workshop, Orlando, FL, November 1998.
6. J. Kramer, J. Magee, Analysing dynamic change in software architectures: a case study, Proceedings of the Fourth International Conference on Configurable Distributed Systems, Annapolis, May 1998.
7. Kramer J., Magee J. The evolving philosophers problem: dynamic change management. IEEE Trans. Software Engng. 16:(11):1990;1293-1306.
8. D. Muthiayen, Real-time reactive system development: a formal approach based on UML and PVS, PhD Thesis, Department of Computer Science, Concordia University, Montreal, Canada, January 2000.
9. R. Nagarajan, VISTA: a visual interface for software reuse in TROMLAB environment, Master's Thesis, Department of Computer Science, Concordia University, Montreal, Canada, April 1999.
10. Oreizy P., Gorlick M., Taylor R.N., Heimbigner D., Johnson G., Medvidovic N., Quuilici A., Rosenblum D., Wolf A.L. An architecture-based approach to self-adaptive software. IEEE Intell. Syst. 1999;54-62.
11. O. Ormandjieva, Quality measurement for real-time reactive systems, PhD Thesis, Department of Computer Science, Concordia University, Montreal, Canada, 2002.
12. F. Pompeo, A verification assistant for TROMLAB environment, MS Thesis, Department of Computer Science, Concordia University, September 1999.
13. O. Popistas, Rose-GRC translator: mapping UML visual models onto formal specifications, MS Thesis, Department of Computer Science, Concordia University, April 1999.
14. M. Zheng, Automated generation of test suits from formal specifications of real-time reactive systems, PhD Thesis, Department of Computer Science, Concordia University, Montreal, Canada, 2002.