DocumentCode
2077690
Title
Umple: a model-oriented programming language
Author
Badreddin, Omar
Author_Institution
SITE, Univ. of Ottawa, Ottawa, ON, Canada
Volume
2
fYear
2010
fDate
2-8 May 2010
Firstpage
337
Lastpage
338
Abstract
Our research tool, Umple, has the objective of raising the abstraction level of programming languages by including modeling abstractions such as UML associations, attributes and state machines. My research focuses on the syntax and semantics of state machines in Umple and the empirical validation of Umple as a whole.
Keywords
finite state machines; program verification; programming languages; UML association; Umple; abstraction level; model-oriented programming language; modeling abstraction; programming language; state machine; Encoding; Programming; Semantics; Software; Syntactics; Unified modeling language;
fLanguage
English
Publisher
ieee
Conference_Titel
Software Engineering, 2010 ACM/IEEE 32nd International Conference on
Conference_Location
Cape Town
ISSN
0270-5257
Print_ISBN
978-1-60558-719-6
Type
conf
DOI
10.1145/1810295.1810381
Filename
6062203
Link To Document