Sciweavers

8132 search results - page 38 / 1627
» Dependability, Abstraction, and Programming
Sort
View
TOOLS
1999
IEEE
15 years 2 months ago
Architecture = Abstractions over Software
Eyðun Eli Jacobsen, Bent Bruun Kristensen, Pal...
ICCL
1998
IEEE
15 years 2 months ago
Breaking Abstractions and Unstructuring Data Structures
Christian S. Collberg, Clark D. Thomborson, Dougla...
SIGADA
1998
Springer
15 years 2 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 1 months ago
Design Patterns: Abstraction and Reuse of Object-Oriented Design
Erich Gamma, Richard Helm, Ralph E. Johnson, John ...
POPL
1992
ACM
15 years 1 months ago
Model Checking and Abstraction
Edmund M. Clarke, Orna Grumberg, David E. Long