Specifying Software Architectures Using a Formal-Based Approach (2008)
Copyright © 2008, IEEE Computer Society
Specifying Software Architectures Using a Formal-Based Approach (2008)
Copyright © 2008, IEEE Computer Society
Template-based construction of verified software (2005)
The use of formal verification to prove the correctness of software is increasingly being mandated by international standards for the development of safety critical systems. While formal development...
Developing logic programs from specifications using stepwise refinement (2004)
Colvin, R, Groves, L, Hayed, IJ, Hemer, D, Nickson, R, Strooper, P
In this paper we demonstrate a refinement calculus for logic programs, which is a framework for developing logic programs from specifications. The paper is written in a tutorial-style, using a...
Refinement of higher-order logic programs (2003)
Colvin, R, Hayes, I, Hemer, D, Strooper, P
A refinement calculus provides a method for transforming specifications to executable code, maintaining the correctness of the code with respect to its specification. In this paper we extend the...
Translating Refined Logic Programs to Mercury (2002)
R. Colvin, I. Hayest, D. Hemer, P. Strooper
A refinement calculus provides a method for transforming specifications to executable code, maintaining the correctness of the code with respect to its specification. In this paper we investigate the...
A refinement calculus for logic programs (2002)
Hayes, I, Colvin, R, Hemer, D, Strooper, P, Nickson, R
Existing refinement calculi provide frameworks for the stepwise development of imperative programs from specifications. This paper presents a refinement calculus for deriving logic programs. The...
A refinement calculus for logic programs
Hayes, I, Colvin, R, Hemer, D, Strooper, P, Nickson, R
Existing refinement calculi provide frameworks for the stepwise development of imperative programs from specifications. This paper presents a refinement calculus for deriving logic programs. The...
Refinement of higher-order logic programs
Colvin, R, Hayes, I, Hemer, D, Strooper, P
A refinement calculus provides a method for transforming specifications to executable code, maintaining the correctness of the code with respect to its specification. In this paper we extend the...
Developing logic programs from specifications using stepwise refinement
Colvin, R, Groves, L, Hayed, IJ, Hemer, D, Nickson, R, Strooper, P
In this paper we demonstrate a refinement calculus for logic programs, which is a framework for developing logic programs from specifications. The paper is written in a tutorial-style, using a...