Search Sciweavers | Sciweavers

15974 search results - page 427 / 3195

» Object-Oriented Software Engineering

132

click to vote

ICSE
1997
IEEE-ACM

83views Software Engineering» more ICSE 1997»

Using Formal Methods to Reason about Architectural Standards

15 years 10 months ago

Download www.cs.virginia.edu

Kevin J. Sullivan, John Socha, Mark Marchukov

claim paper

Read More »

121

click to vote

UIST
1996
ACM

119views Software Engineering» more UIST 1996»

Ambiguous Intentions: A Paper-like Interface for Creative Design

15 years 10 months ago

Download code.arc.cmu.edu

Mark D. Gross, Ellen Yi-Luen Do

claim paper

Read More »

129

Voted

PEPM
1997
ACM

90views Software Engineering» more PEPM 1997»

Scaling up Partial Evaluation for Optimizing the Sun Commercial RPC Protocol

15 years 10 months ago

Download hal.inria.fr

Gilles Muller, Eugen-Nicolae Volanschi, Renaud Mar...

claim paper

Read More »

118

click to vote

TACS
1997
Springer

81views Software Engineering» more TACS 1997»

Comparing Object Encodings

15 years 10 months ago

Download lucacardelli.name

Kim B. Bruce, Luca Cardelli, Benjamin C. Pierce

claim paper

Read More »

115

click to vote

TAPSOFT
1997
Springer

138views Software Engineering» more TAPSOFT 1997»

A Comparison of Modular Verification Techniques

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers