article

Measuring the comprehensibility of Z specifications

Authors:

Kate Finney,

Keith Rennolls,

Alex FedorecAuthors Info & Claims

Journal of Systems and Software, Volume 42, Issue 1

Pages 3 - 15

https://doi.org/10.1016/S0164-1212(98)00003-X

Published: 01 July 1998 Publication History

Abstract

No abstract available.

Cited By

View all

Bernrdez BDurn AParejo JRuizCorts A(2018)An experimental replication on the effect of the practice of mindfulness in conceptual modeling performanceJournal of Systems and Software10.1016/j.jss.2016.06.104136:C(153-172)Online publication date: 1-Feb-2018
https://dl.acm.org/doi/10.1016/j.jss.2016.06.104
Bollin ARauner-Reithmayer DGnesi SPlat N(2014)Formal specification comprehension: the art of reading and writing zProceedings of the 2nd FME Workshop on Formal Methods in Software Engineering10.1145/2593489.2593491(3-9)Online publication date: 3-Jun-2014
https://dl.acm.org/doi/10.1145/2593489.2593491
Wu FYi T(2004)Measuring Z specificationsACM SIGSOFT Software Engineering Notes10.1145/1022494.102252129:5(1-5)Online publication date: 1-Sep-2004
https://dl.acm.org/doi/10.1145/1022494.1022521
Show More Cited By

Index Terms

Measuring the comprehensibility of Z specifications
1. Social and professional topics
  1. Professional topics
    1. Management of computing and information systems
      1. Software management
2. Software and its engineering
  1. Software creation and management
    1. Designing software
      1. Requirements analysis

Recommendations

Formalized structured analysis specifications
Protective Interface Specifications
Abstract.
The interface specification of a procedure describes the procedure's behaviour using pre- and postconditions. These pre- and postconditions are written using various functions. If some of these functions are partial, or underspecified, then the ...
Comparing formal specifications by measuring
RTCSA '95: Proceedings of the 2nd International Workshop on Real-Time Computing Systems and Applications

Teaching formal specification notations nowadays in regular software engineering courses presents more or less the same problems as teaching programming languages 15 years ago. Most software engineering students are practical. Issues of predicting code ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image Journal of Systems and Software

Journal of Systems and Software Volume 42, Issue 1

July 1, 1998

98 pages

ISSN:0164-1212

Editor:
Robert L. Glass
Computing Trends, Bloomington, IN

Issue’s Table of Contents

Publisher

Elsevier Science Inc.

United States

Publication History

Published: 01 July 1998

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

5
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 30 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Bernrdez BDurn AParejo JRuizCorts A(2018)An experimental replication on the effect of the practice of mindfulness in conceptual modeling performanceJournal of Systems and Software10.1016/j.jss.2016.06.104136:C(153-172)Online publication date: 1-Feb-2018
https://dl.acm.org/doi/10.1016/j.jss.2016.06.104
Bollin ARauner-Reithmayer DGnesi SPlat N(2014)Formal specification comprehension: the art of reading and writing zProceedings of the 2nd FME Workshop on Formal Methods in Software Engineering10.1145/2593489.2593491(3-9)Online publication date: 3-Jun-2014
https://dl.acm.org/doi/10.1145/2593489.2593491
Wu FYi T(2004)Measuring Z specificationsACM SIGSOFT Software Engineering Notes10.1145/1022494.102252129:5(1-5)Online publication date: 1-Sep-2004
https://dl.acm.org/doi/10.1145/1022494.1022521
Hoffman DStrooper P(2003)API documentation with executable examplesJournal of Systems and Software10.1016/S0164-1212(02)00055-966:2(143-156)Online publication date: 15-May-2003
https://dl.acm.org/doi/10.1016/S0164-1212%2802%2900055-9
NEARY DWOODWARD M(2002)An Experiment to Compare the Comprehensibility of Textual and Visual Forms of Algebraic SpecificationsJournal of Visual Languages and Computing10.1006/jvlc.2001.021313:2(149-175)Online publication date: 1-Apr-2002
https://dl.acm.org/doi/10.1006/jvlc.2001.0213

View Options

View options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Abstract

Cited By

Index Terms

Recommendations

Formalized structured analysis specifications

Protective Interface Specifications

Comparing formal specifications by measuring

Comments

Information

Published In

Publisher

Publication History

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

Login options

Full Access

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations