Article

Algebraic Specification Languages: An Overview

Author:

Selected papers from the 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop on Recent Trends in Data Type Specification

Pages 81 - 115

Published: 30 May 1994 Publication History

Abstract

No abstract available.

Cited By

View all

Bauer SHennicker RWirsing M(2010)Building a modal interface theory for concurrency and dataProceedings of the 20th international conference on Recent Trends in Algebraic Development Techniques10.1007/978-3-642-28412-0_1(1-12)Online publication date: 1-Jul-2010
https://dl.acm.org/doi/10.1007/978-3-642-28412-0_1
Eckstein SAhlbrecht PNeumann K(2001)Techniques and language constructs for developing generic informations systemsACM SIGSOFT Software Engineering Notes10.1145/379377.37527926:3(145-154)Online publication date: 1-May-2001
https://dl.acm.org/doi/10.1145/379377.375279
Eckstein SAhlbrecht PNeumann KBassett P(2001)Techniques and language constructs for developing generic informations systemsProceedings of the 2001 symposium on Software reusability: putting software reuse in context10.1145/375212.375279(145-154)Online publication date: 18-May-2001
https://dl.acm.org/doi/10.1145/375212.375279

Algebraic Specification Languages: An Overview
1. Theory of computation
  1. Formal languages and automata theory
    1. Formalisms
  2. Semantics and reasoning
    1. Program reasoning

Recommendations

Operational specification languages
ACM '83: Proceedings of the 1983 annual conference on Computers : Extending the human resource

The “operational approach” to software development is based on separation of problem-oriented and implementation-oriented concerns, and features executable specifications and transformational implementation. “Operational specification languages” are ...
A declarative specification and semantics for visual languages

A key issue in visual languages is the specification of the relationship between pictures and their meaning. To do this, we introduce a class of declarative, constraint-based picture specification languages. These extend previous approaches to picture ...
Informal and Formal Requirements Specification Languages: Bridging the Gap

The differences between informal and formal requirements specification languages are noted, and the issue of bridging the gap between them is discussed. Using structured analysis (SA) and the Vienna development method (VDM) as surrogates for informal ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

Selected papers from the 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop on Recent Trends in Data Type Specification

May 1994

613 pages

ISBN:354059132X

Publisher

Springer-Verlag

Berlin, Heidelberg

Publication History

Published: 30 May 1994

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

3
Total Citations
View Citations
0
Total Downloads

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

Reflects downloads up to 19 Feb 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Bauer SHennicker RWirsing M(2010)Building a modal interface theory for concurrency and dataProceedings of the 20th international conference on Recent Trends in Algebraic Development Techniques10.1007/978-3-642-28412-0_1(1-12)Online publication date: 1-Jul-2010
https://dl.acm.org/doi/10.1007/978-3-642-28412-0_1
Eckstein SAhlbrecht PNeumann K(2001)Techniques and language constructs for developing generic informations systemsACM SIGSOFT Software Engineering Notes10.1145/379377.37527926:3(145-154)Online publication date: 1-May-2001
https://dl.acm.org/doi/10.1145/379377.375279
Eckstein SAhlbrecht PNeumann KBassett P(2001)Techniques and language constructs for developing generic informations systemsProceedings of the 2001 symposium on Software reusability: putting software reuse in context10.1145/375212.375279(145-154)Online publication date: 18-May-2001
https://dl.acm.org/doi/10.1145/375212.375279

Abstract

Cited By

Recommendations

Operational specification languages

A declarative specification and semantics for visual languages

Informal and Formal Requirements Specification Languages: Bridging the Gap

Comments

Information

Published In

Publisher

Publication History

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

Share

Share this Publication link

Share on social media

Affiliations