Sciweavers

6348 search results - page 324 / 1270
» A Lesson for Software Engineering from Knowledge Engineering
Sort
View
228
Voted
SPLC
2007
15 years 8 months ago
Product Line Implementation using Aspect-Oriented and Model-Driven Software Development
Software product line engineering aims to reduce development time, effort, cost, and complexity by taking advantage of the commonality within a portfolio of similar products. The ...
Markus Völter, Iris Groher
STEP
2003
IEEE
16 years 5 hour ago
Using Grid Technologies for Web-Enabling Legacy Systems
The adoption of the Internet technologies favors the diffusion of Web and Grid-based applications. However, the development of new applications exploiting the modern interfaces an...
Thierry Bodhuin, Maria Tortorella
ICSE
2003
IEEE-ACM
16 years 6 months ago
Modular Verification of Software Components in C
We present a new methodology for automatic verification of C programs against finite state machine specifications. Our approach is compositional, naturally enabling us to decompos...
Sagar Chaki, Edmund M. Clarke, Alex Groce, Somesh ...
ESEM
2009
ACM
16 years 1 months ago
Software risk management barriers: An empirical study
This paper reports results from a survey of experienced project managers on their perception of software risk management. From a sample of 18 experienced project managers, we have...
Edzreena Edza Odzaly, Paul Sage Des Greer
180
Voted
ICSEA
2006
IEEE
16 years 23 days ago
Template-Based Development of Fault-Tolerant Embedded Software
— Currently there are different approaches to develop fault-tolerant embedded software: implementing the system from scratch or using libraries respectively specialized hardware....
Christian Buckl, Alois Knoll, Gerhard Schrott