Sciweavers

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