Sciweavers

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