Sciweavers

15779 search results - page 169 / 3156
» Change-oriented software engineering
Sort
View
100
Voted
PSSE
2004
Springer
15 years 7 months ago
A Tutorial Introduction to CSP in Unifying Theories of Programming
Ana Cavalcanti, Jim Woodcock
88
Voted
PSSE
2004
Springer
15 years 7 months ago
Real-Time and Fault-Tolerant Systems
Zhiming Liu, Mathai Joseph
VMCAI
2004
Springer
15 years 7 months ago
Security Types Preserving Compilation: (Extended Abstract)
Gilles Barthe, Amitabh Basu, Tamara Rezk