Sciweavers

16725 search results - page 227 / 3345

» Engineering Software Correctness

143

IUI
1993
ACM

77views Software Engineering» more IUI 1993»

Programming with characters

15 years 11 months ago

Programming with characters

Download fusion.sims.berkeley.edu

Michael Travers, Marc Davis

claim paper

Read More »

122

RE
1993
Springer

83views Software Engineering» more RE 1993»

TOPOS: A Prototyping-Oriented Open CASE System

15 years 11 months ago

TOPOS: A Prototyping-Oriented Open CASE System

Download www.swe.uni-linz.ac.at

Reinhold Plösch, Hubert Rumerstorfer, Rainer ...

claim paper

Read More »

131

PEPM
1994
ACM

89views Software Engineering» more PEPM 1994»

Improving Programs Which Recurse over Multiple Inductive Structures

15 years 11 months ago

Improving Programs Which Recurse over Multiple Inductive Structures

Download lambda.uta.edu

Leonidas Fegaras, Tim Sheard, Tong Zhou

claim paper

Read More »

180

SIGSOFT
1993
ACM

111views Software Engineering» more SIGSOFT 1993»

Does Every Inspection Need a Meeting?

15 years 11 months ago

Does Every Inspection Need a Meeting?

Download csalpha.ist.unomaha.edu

Lawrence G. Votta

claim paper

Read More »

150

Voted

UIST
1993
ACM

127views Software Engineering» more UIST 1993»

Animating User Interfaces Using Animation Servers

15 years 11 months ago

Animating User Interfaces Using Animation Servers

Download smartech.gatech.edu

Krishna Bharat, Piyawadee Noi Sukaviriya

claim paper

Read More »

« Prev « First page 227 / 3345 Last » Next »