Cited By
View all- Sneed HSeidl RBaumgartner MSneed HSeidl RBaumgartner M(2011)Software in Zahlen10.3139/9783446424487.bm(329-357)Online publication date: 23-Aug-2011
Abstract
This paper explains the use of α - metrics in analysing and comparison of various formal specification languages.
References
[1]
1. Abrial, JR, Borger, E., Langmaack H. (1996) (Eds.) Formal Methods for Industrial Applications, Lecture Notes in Computer Science 1165.
[2]
2. Kokol, P., Brest, J., Zumer, V. (1997) Long-range correlations in computer programs. Cybernetics and systems, 28(1), 43-57.
[3]
3. Kokol, P., Podgorelec, V., Brest, J. A wishful complexity metric. In: COOMBES, H. (Ed.). The European Software Measurement Conference FESMA 98, Antwerpen, Belgium, May 6-8, 1998. Business improvement through software measurement: {proceedings}. Antwerpen: Technologisch Institut, pp. 235-246.
[4]
4. KOKOL, P., BREST, J., ZORMAN, M., PODGORELEC, V (1998) Integration of complexity metrics with the use of decision trees. Softw. eng. notes, January 1998, 23(1), pp.r. 56-58.
Index Terms
- Measuring formal specification with α-metric
Recommendations
Formal Specification of User Interfaces: A Comparison and Evaluation of Four Axiomatic Approaches
Annals of discrete mathematics, 24Few examples of formal specification of the semantics of user interfaces exist in the literature. This paper presents a comparison of four axiomatic approaches which we have applied to the specification of a commercial user interface-the line editor for ...
Formal Specification Generation from Requirement Documents
Automatic generation of formal specifications from requirement reduces cost and complexity of formal models creation. Thus, the generated formal model brings the possibility to carry out system property verification. This paper proposes a Controlled ...
Comments
Please enable JavaScript to view thecomments powered by Disqus.Information & Contributors
Information
Published In
Copyright © 1999 Copyright is held by the owner/author(s).
Permission to make digital or hard copies of part or all of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for third-party components of this work must be honored. For all other uses, contact the Owner/Author.
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 01 January 1999
Published in SIGSOFT Volume 24, Issue 1
Check for updates
Qualifiers
- Article
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- View Citations1Total Citations
- 36Total Downloads
- Downloads (Last 12 months)23
- Downloads (Last 6 weeks)5
Reflects downloads up to 20 Dec 2024
Other Metrics
Citations
Cited By
View all- Sneed HSeidl RBaumgartner MSneed HSeidl RBaumgartner M(2011)Software in Zahlen10.3139/9783446424487.bm(329-357)Online publication date: 23-Aug-2011
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in