6th Refinement Workshop - Workshops in Computing
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer London

9783540198864, 9781447132400

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Co-Refinement

6th Refinement Workshop - Workshops in Computing ◽

10.1007/978-1-4471-3240-0_8 ◽

1994 ◽

pp. 151-166

Author(s):

Mike Ainsworth ◽

Peter J. L. Wallis

Download Full-text

Deriving language recognition algorithms: A case study in combining program specialisation and data refinement

6th Refinement Workshop - Workshops in Computing ◽

10.1007/978-1-4471-3240-0_6 ◽

1994 ◽

pp. 103-120 ◽

Cited By ~ 1

Author(s):

Lindsay Groves

Keyword(s):

Language Recognition ◽

Data Refinement ◽

Recognition Algorithms ◽

Program Specialisation

Download Full-text

Program Refinement by Theorem Prover

6th Refinement Workshop - Workshops in Computing ◽

10.1007/978-1-4471-3240-0_7 ◽

1994 ◽

pp. 121-150 ◽

Cited By ~ 11

Author(s):

J. von Wright

Keyword(s):

Theorem Prover

Download Full-text

Formal Semantics for Ward & Mellor’s Transformation Schemas

6th Refinement Workshop - Workshops in Computing ◽

10.1007/978-1-4471-3240-0_2 ◽

1994 ◽

pp. 14-41 ◽

Cited By ~ 5

Author(s):

Carsta Petersohn ◽

Willem-Paul de Roever ◽

Cornelis Huizing ◽

Jan Peleska

Keyword(s):

Formal Semantics

Download Full-text

Proof Obligations for Real-Time Refinement

6th Refinement Workshop - Workshops in Computing ◽

10.1007/978-1-4471-3240-0_15 ◽

1994 ◽

pp. 279-305 ◽

Cited By ~ 6

Author(s):

Colin Fidge

Keyword(s):

Real Time

Download Full-text

Metavariables and Conditional Refinements in the Refinement Calculus

6th Refinement Workshop - Workshops in Computing ◽

10.1007/978-1-4471-3240-0_9 ◽

1994 ◽

pp. 167-187 ◽

Cited By ~ 2

Author(s):

Raymond G. Nickson ◽

Lindsay J. Groves

Keyword(s):

Refinement Calculus

Download Full-text

Formal Development of Authentication Protocols

6th Refinement Workshop - Workshops in Computing ◽

10.1007/978-1-4471-3240-0_5 ◽

1994 ◽

pp. 80-102 ◽

Cited By ~ 12

Author(s):

Pierre Bieber ◽

Nora Boulahia-Cuppens

Keyword(s):

Authentication Protocols ◽

Formal Development

Download Full-text

Testing and Safety Analysis of AM (Abstract Machine) Specifications

6th Refinement Workshop - Workshops in Computing ◽

10.1007/978-1-4471-3240-0_4 ◽

1994 ◽

pp. 69-79 ◽

Cited By ~ 1

Author(s):

H. P. Haughton ◽

K. Lano

Keyword(s):

Safety Analysis ◽

Abstract Machine

Download Full-text

Improving the Process of System Specification and Refinement in B

6th Refinement Workshop - Workshops in Computing ◽

10.1007/978-1-4471-3240-0_3 ◽

1994 ◽

pp. 45-68 ◽

Cited By ~ 3

Author(s):

K. Lano ◽

H. Haughton

Keyword(s):

System Specification

Download Full-text

Machine Code Programs are Predicates Too

6th Refinement Workshop - Workshops in Computing ◽

10.1007/978-1-4471-3240-0_10 ◽

1994 ◽

pp. 188-204 ◽

Cited By ~ 8

Author(s):

Theodore S. Norvell

Keyword(s):

Machine Code

Download Full-text

6th Refinement Workshop - Workshops in ComputingLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer London

Co-Refinement

Deriving language recognition algorithms: A case study in combining program specialisation and data refinement

Program Refinement by Theorem Prover

Formal Semantics for Ward & Mellor’s Transformation Schemas

Proof Obligations for Real-Time Refinement

Metavariables and Conditional Refinements in the Refinement Calculus

Formal Development of Authentication Protocols

Testing and Safety Analysis of AM (Abstract Machine) Specifications

Improving the Process of System Specification and Refinement in B

Machine Code Programs are Predicates Too

6th Refinement Workshop - Workshops in Computing
Latest Publications