Podgorelec V(2010)Assessing the current state of software evolution and intellectual energy spentProceedings of the Workshop on Advances in Functional Size Measurement and Effort Estimation10.1145/1921705.1921709(1-8)Online publication date: 21-Jun-2010
https://dl.acm.org/doi/10.1145/1921705.1921709
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

Recommendations

Structured formal specifications
Debugging formal specifications: a practical approach using model-based diagnosis and counterstrategies

Creating a formal specification for a design is an error-prone process. At the same time, debugging incorrect specifications is difficult and time consuming. In this work, we propose a debugging method for formal specifications that does not require an ...
Generating Maude formal specifications from AUML diagrams
Selected papers from the International Conference on Computer Science, Software Engineering, Information Technology, e-Business, and Applications, 2004

In this paper, we present a formal and systematic approach allowing translating the specification of the interactions between agents, described using AUML formalism, in a Maude specification. Based on rewriting logic, the formal and object-oriented ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

ACM SIGPLAN Notices Volume 34, Issue 6

June 1999

70 pages

ISSN:0362-1340

EISSN:1558-1160

DOI:10.1145/606666

Issue’s Table of Contents

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

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

2
Total Citations
View Citations
158
Total Downloads

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

Reflects downloads up to 20 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Podgorelec V(2010)Assessing the current state of software evolution and intellectual energy spentProceedings of the Workshop on Advances in Functional Size Measurement and Effort Estimation10.1145/1921705.1921709(1-8)Online publication date: 21-Jun-2010
https://dl.acm.org/doi/10.1145/1921705.1921709
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

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Login options

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

Abstract

References

Cited By

Recommendations

Structured formal specifications

Debugging formal specifications: a practical approach using model-based diagnosis and counterstrategies

Generating Maude formal specifications from AUML diagrams

Comments

Information

Published In

Publisher

Publication History

Check for updates

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

PDF

eReader

Login options

Full Access

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations