DocumentCode
1624894
Title
OCL goes real-time
Author
Rammig, Franz J.
Author_Institution
Heinz Nixdorf Inst., Paderborn, Germany
fYear
2002
fDate
6/24/1905 12:00:00 AM
Firstpage
423
Lastpage
424
Abstract
OCL (Object Constraint Language) is becoming an important means to formulate formal specifications in the context of object-oriented software development. The question is whether this approach is appropriate for real-time systems as well. This question is discussed from the point of view of UML/OCL itself but also from an applications point of view
Keywords
formal specification; object-oriented languages; object-oriented programming; real-time systems; specification languages; OCL; Object Constraint Language; UML; Unified Modelling Language; formal specifications; object-oriented software development; real-time systems; Application software; Formal specifications; Formal verification; Logic; Object oriented modeling; Programming; Proposals; Real time systems; Software engineering; Unified modeling language;
fLanguage
English
Publisher
ieee
Conference_Titel
Object-Oriented Real-Time Distributed Computing, 2002. (ISORC 2002). Proceedings. Fifth IEEE International Symposium on
Conference_Location
Washington, DC
Print_ISBN
0-7695-1558-4
Type
conf
DOI
10.1109/ISORC.2002.1003809
Filename
1003809
Link To Document