Sciweavers

2342 search results - page 4 / 469
» A Methodology for Evaluating Software Engineering Methods an...
Sort
View
ICSE
2003
IEEE-ACM
15 years 11 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
80
Voted
DATE
2002
IEEE
94views Hardware» more  DATE 2002»
15 years 4 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
15 years 3 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»
14 years 10 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ä