A language for configuring multi-level specifications

DOI10.1016/j.tcs.2005.09.065zbMath1086.68081OpenAlexW2016018732MaRDI QIDQ820125

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 semanticsconfigurationspecification languagesformal languagessoftware engineering

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Architectural specifications in CASL
• Toward formal development of programs from algebraic specifications: Implementations revisited
• Model theory
• Detecting equivalence of modular specifications with categorical diagrams
• On local modularity and interpolation in entailment systems.
• Structured theories and institutions
• Presheaves as configured specifications

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