2599 search results - page 101 / 520 » A Tool for Supporting Feature-Driven Development |
129
click to vote
ECOOPW
2000
Springer
15 years 8 months ago
2000
Springer
The objective of this workshop was to discuss current tools and environments for learning object-oriented concepts and to share ideas and experiences about the usage of computer su...
148
click to vote
INFOVIS
2002
IEEE
15 years 9 months ago
2002
IEEE
Radial, space-filling (RSF) techniques for hierarchy visualization have several advantages over traditional node-link diagrams, including the ability to efficiently use the disp...
129
click to vote
EUC
2006
Springer
15 years 8 months ago
2006
Springer
Software programmers want to manage pure software, not hardware-software entanglements. Unfortunately, traditional development methodologies cannot clearly separate hardware and so...
110
click to vote
KBSE
1997
IEEE
15 years 8 months ago
1997
IEEE
Abstract: This paper describes some tools to support formal methods, and conversely some formal methods for developing such tools. We focus on distributed cooperative proving over ...
174
click to vote
TACAS
1997
Springer
15 years 8 months ago
1997
Springer
In this paper, we describe the computer tool Design CPN supporting editing, simulation, and state space analysis of Coloured Petri Nets. So far, approximately 40 man-years have bee...