View in EDS HTML Full Text

Learning to adapt requirements specifications of evolving systems (NIER track).

Saved in:
Bibliographic Details
Title: Learning to adapt requirements specifications of evolving systems (NIER track).
Authors: Borges, Rafael V., D'Avila Garcez, Artur, Lamb, Luis C., Nuseibeh, Bashar
Source: ICSE: International Conference on Software Engineering. 2011, p856-859. 4p.
Subjects: Requirements engineering, Software reengineering, Computer simulation, Machine learning, Software engineering
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. [ABSTRACT FROM AUTHOR]
Copyright of ICSE: International Conference on Software Engineering is the property of Association for Computing Machinery and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.)
Database: Engineering Source
Full text is not displayed to guests.
FullText Text:
  Availability: 1
Header DbId: egs
DbLabel: Engineering Source
An: 71531246
AccessLevel: 6
PubType: Conference
PubTypeId: conference
PreciseRelevancyScore: 0
IllustrationInfo
Items – Name: Title
  Label: Title
  Group: Ti
  Data: Learning to adapt requirements specifications of evolving systems (NIER track).
– Name: Author
  Label: Authors
  Group: Au
  Data: <searchLink fieldCode="AR" term="%22Borges%2C+Rafael+V%2E%22">Borges, Rafael V.</searchLink><br /><searchLink fieldCode="AR" term="%22D'Avila+Garcez%2C+Artur%22">D'Avila Garcez, Artur</searchLink><br /><searchLink fieldCode="AR" term="%22Lamb%2C+Luis+C%2E%22">Lamb, Luis C.</searchLink><br /><searchLink fieldCode="AR" term="%22Nuseibeh%2C+Bashar%22">Nuseibeh, Bashar</searchLink>
– Name: TitleSource
  Label: Source
  Group: Src
  Data: <searchLink fieldCode="JN" term="%22ICSE%3A+International+Conference+on+Software+Engineering%22">ICSE: International Conference on Software Engineering</searchLink>. 2011, p856-859. 4p.
– Name: Subject
  Label: Subjects
  Group: Su
  Data: <searchLink fieldCode="DE" term="%22Requirements+engineering%22">Requirements engineering</searchLink><br /><searchLink fieldCode="DE" term="%22Software+reengineering%22">Software reengineering</searchLink><br /><searchLink fieldCode="DE" term="%22Computer+simulation%22">Computer simulation</searchLink><br /><searchLink fieldCode="DE" term="%22Machine+learning%22">Machine learning</searchLink><br /><searchLink fieldCode="DE" term="%22Software+engineering%22">Software engineering</searchLink>
– Name: Abstract
  Label: Abstract
  Group: Ab
  Data: 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. [ABSTRACT FROM AUTHOR]
– Name: AbstractSuppliedCopyright
  Label:
  Group: Ab
  Data: <i>Copyright of ICSE: International Conference on Software Engineering is the property of Association for Computing Machinery and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract.</i> (Copyright applies to all Abstracts.)
PLink https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=egs&AN=71531246
RecordInfo BibRecord:
  BibEntity:
    Identifiers:
      – Type: doi
        Value: 10.1145/1985793.1985924
    Languages:
      – Code: eng
        Text: English
    PhysicalDescription:
      Pagination:
        PageCount: 4
        StartPage: 856
    Subjects:
      – SubjectFull: Requirements engineering
        Type: general
      – SubjectFull: Software reengineering
        Type: general
      – SubjectFull: Computer simulation
        Type: general
      – SubjectFull: Machine learning
        Type: general
      – SubjectFull: Software engineering
        Type: general
    Titles:
      – TitleFull: Learning to adapt requirements specifications of evolving systems (NIER track).
        Type: main
  BibRelationships:
    HasContributorRelationships:
      – PersonEntity:
          Name:
            NameFull: Borges, Rafael V.
      – PersonEntity:
          Name:
            NameFull: D'Avila Garcez, Artur
      – PersonEntity:
          Name:
            NameFull: Lamb, Luis C.
      – PersonEntity:
          Name:
            NameFull: Nuseibeh, Bashar
    IsPartOfRelationships:
      – BibEntity:
          Dates:
            – D: 01
              M: 02
              Text: 2011
              Type: published
              Y: 2011
          Titles:
            – TitleFull: ICSE: International Conference on Software Engineering
              Type: main
ResultId 1