2599 search results - page 32 / 520 » A Tool for Supporting Feature-Driven Development |
EURODAC
1990
IEEE
14 years 17 days ago
1990
IEEE
: In this paper logical cells and algorithms are presented supporting the design of pseudo-exhaustively testable circuits. The approach is based on real hardware segmentation, inst...
AVI
2006
2006
Methods for the evaluation of an interactive InfoVis tool supporting exploratory reasoning processes
13 years 10 months ago
Developing Information Visualization (InfoVis) techniques for complex knowledge domains makes it necessary to apply alternative methods of evaluation. In the evaluation of Gravi++...
IPPS
2007
IEEE
14 years 2 months ago
2007
IEEE
In today’s dynamic computing environments, the available resources and even underlying computation engine can change during the execution of a program. Additionally, current tre...
FORTE
1990
13 years 9 months ago
1990
Formal specifications are a well-known technique for improving software devel the context of OSI communication protocol standards, Formal Description Te (FDT's) have been dev...
IFM
2010
Springer
13 years 7 months ago
2010
Springer
This paper presents initial results of research aimed at developing methods and tools for multidisciplinary collaborative development of dependable embedded systems. We focus on th...