90 search results - page 18 / 18 » Teaching Java backwards |
GI
2009
Springer
13 years 9 months ago
2009
Springer
Abstract: Model-based development has an increasing importance in modern software engineering and other domains. Visual models such as Petri nets and UML diagrams proved to be an a...
PLDI
2009
ACM
14 years 3 days ago
2009
ACM
Symbolic analysis shows promise as a foundation for bug-finding, specification inference, verification, and test generation. This paper addresses demand-driven symbolic analysi...
OOPSLA
2007
Springer
13 years 11 months ago
2007
Springer
Omniscient debuggers make it possible to navigate backwards in time within a program execution trace, drastically improving the task of debugging complex applications. Still, they...
VISUALIZATION
2003
IEEE
13 years 10 months ago
2003
IEEE
The extraction of planar sections from volume images is the most commonly used technique for inspecting and visualizing anatomic structures. We propose to generalize the concept o...
BMCBI
2008
13 years 5 months ago
2008
nd: Biological pathways are a useful abstraction of biological concepts, and software tools to deal with pathway diagrams can help biological research. PathVisio is a new visualiz...