Sciweavers

11909 search results - page 201 / 2382
» The Scheme Programming Language
Sort
View
TOOLS
1999
IEEE
15 years 10 months ago
Constructing Interoperable Components in Distributed Systems
Sea Ling, Heinz W. Schmidt, Rohan Fletcher
TOOLS
1999
IEEE
15 years 10 months ago
Architecture = Abstractions over Software
Eyðun Eli Jacobsen, Bent Bruun Kristensen, Pal...
TOOLS
1999
IEEE
15 years 10 months ago
Software Evolution: Prototypical Deltas
Eyðun Eli Jacobsen, Bent Bruun Kristensen, Pal...
TOOLS
1999
IEEE
15 years 10 months ago
A Formal Software Development Approach Based on COOZ and Refinement Calculus
Yunfeng Wang, Bixin Li, Jun Pang, Ming Zha, Guolia...