Suchergebnisse - Coding Tools and Techniques⎯Object-oriented programming

Combining iterative analytical reasoning and software development using the visualization language Processing von Muller-Birn, C., Birn, L.

“… Artists, designers and architects use it but it is also a very effective programming language in the area of visual analytics …”
Volltext

Towards Automatic Assessment of Object-Oriented Programs von Ardimento, Pasquale, Luca Bernardi, Mario, Cimitile, Marta

“… The computing education community has shown a long-time interest in how to analyze the Object-Oriented (OO) source code developed by students to provide them …”
Volltext

FEVS: A Functional Equivalence Verification Suite for High-Performance Scientific Computing von Siegel, Stephen F., Zirkel, Timothy K.

“… not. We present a new verification suite consisting of pairs of programs of this form. The suite can be used to evaluate and compare tools that verify functional equivalence …”
Volltext