Sciweavers

2342 search results - page 4 / 469
» A Methodology for Evaluating Software Engineering Methods an...
Sort
View
ICSE
2003
IEEE-ACM
14 years 7 months ago
Sound Methods and Effective Tools for Engineering Modeling and Analysis
Modeling and analysis is indispensable in engineering. To be safe and effective, a modeling method requires a language with a validated semantics; feature-rich, easy-to-use, depen...
David Coppit, Kevin J. Sullivan
DATE
2002
IEEE
94views Hardware» more  DATE 2002»
13 years 12 months 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...
KBSE
1997
IEEE
13 years 11 months ago
Application of Formal Methods to the Development of a Software Maintenance Tool
Partial evaluation is an optimization technique traditionally used in compilation. We have adapted this technique to the understanding of scientic application programs during t...
Sandrine Blazy, Philippe Facon
HICSS
2010
IEEE
181views Biometrics» more  HICSS 2010»
13 years 5 months ago
Standards Initiatives for Software Product Line Engineering and Management within the International Organization for Standardiza
Abstract: Software product line engineering is an established methodology for fast and effective development of software-intensive systems and services. To reap maximum benefits fr...
Timo Käkölä