2599 search results - page 75 / 520 » A Tool for Supporting Feature-Driven Development |
125
Voted
HIPS
1998
IEEE
15 years 8 months ago
1998
IEEE
Industrial applications use specific problem-oriented implementations of large sparse and irregular data structures. Hence there is a need for tools that make it possible for deve...
111
click to vote
IADIS
2003
15 years 5 months ago
2003
Although there are a lot of web based e-learning solutions on the market, using these tools to design and organize courses still stays a very difficult task for most teachers. Edu...
127
click to vote
ECOOP
2007
Springer
15 years 8 months ago
2007
Springer
With the growing academic and industrial interest in Software Product Lines (SPL), one area demanding special attention is tool support development, which is a pre-requisite for w...
111
click to vote
CADE
2007
Springer
16 years 4 months ago
2007
Springer
Abstract. We present KeY-C, a tool for deductive verification of C programs. KeY-C allows to prove partial correctness of C programs relative to pre- and postconditions. It is base...
148
click to vote
ECEASST
2008
15 years 3 months ago
2008
In software engineering, reliability and development time are two of the most important aspects, therefore, modeling environments, which aide both, are widely used during software ...