On the application of a popular notation to semantics
Abstract
No abstract available.
References
[1]
Schmidt, D. A.: "On the Need for a Popular Formal Semantics" ACM SIGPLAN Notices, Vol. 32, No. 1 (January 1997) pp 115--116 and also ACM Computing Surveys Vol. 28, No. 4es (Dec. 1996), Pages 175-es{http://www.acm.org/pubs/citations/journals/surveys/1996-28-4es/a175-schmidt/}
[2]
Botting, R.: Samples of Formal Documentation, http://www.csci.csusb.edu/dick/samples/index.html
[3]
Ciapessoni, E., Coen-Porisini, A., Crivelli, E., Mandrioli, D., Mirandola, P., Morzenti, A.: "From Formal Models to Formally Based Methods: An Industrial Experience, ACM T0SEM, Vol. 8, No. 1 (January 1999) pp 79--113
Index Terms
- On the application of a popular notation to semantics
Index terms have been assigned to the content through auto-classification.
Recommendations
On the semantics of unified modeling language diagrams using Z notation
Intelligent TechnologiesAs a step toward the precise semantics of Unified Modeling Language (UML), this article uses the Z notation to develop formal specifications for two important parts of UML, i.e., class diagrams and sequence diagrams, and to formulate an appropriate ...
A model-based formalization of the textual notation for SDL-UML
SDL'11: Proceedings of the 15th international conference on Integrating System and Software ModelingThe Specification and Description Language (SDL) is a domain specific language that is well-established in the telecommunication sector since many years, but only a small set of SDL tools is available. In contrast, for the Unified Modeling Language (UML)...
Comments
Information & Contributors
Information
Published In
Copyright © 1999 Author.
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 01 June 1999
Published in SIGPLAN Volume 34, Issue 6
Check for updates
Qualifiers
- Article
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 135Total Downloads
- Downloads (Last 12 months)18
- Downloads (Last 6 weeks)6
Reflects downloads up to 12 Sep 2024
Other Metrics
Citations
View Options
Get Access
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in