title: Towards Event-B Specification Metrics
creator: Olszewska, Marta
creator: Sere, Kaisa
subject: Space
subject: Other
subject: Rodin plug-ins
description: In this paper we describe our ongoing research on Event-B specification metrics. We focus on the physical features of specification, such as its vocabulary or length for the Event-B machines. We base our metrics on the syntactic properties of the Event-B language, namely operators and operands that we consider meaningful for our measurement model. Presented metrics are applied for a number of Event-B machines. Obtained results can be analysed in a perspective of an abstract machine and its refinements.
date: 2010-01
type: Conference or Workshop Item
type: PeerReviewed
format: application/pdf
identifier: http://deploy-eprints.ecs.soton.ac.uk/250/1/Towards_Event-B_Specification_Metrics.pdf
relation: http://deploy-eprints.ecs.soton.ac.uk/198/1/DTW_2009.pdf
identifier:   Olszewska, Marta and Sere, Kaisa  (2010) Towards Event-B Specification Metrics.  In: First Deploy Technical Workshop, 21-23 October 2009, Aix-en-Provence, France.     
relation: http://deploy-eprints.ecs.soton.ac.uk/250/

<script src='//archive-bar.soton.ac.uk/archive-bar.js'></script>