The IRMA Community
Newsletters
Research IRM
Click a keyword to search titles using our InfoSci-OnDemand powered search:
|
Integrating Formal Methods with Reuse Techniques
|
|
Author(s): Laura Felice (INTIA, Universidad Nacional del Centro de la Provincia de Buenos Aires, Argentina), Carmen Leonardi (INTIA, Universidad Nacional del Centro de la Provincia de Buenos Aires, Argentina)and Ma. Virginia Mauco (INTIA, Universidad Nacional del Centro de la Provincia de Buenos Aires, Argentina)
Copyright: 2007
Pages: 5
Source title:
Managing Worldwide Operations and Communications with Information Technology
Source Editor(s): Mehdi Khosrow-Pour, D.B.A. (Information Resources Management Association, USA)
DOI: 10.4018/978-1-59904-929-8.ch178
ISBN13: 9781599049298
EISBN13: 9781466665378
|
Abstract
It is widely accepted by software community that formal methods increase software quality and reliability, and even though their industrial use is still limited it has been steadily growing. A well-known formal method is the RAISE Method [4,5]. This method is based on the idea that software development is a stepwise, and originally designed to be applied at different levels of abstraction as well as stages of development and it is successfully applied to different domains obtaining high precise specifications of components. However there is no explicit reference to the specification reusability in the process. Feature models has received much attention in the software engineering community who see the Domain Analysis [7] as a prerequisite in a successful reuse, for example FODA [8], FORM [9] and Featured Reuse-driven Software Engineering Business (FeatuRSEB) [6]. This paper presents a brief overview of feature modeling and the integration into RAISE. Some key relations between features are formalizing using RAISE specification language [3]. Such integration allows taking advantage of formal methods in the context of software reuse.
|
|