Supporting software variability by reusing generic incomplete models at the requirements specification stage

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3107, Issue , 2004, Pages 1-10

  Díaz Redondo, Rebeca P ^a   Nores, Martín López ^a   Pazos Arias, José J ^a   Vilas, Ana Fernández ^a   Duque, Jorge García ^a   Solla, Alberto Gil ^a   Martínez, Belén Barragáns ^a   Cabrer, Manuel Ramos ^a  

^a UNIVERSITY OF VIGO   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

SPECIFICATIONS;

DIFFERENT DOMAINS; INCOMPLETE MODEL; MULTIPLE CONTEXTS; REQUIREMENTS SPECIFICATIONS; REUSING MODELS; SOFTWARE VARIABILITIES;

COMPUTER SOFTWARE REUSABILITY;

EID: 24644468404     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: None     Document Type: Article

References (14)

1. R. P. Díaz Redondo, J. J. Pazos Arias, and A. Fernández Vilas. Reuse of Formal Verification Efforts of Incomplete Models at the Requirements Specification Stage. Lecture Notes in Computer Science, vol. 2693, 2003.
2. R. P. Díaz Redondo, J. J. Pazos Arias, A. Fernández Vilas, and B. Barragans Martínez. ARIFS: an Environment for Incomplete and Formal Specifications Reuse. Electronic Notes in Theorethical Computer Science, 66(4), 2002.
3. P. Predonzani, G. Succi and T. Vemazza. Extreme Programming Examined, chapter Tracing Development Progress: A Variability Perspective. Addison Wesley Professional, 2001.
4. M. R. Girardi and B. Ibrahim. Automatic Indexing of Software Artifacts. In 3rd International Conference on Software Reusability, pages 24-32, November 1994.
5. ISO. LOTOS - A Formal Description Technique Based on an Extended State Transition Model. ISO/IEC/8807, International Standards Organization, 1989.
6. G. Kiczales, J. Lamping, A. Mendhekar, and C. Maeda. Aspect-oriented Programming. In Conference on Object-Oriented Programming (ECOOP), vol. 1261 of Lecture Notes in Computer Science, pages 220-243, Jyväskylä, Finland, June 1997.
7. J. J. Pazos Arias and J. García Duque. SCTL-MUS: A Formal Methodology for Software Development of Distributed Systems. A Case Study. Formal Aspects of Computing, 13:50-91, 2001.
8. R. Prieto-Díaz. Implementing Faceted Classification for Software Reuse. Communications of the ACM, 34(5):88-97, May 1991.
9. J. Schumann and Fischer. NORA/HAMMR: Making Deduction-Based Software Component Retrieval Practical. In Proc. of 12th Conference on Automated Software Engineering, 1997.
10. M. Svahnberg, J. van Gurp, and J. Bosch. A Taxonomy of Variability Realization Techniques. In ISSN: 1103-1581, Blekinge Institute of Technology, Sweden, 2002.
11. R. J. van Glabeek. Handbook of Process Algebra, chapter The Linear Time - Branching Time Spectrum I: The Semantics of Concrete, Sequential Processes. Elsevier Science, 2001.
12. J. van Gurp, J. Bosch, and M. Svahnberg. On the Notion of Variability in Software Product Lines. In 2nd Working IEEE/IFIP Conference on Sofhvare Architecture (WICSA), 2001.
13. Y. Ye. An Active and Adaptive Reuse Repository System. In 34th Hawaii International Conference on System Sciences (HICSS-34), 2001.
14. A. M. Zaremski and J. M. Wing. Specification Matching of Software Components. ACM Transactions on Software Engineering and Methodology, 6(4):333-369, October 1997.