A language for configuring multi-level specifications

DOI10.1016/J.TCS.2005.09.065zbMATH Open1086.68081OpenAlexW2016018732MaRDI QIDQ820125FDOQ820125

Authors Gillian Hill, Steven Vickers 

Publication date 6 April 2006

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL http://pure-oai.bham.ac.uk/ws/files/2919627/Vickers_TCS_2006.pdf

zbMATH Keywords

formal languagesformal semanticsspecification languagesconfigurationsoftware engineering

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Semantics in the theory of computing (68Q55)

Recommendations

• Algebraic Methodology and Software Technology
• Presheaves as configured specifications
• Publication:4732088
• scientific article; zbMATH DE number 1522144
• scientific article; zbMATH DE number 1525070

Cites Work

• scientific article; zbMATH DE number 3888893 (Why is no real title available?)
• scientific article; zbMATH DE number 3864486 (Why is no real title available?)
• scientific article; zbMATH DE number 3878342 (Why is no real title available?)
• scientific article; zbMATH DE number 3714904 (Why is no real title available?)
• scientific article; zbMATH DE number 44486 (Why is no real title available?)
• scientific article; zbMATH DE number 860049 (Why is no real title available?)
• Architectural specifications in CASL
• Detecting equivalence of modular specifications with categorical diagrams
• Model theory
• On local modularity and interpolation in entailment systems.
• Presheaves as configured specifications
• Structured theories and institutions
• Toward formal development of programs from algebraic specifications: Implementations revisited

Cited In (4)

• Presheaves as configured specifications
• Title not available (Why is no real title available?)
• Algebraic Methodology and Software Technology
• Relating CASL with other specification languages: the institution level.

This page was built for publication: A language for configuring multi-level specifications

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q820125)