7380 search results - page 346 / 1476 » Engineering Software Intensive Systems |
207
click to vote
EDOC
2003
IEEE
16 years 21 days ago
2003
IEEE
Component-Based Software Engineering, Separation of Concerns, Model-Driven Architecture, and Aspect-Oriented Programming are four active research areas that have been around for s...
192
click to vote
ICSM
2003
IEEE
16 years 20 days ago
2003
IEEE
: The objective of this paper is to identify those factors, which are critical to the success of a maintenance operation in general and to apply them to a particular maintenance pr...
243
click to vote
SPLC
2007
15 years 8 months ago
2007
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 ...
219
click to vote
ICST
2010
IEEE
15 years 5 months ago
2010
IEEE
—In this case study we test a landing gear control system of a military aircraft with the new version of LUTESS, a tool for testing automatically synchronous software. LUTESS req...
177
click to vote
ICSE
2003
IEEE-ACM
16 years 7 months ago
2003
IEEE-ACM
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...