145 search results - page 7 / 29 » Flow engineering for physical implementation: theory and pra... |
101
click to vote
ICSM
2005
IEEE
15 years 3 months ago
2005
IEEE
Program flow analysis has many applications in software tools for program understanding, restructuring, verification, testing and reverse engineering. There are two important re...
KBSE
1997
IEEE
15 years 1 months ago
1997
IEEE
Proofs in the Nuprl system, an implementation of a constructive type theory, yield “correct-by-construction” programs. In this paper a new methodology is presented for extract...
VIS
2009
IEEE
15 years 10 months ago
2009
IEEE
Visualization is the transformation of data or information into pictures. The need for visualization has become more apparent as the amount of available information has increased ...
119
click to vote
CATE
2004
14 years 11 months ago
2004
The typical software engineering education lacks a practical experience of the process of software engineering-students are presented with relevant process theory in lectures, but...
KBSE
1999
IEEE
15 years 1 months ago
1999
IEEE
Modularization and abstraction are the keys to practical verification and analysis of large and complex systems. We present in an incremental methodology for the automatic analysi...