creators_name: Olszewska, Marta creators_name: Sere, Kaisa creators_id: mplaska@abo.fi creators_id: Kaisa.Sere@abo.fi type: conference_item datestamp: 2010-10-26 06:06:20 lastmod: 2010-10-26 06:06:20 metadata_visibility: show title: Towards Event-B Specification Metrics ispublished: pub subjects: deploy_industrial_space subjects: deploy_method_other subjects: deploy_tooldev_rodinplugins full_text_status: public pres_type: paper 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. date: 2010-01 date_type: published pagerange: 81-86 event_title: First Deploy Technical Workshop event_location: Aix-en-Provence, France event_dates: 21-23 October 2009 event_type: workshop refereed: TRUE official_url: http://deploy-eprints.ecs.soton.ac.uk/198/1/DTW_2009.pdf citation: Olszewska, Marta and Sere, Kaisa (2010) Towards Event-B Specification Metrics. In: First Deploy Technical Workshop, 21-23 October 2009, Aix-en-Provence, France. document_url: http://deploy-eprints.ecs.soton.ac.uk/250/1/Towards_Event-B_Specification_Metrics.pdf