Loading...
| Friend's email | |
| Your name | |
| Your email | |
| enter code | |
This page was sent successfuly
A survey of syntax and semantics frameworks of modeling languages
Kamandi, A ; Sharif University of Technology
439
Viewed
- Type of Document: Article
- DOI: 10.1109/CSA.2009.5404220
- Abstract:
- Modeling languages as programming languages need precise and unambiguous semantics to be used appropriately, the formal semantics is significant for designing CASE tools and model verification. Several approaches have been used throughout these years to describe the semantics of modeling languages, but in spite of programming languages, these semantics frameworks are not used in large scale for modeling languages. This paper reviews the history of developments on semantics frameworks for modeling languages. © 2009 IEEE
- Keywords:
- Formal semantics ; Model verification ; Modeling languages ; Semantics framework ; Computer science ; Formal methods ; Semantics ; Computer programming languages
- Source: Proceedings of the 2009 2nd International Conference on Computer Science and Its Applications, CSA 2009 ; 2009 ; 9781424449460 (ISBN)
- URL: http://ieeexplore.ieee.org/document/5404220