Is a Picture worth a Thousand Words?: A Comparative Analysis of Using Textual and Graphical Approaches to Specify Use Cases
Abstract
References
Recommendations
Using the Base Semantics given by fUML for Verification
MODELSWARD 2014: Proceedings of the 2nd International Conference on Model-Driven Engineering and Software DevelopmentThe lack of formal foundations in the UML results in imprecise models, since UML defines the graphical notations and an abstract syntax for them, but not their formal semantics. Semantics for the key parts of activities and classes is defined by the ...
A New Approach for Generating LOTOS Specifications from UML Dynamic Models
C3S2E '15: Proceedings of the Eighth International C* Conference on Computer Science & Software EngineeringThe use of UML Statechart and Communication diagrams for modeling dynamic behaviors of systems is very widespread. UML diagrams support developers by means of visual conceptual illustrations. However, the lacks of firm semantics for these diagrams make ...
Formalizing the Semantics of UML Statecharts with Z*
CIT '04: Proceedings of the The Fourth International Conference on Computer and Information TechnologyUML is a semi-formal laguage, with a precisely defined syntax and static semantics but with an only informally specified dynamic semantics. UML statechart diagrams are a notation for describing behaviors in the framework of UML. UML statechart diagrams ...
Comments
Information & Contributors
Information
Published In
![cover image ACM Other conferences](/cms/asset/1188037e-60f4-4022-9205-13abcbf4e377/2973839.cover.jpg)
In-Cooperation
- SBC: Brazilian Computer Society
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Check for updates
Author Tags
Qualifiers
- Research-article
- Research
- Refereed limited
Funding Sources
Conference
Acceptance Rates
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 165Total Downloads
- Downloads (Last 12 months)1
- Downloads (Last 6 weeks)0
Other Metrics
Citations
Cited By
View allView Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in