You are here: TUCS > PUBLICATIONS > Publication Search > Towards Event-B Specification ...
Towards Event-B Specification Metrics
Marta Olszewska (Pląska), Kaisa Sere, Towards Event-B Specification Metrics. CS-TR No1187, 2010.
Abstract:
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.
BibTeX entry:
@TECHREPORT{tOlSe10a,
title = {Towards Event-B Specification Metrics},
author = {Olszewska (Pląska), Marta and Sere, Kaisa},
year = {2010},
keywords = {Event-B, specification metrics, size, direct measurements, quantitative measurements, Halstead model, complexity},
}
Belongs to TUCS Research Unit(s): Distributed Systems Laboratory (DS Lab)