Sciweavers

3330 search results - page 42 / 666
» software 2010
Sort
View
IWPSE
2010
IEEE
15 years 1 months ago
Redocumentation of a legacy banking system: an experience report
Joris Van Geet, Peter Ebraert, Serge Demeyer
SIGSOFT
2010
ACM
15 years 1 months ago
PENELOPE: weaving threads to expose atomicity violations
Francesco Sorrentino 0002, Azadeh Farzan, P. Madhu...
AMAST
2010
Springer
14 years 10 months ago
Coalgebraic Semantics for Parallel Derivation Strategies in Logic Programming
Ekaterina Komendantskaya, Guy McCusker, John Power
ESSOS
2010
Springer
16 years 20 days ago
Secure Code Generation for Web Applications
Martin Johns, Christian Beyerlein, Rosemaria Giese...