Search Sciweavers | Sciweavers

15784 search results - page 353 / 3157

» Mega Software Engineering

141

click to vote

WADT
1999
Springer

73views Software Engineering» more WADT 1999»

Extraction of Structured Programs from Specification Proofs

15 years 11 months ago

Download www.pst.informatik.uni-muenchen.de

John N. Crossley, Iman Poernomo, Martin Wirsing

claim paper

Read More »

136

click to vote

METRICS
1998
IEEE

85views Software Engineering» more METRICS 1998»

Experimenting with Error Abstraction in Requirements Documents

15 years 11 months ago

Download www.di.uniba.it

Filippo Lanubile, Forrest Shull, Victor R. Basili

claim paper

Read More »

116

Voted

UIST
1998
ACM

84views Software Engineering» more UIST 1998»

Supporting Worker Independence in Collaboration Transparency

15 years 11 months ago

Download faculty.ist.psu.edu

James Begole, Mary Beth Rosson, Clifford A. Shaffe...

claim paper

Read More »

116

click to vote

UIST
1998
ACM

74views Software Engineering» more UIST 1998»

Scratchpad: Mechanisms for Better Navigation in Directed Web Searching

15 years 11 months ago

Download www.cs.virginia.edu

Dale Newfield, Bhupinder Singh Sethi, Kathy Ryall

claim paper

Read More »

132

click to vote

FSTTCS
1998
Springer

56views Software Engineering» more FSTTCS 1998»

The Power of Reachability Testing for Timed Automata

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers