Experiences and lessons learned using UML-RT to develop embedded printer software

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2559, Issue , 2002, Pages 475-484

  Dohmen, L A J ^a   Somers, L J ^a,b  

^a OCÉ TECHNOLOGIES B V   (Netherlands)

^b EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

PRINTING PRESSES; PROCESS ENGINEERING;

DEVELOPMENT PROCESS; HARD REAL-TIME; SPECIFICATION AND VERIFICATION;

VERIFICATION;

EID: 84949991502     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-36209-6_39     Document Type: Conference Paper

References (5)

1. Ward, P.T, Mellor, S.J.: Structured Development for Real-Time Systems. Prentice-Hall/Yourdon Press (1985)
2. Selic, B., Gullekson, G., Ward, P.T.: Real-Time Object-Oriented Modeling. Wiley, New York (1994)
3. Selic, B.: Using UML for Modeling Complex Real-Time Systems. In: Mueller, F., Bestavros, A. (eds.): Languages, Compilers, and Tools for Embedded Systems. Lecture Notes in Computer Science, Vol. 1474. Springer-Verlag, Berlin Heidelberg New York (1998) 250-260
4. Lyons, A.: UML for Real-Time Overview. Rational Software Corporation (1998). http://www.rational.com/media/whitepapers/umlrt_overview.pdf
5. Harel, D.: Statecharts: A Visual Formalism for Complex Systems. Science of Computer Programming 8 (1987) 231-274