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

Recommendations

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

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)

Cites Work

• Model theory
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Toward formal development of programs from algebraic specifications: Implementations revisited
• Title not available (Why is that?)
• Title not available (Why is that?)
• Architectural specifications in CASL
• Detecting equivalence of modular specifications with categorical diagrams
• On local modularity and interpolation in entailment systems.
• Structured theories and institutions
• Presheaves as configured specifications

Cited In (4)

• Presheaves as configured specifications
• Title not available (Why is that?)
• 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)