Software Engineering

23

FSTTCS
1994
Springer

100views Software Engineering» more FSTTCS 1994»

On the Interactive Complexity of Graph Reliability

13 years 11 months ago

We give an interactive protocol for s-t RELIABILITY, the well known reliability problem on graphs. Our protocol shows that if IP(f(n)) denotes the class of languages whose interac...

Jean Marc Couveignes, Juan Francisco Diaz-Frias, M...

claim paper

Read More »

15

click to vote

EWSPT
1994
Springer

80views Software Engineering» more EWSPT 1994»

A Comparison of Modelling Frameworks for Software Processes and Information Systems

13 years 11 months ago

Download www.idi.ntnu.no

Reidar Conradi, Geir Magne Høydalsvik, Gutt...

claim paper

Read More »

28

click to vote

FSTTCS
1991
Springer

104views Software Engineering» more FSTTCS 1991»

Randomizing Reductions of Search Problems

13 years 11 months ago

Download research.microsoft.com

This paper closes a gap in the foundations of the theory of average case complexity. First, we clarify the notion of a feasible solution for a search problem and prove its robustne...

Andreas Blass, Yuri Gurevich

claim paper

Read More »

21

click to vote

ESEC
1991
Springer

99views Software Engineering» more ESEC 1991»

A Dynamic Failure Model for Predicting the Impact that a Program Location has on the Program

13 years 11 months ago

Download www.cigital.com

This paper presents a dynamic technique for predicting the e ect that a location" of a program will have on the program's computational behavior. The technique is based ...

Jeffrey M. Voas

claim paper

Read More »

24

click to vote

ESEC
1991
Springer

124views Software Engineering» more ESEC 1991»

CASE Support for the Software Process: Advances and Problems

13 years 11 months ago

Download pauillac.inria.fr

Bernard Lang

claim paper

Read More »

12

click to vote

ESEC
1991
Springer

100views Software Engineering» more ESEC 1991»

Scaling Up Rule-Based Software Development Environments

13 years 11 months ago

Download www.psl.cs.columbia.edu

Naser S. Barghouti, Gail E. Kaiser

claim paper

Read More »

14

click to vote

APL
1991
ACM

90views Software Engineering» more APL 1991»

Mastering J

13 years 11 months ago

Download www.electricscotland.com

Donald B. McIntyre

claim paper

Read More »

21

click to vote

AMAST
1991
Springer

87views Software Engineering» more AMAST 1991»

Extracting Recursive Programs in Type Theory

13 years 11 months ago

Download www.cs.jhu.edu

Scott F. Smith

claim paper

Read More »

27

click to vote

AMAST
1991
Springer

123views Software Engineering» more AMAST 1991»

Event Spaces and their Linear Logic

13 years 11 months ago

Download boole.stanford.edu

Boolean logic treats disjunction and conjunction symmetrically and algebraically. The corresponding operations for computation are respectively nondeterminism (choice) and concurr...

Vaughan R. Pratt

claim paper

Read More »

20

click to vote

AMAST
1991
Springer

90views Software Engineering» more AMAST 1991»

A Formal Approach to Software Testing

13 years 11 months ago