Sciweavers

8132 search results - page 38 / 1627
» Dependability, Abstraction, and Programming
Sort
View
TOOLS
1999
IEEE
15 years 10 months ago
Architecture = Abstractions over Software
Eyðun Eli Jacobsen, Bent Bruun Kristensen, Pal...
ICCL
1998
IEEE
15 years 10 months ago
Breaking Abstractions and Unstructuring Data Structures
Christian S. Collberg, Clark D. Thomborson, Dougla...
SIGADA
1998
Springer
15 years 10 months ago
Visual Support for Incremental Abstraction and Refinement in Ada 95
T. Dean Hendrix, James H. Cross II, Larry A. Barow...
ECOOP
1993
Springer
15 years 10 months ago
Design Patterns: Abstraction and Reuse of Object-Oriented Design
Erich Gamma, Richard Helm, Ralph E. Johnson, John ...
POPL
1992
ACM
15 years 10 months ago
Model Checking and Abstraction
Edmund M. Clarke, Orna Grumberg, David E. Long