Sciweavers

16725 search results - page 227 / 3345

» Engineering Software Correctness

99

IUI
1993
ACM

77views Software Engineering» more IUI 1993»

Programming with characters

15 years 7 months ago

Programming with characters

Download fusion.sims.berkeley.edu

Michael Travers, Marc Davis

claim paper

Read More »

77

Voted

RE
1993
Springer

83views Software Engineering» more RE 1993»

TOPOS: A Prototyping-Oriented Open CASE System

15 years 7 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 »

98

Voted

PEPM
1994
ACM

89views Software Engineering» more PEPM 1994»

Improving Programs Which Recurse over Multiple Inductive Structures

15 years 7 months ago

Improving Programs Which Recurse over Multiple Inductive Structures

Download lambda.uta.edu

Leonidas Fegaras, Tim Sheard, Tong Zhou

claim paper

Read More »

122

SIGSOFT
1993
ACM

111views Software Engineering» more SIGSOFT 1993»

Does Every Inspection Need a Meeting?

15 years 7 months ago

Does Every Inspection Need a Meeting?

Download csalpha.ist.unomaha.edu

Lawrence G. Votta

claim paper

Read More »

110

UIST
1993
ACM

127views Software Engineering» more UIST 1993»

Animating User Interfaces Using Animation Servers

15 years 7 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 »