The Open UniversitySkip to content
 

Learning to adapt requirements specifications of evolving systems (NIER Track)

Borges, Rafael V.; Garcez, Artur D'Avila; Lamb, Luís C. and Nuseibeh, Bashar (2011). Learning to adapt requirements specifications of evolving systems (NIER Track). In: 33rd International Conference on Software Engineering (ICSE 2011), 21-28 May 2011, Honolulu, Hawaii, USA.

Full text available as:
Full text not publicly available
Due to copyright restrictions, this file is not available for public download
Click here to request a copy from the OU Author.
URL: http://2011.icse-conferences.org/
DOI (Digital Object Identifier) Link: http://dx.doi.org/10.1145/1985793.1985924
Google Scholar: Look up in Google Scholar

Abstract

We propose a novel framework for adapting and evolving software requirements models. The framework uses model checking and machine learning techniques for verifying properties and evolving model descriptions. The paper offers two novel contributions and a preliminary evaluation and application of the ideas presented. First, the framework is capable of coping with errors in the specification process so that performance degrades gracefully. Second, the framework can also be used to re-engineer a model from examples only, when an initial model is not available. We provide a preliminary evaluation of our framework by applying it to a Pump System case study, and integrate our prototype tool with the NuSMV model checker. We show how the tool integrates verification and evolution of abstract models, and also how it is capable of re-engineering partial models given examples from an existing system.

Item Type: Conference Item
Copyright Holders: 2011 ACM
Extra Information: Published in:
ICSE '11 Proceedings of the 33rd International Conference on Software Engineering, ACM New York, NY, USA ©2011, ISBN: 978-1-4503-0445-0
Keywords: machine learning in software engineering; adaptation
Academic Unit/Department: Mathematics, Computing and Technology > Computing & Communications
Interdisciplinary Research Centre: Centre for Research in Computing (CRC)
Related URLs:
Item ID: 32321
Depositing User: Bashar Nuseibeh
Date Deposited: 02 Feb 2012 17:10
Last Modified: 03 Dec 2012 15:47
URI: http://oro.open.ac.uk/id/eprint/32321
Share this page:

Actions (login may be required)

View Item
Report issue / request change

Policies | Disclaimer

© The Open University   + 44 (0)870 333 4340   general-enquiries@open.ac.uk