Search Sciweavers | Sciweavers

15777 search results - page 304 / 3156

» Engineering in Software

120

click to vote

ICRE
1996
IEEE

90views Software Engineering» more ICRE 1996»

Combined Analysis of User Interface and Domain Requirements

15 years 10 months ago

Download www.fernuni-hagen.de

Georg Kösters, Hans-Werner Six, Josef Voss

claim paper

Read More »

146

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 »

130

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 »

144

click to vote

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 »

125

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