Sciweavers

15778 search results - page 80 / 3156

» Aikido and software engineering

26

ICSM
1994
IEEE

112views Software Engineering» more ICSM 1994»

Incremental Process Support for Code Reengineering

14 years 1 months ago

Incremental Process Support for Code Reengineering

Download web.cs.wpi.edu

George T. Heineman, Gail E. Kaiser

claim paper

Read More »

40

SDE
1991

150views Software Engineering» more SDE 1991»

Adding Control Integration to PCTE

14 years 1 months ago

Adding Control Integration to PCTE

Download www.hpl.hp.com

Huw Oliver

claim paper

Read More »

32

TACS
1991
Springer

89views Software Engineering» more TACS 1991»

Intersection and Union Types

14 years 1 months ago

Intersection and Union Types

Download www.cs.cmu.edu

Franco Barbanera, Mariangiola Dezani-Ciancaglini

claim paper

Read More »

32

TACS
1991
Springer

143views Software Engineering» more TACS 1991»

Adding Proof Objects and Inductive Definition Mechanisms to Frege Structures

14 years 1 months ago

Adding Proof Objects and Inductive Definition Mechanisms to Frege Structures

Download wwwsoc.nii.ac.jp

Masahiko Sato

claim paper

Read More »

24

TACS
1991
Springer

79views Software Engineering» more TACS 1991»

Full Abstraction and the Context Lemma

14 years 1 months ago

Full Abstraction and the Context Lemma

Download publications.csail.mit.edu

Trevor Jim, Albert R. Meyer

claim paper

Read More »

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