754 search results - page 50 / 151 » Requirements for Automotive System Engineering Tools |
ICFEM
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. Theorem provers, model checkers, static analyzers, test generators. . . all of these and many other kinds of formal methods tools can contribute to the analysis and devel...
SCAM
2006
IEEE
14 years 2 months ago
2006
IEEE
Many articles and tools have been proposed over the years for mining design patterns from source code. These tools differ in several aspects, thus their fair comparison is hard. B...
PFE
2001
Springer
14 years 1 months ago
2001
Springer
Although software mass customization offers the potential for order-of-magnitude improvements in software engineering performance, the up-front cost, level of effort, assumed risk,...
ECLIPSE
2004
ACM
14 years 2 months ago
2004
ACM
Feature modeling is a key technique used in product-line development to model commonalities and variabilities of productline members. In this paper, we present FeaturePlugin, a fe...
ICSE
1998
IEEE-ACM
14 years 27 days ago
1998
IEEE-ACM
As software engineering efforts move to more complex, distributed environments, coordinating the activities of people and tools becomes very important. While groupware systems add...