Industrial deployment of system engineering methods providing high dependability and productivity


Towards Event-B Specification Metrics

Olszewska, Marta and Sere, Kaisa (2010) Towards Event-B Specification Metrics. In: First Deploy Technical Workshop, 21-23 October 2009, Aix-en-Provence, France.

[img]PDF - Published Version

Official URL:


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.

Item Type:Conference or Workshop Item (Paper)
Subjects:Industrial Deployment > Space
Methodology > Other
Tool developments > Rodin plug-ins
ID Code:250
Deposited By:Ms Marta Olszewska
Deposited On:26 Oct 2010 07:06
Last Modified:26 Oct 2010 07:06

Repository Staff Only: item control page

Deploy-Project - All right reserved