Search Sciweavers | Sciweavers

15777 search results - page 198 / 3156

» The Reformulation-Optimization Software Engine

click to vote

ESEC
1995
Springer

104views Software Engineering» more ESEC 1995»

An Integrated Formal Model of Scenarios Based on Statecharts

15 years 6 months ago

Download www.ifi.uzh.ch

Martin Glinz

claim paper

Read More »

click to vote

ESEC
1995
Springer

142views Software Engineering» more ESEC 1995»

An Empirical Evaluation of Three Defect-Detection Techniques

15 years 6 months ago

Download www.chris-lott.org

Erik Kamsties, Christopher M. Lott

claim paper

Read More »

click to vote

FSTTCS
1995
Springer

102views Software Engineering» more FSTTCS 1995»

Achilles and the Tortoise Climbing Up the Arithmetical Hierarchy

15 years 6 months ago

Download www.liafa.jussieu.fr

Eugene Asarin, Oded Maler

claim paper

Read More »

103

click to vote

ICSE
1997
IEEE-ACM

77views Software Engineering» more ICSE 1997»

An Empirical Study of Communication in Code Inspections

15 years 6 months ago

Download www.cs.umd.edu

Carolyn B. Seaman, Victor R. Basili

claim paper

Read More »

108

click to vote

IUI
1997
ACM

85views Software Engineering» more IUI 1997»

Wizards, Guides, and beyond: Rational and Empirical Methods for Selecting Optimal Intelligent User Interface Agents

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers