Sciweavers

6197 search results - page 8 / 1240
» Sandbridge Software Tools
Sort
View
TOOLS
1999
IEEE
13 years 12 months ago
Architecture = Abstractions over Software
Eyðun Eli Jacobsen, Bent Bruun Kristensen, Pal...
TOOLS
1999
IEEE
13 years 12 months ago
Software Evolution: Prototypical Deltas
Eyðun Eli Jacobsen, Bent Bruun Kristensen, Pal...
TOOLS
1999
IEEE
13 years 12 months ago
A Formal Software Development Approach Based on COOZ and Refinement Calculus
Yunfeng Wang, Bixin Li, Jun Pang, Ming Zha, Guolia...
WSC
1997
13 years 9 months ago
WITNESS Simulation Software: A Flexible Suite of Simulation Tools
Over time, simulation tools have found use in most manufacturing enterprises. Due to the increased flexibility and openness of the tools available today, simulation can now begin ...
Pam Laney Markt, Michael H. Mayer