Sciweavers

2700 search results - page 31 / 540
» The role of abstraction in software engineering
Sort
View
ICFEM
2004
Springer
15 years 11 months ago
Implementing Dynamic Aggregations of Abstract Machines in the B Method
Nazareno Aguirre, Juan Bicarregui, Lucio Guzm&aacu...
ESEC
1997
Springer
15 years 10 months ago
The Tale of Two Projects - Abstract
Dewayne E. Perry, Lawrence G. Votta