Manipulating algebraic specifications with term-based and graph-based representations

DOI10.1016/j.jlap.2003.12.001zbMath1068.68084OpenAlexW2052322132MaRDI QIDQ1885933

Christophe Ringeissen, David Déharbe, Gleydson Lima, Anamaria Martins Moreira

Publication date: 12 November 2004

Published in: The Journal of Logic and Algebraic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jlap.2003.12.001

zbMATH Keywords

Software engineeringCASLFormal specificationAlgebraic specificationSoftware reuseELANInterchange formatTool inter-operability

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Uses Software

• HasCasl
• LARCH
• ELAN
• CASL
• ATERM
• MAYA
• Z
• ASF+SDF

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Toward formal development of programs from algebraic specifications: Parameterisation revisited
• Rewriting logic: Roadmap and bibliography
• CASL: the Common Algebraic Specification Language.
• Relating CASL with other specification languages: the institution level.
• HasCasl: Towards Integrated Specification and Development of Functional Programs
• Module algebra
• The B-Book
• Evolving object-oriented designs with refactorings

This page was built for publication: Manipulating algebraic specifications with term-based and graph-based representations