@inproceedings{615d038a739147fbbe250305308edad2,
title = "Diagrammatic formal specification of a configuration control platform",
abstract = "This paper presents a diagrammatic logic framework that is suitable for use in formal specification and for reasoning about and refining formal software models. We take a case study style approach to presenting the framework by developing, in some detail, an abstract model for a transparent configuration control platform. The model is built up by stages, corresponding to separate concerns of configuration control. Each successive level is a refinement of the previous level. We discuss the possibilities for developing tools to support the use of the diagrammatic logic, including automated diagram drawing and reasoning procedures. Our wider goal is to make a formal specification easier for its clients to understand.",
keywords = "configuration control case-study, constraint diagrams, object-oriented formal specification, visual modeling, visual refinement",
author = "John Howse and Steve Schuman and Gem Stapleton and Ian Oliver",
year = "2009",
month = jan,
day = "1",
doi = "10.1016/j.entcs.2009.12.019",
language = "English",
volume = "259",
series = "Electronic Notes in Theoretical Computer Science (ENTCS)",
publisher = "Elsevier",
pages = "87--104",
booktitle = "Proceedings of the 14th BCS-FACS Refinement Workshop (REFINE 2009)",
note = "Proceedings of the 14th BCS-FACS Refinement Workshop (REFINE 2009) ; Conference date: 01-01-2009",
}