A practical approach to the modelling, visualising and executing of reactive systems

Proceedings of the International Conference on Mixed Design of Integrated Circuits and Systems, MIXDES 2006

Volumn , Issue , 2006, Pages 705-710

  Kostrzewa, M ^a   KuLakowski K ^a  

^a AGH UNIVERSITY OF SCIENCE AND TECHNOLOGY   (Poland)

Author keywords

Executable modeling; Reactive systems; Real time java; Verification

Indexed keywords

JAVA PROGRAMMING LANGUAGE; MATHEMATICAL MODELS; RAPID PROTOTYPING; REAL TIME SYSTEMS; USABILITY ENGINEERING; VERIFICATION;

CRUCIAL QUALITY ASPECT; EXECUTABLE MODELING; REACTIVE SYSTEMS; REAL TIME JAVA;

SOFTWARE RELIABILITY;

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

References (14)

1. International Standard ISO/IEC 9126-1. Software engineering-product quality-part 1: Quality model. Technical report, International Organization for Standardization/International Electrotechnical Commission Geneva, 2001.
2. aicas GmbH, Haid-und-Neu-Strasse 18, 76131 Karlsruhe, Germany. JamaicaVM - User Documentation.
3. Object Management Group. Xml metadata interchange version 1.3. Technical report, OMG, 2003.
4. N. Halbwachs. Synchronous programming of reactive systems. Kluwer Academic Pub., 1993.
5. D. Harel and A. Pnueli. On the development of reactive systems. In Logic and Models of Concurrent Systems. Springer Verlag, 1985.
6. J. Juran and F. Gryna. Quality Planning and Analysis. New-York. McGraw-Hill, 2nded. edition, 1980.
7. S.H. Kan. Metrics and Models in Software Quality Engineering. Addison-Wesley Longman Publishing Co., Inc., Boston, MA, USA, 2002.
8. B. Kitchenham and S. L. Pfleeger. Software quality: The elusive target. IEEE Software, 13(1): 12-21, 1996.
9. A. Kleppe, J. Warmer, and W. Bast. MDA Explained. The Model Driven Architecture: Practice and Promise. Addison-Wesley, 2003.
10. K. Kulakowski. Real time java, software platform for real time systems. In Piotr Gaja, editor, Systemy Czasu Rzeczywistego, Projektowanie i Aplikacje, volume 2 of SCR'05, pages 143-152. WKL, 2005.
11. Z. Manna and A. Pnueli. Temporal Verification of Reactive Systems: Safety. Springer, 1995.
12. A. Sulistyo and W. Najib. Executable uml. Technical report, Agder University College, 2002. Norway.
13. T Szmuc. Modele i Metody Inzynierii Oprogramowania Systemów Czasu Rzeczywistego. Uczelniane Wydawnictwa Naukowo-Dydaktyczne, AGH, 2001.
14. N. Yustinova. Abstractions and static analysis for verifying reactive systems. Technical report, Amsterdam: CWI, 2004.