Sciweavers

15779 search results - page 225 / 3156

» Change-oriented software engineering

87

ISPW
1994
IEEE

78views Software Engineering» more ISPW 1994»

Humans and process frameworks: some critical process elements

15 years 6 months ago

Humans and process frameworks: some critical process elements

Download csse.usc.edu

Barry W. Boehm, Prasanta K. Bose

claim paper

Read More »

92

AADEBUG
1993
Springer

123views Software Engineering» more AADEBUG 1993»

Debugging Logic Programs Using Specifications

15 years 6 months ago

Debugging Logic Programs Using Specifications

Download www.cs.tau.ac.il

Yuh-Jeng Lee, Nachum Dershowitz

claim paper

Read More »

103

AC
1993
Springer

80views Software Engineering» more AC 1993»

Automatic Groups and String Rewriting

15 years 6 months ago

Automatic Groups and String Rewriting

Download www.math.stevens.edu

Robert H. Gilman

claim paper

Read More »

58

AC
1993
Springer

77views Software Engineering» more AC 1993»

Examples of Termination

15 years 6 months ago

Examples of Termination

Download www.cs.tau.ac.il

Nachum Dershowitz

claim paper

Read More »

64

AC
1993
Springer

77views Software Engineering» more AC 1993»

Introduction to Rewriting

15 years 6 months ago

Introduction to Rewriting

Download web.cecs.pdx.edu

Jean-Pierre Jouannaud

claim paper

Read More »

« Prev « First page 225 / 3156 Last » Next »