Sciweavers

15727 search results - page 556 / 3146
» Software Engineering - Introduction
Sort
View
WER
2004
Springer
16 years 17 days ago
Evaluating Methodologies: A Requirements Engineering Approach Through the Use of an Exemplar
Systems development methodologies continue to be a central area of research in software engineering. As the nature of applications and systems usage move increasingly towards open ...
Luiz Marcio Cysneiros, Vera Werneck, Eric S. K. Yu
ICSE
2009
IEEE-ACM
15 years 5 months ago
Engineering adaptive requirements
Challenges in the engineering of self-adaptive software have been recently discussed and summarized in a seminal research road map. Following it, we focus on requirements engineer...
Nauman A. Qureshi, Anna Perini
ICSEA
2009
IEEE
15 years 5 months ago
Integrating Formal Methods with Model-Driven Engineering
In this paper, we present our position and experience on integrating formal methods with the Model-driven Engineering (MDE) approach to software development. Both these two approa...
Angelo Gargantini, Elvinia Riccobene, Patrizia Sca...
ICFCA
2005
Springer
16 years 22 days ago
Lessons Learned in Applying Formal Concept Analysis to Reverse Engineering
A key difficulty in the maintenance and evolution of complex software systems is to recognize and understand the implicit dependencies that define contracts that must be respecte...
Gabriela Arévalo, Stéphane Ducasse, ...
DATE
2002
IEEE
94views Hardware» more  DATE 2002»
16 years 6 days ago
A Powerful System Design Methodology Combining OCAPI and Handel-C for Concept Engineering
In this paper, we present an efficient methodology to validate high performance algorithms and prototype them using reconfigurable hardware. We follow a strict topdown Hardware/So...
Klaus Buchenrieder, Andreas Pyttel, Alexander Sedl...