Search Sciweavers | Sciweavers

15727 search results - page 351 / 3146

» Software Engineering - Introduction

176

click to vote

RTSE
1997

107views Software Engineering» more RTSE 1997»

Abstraction and Modular Verification of Infinite-State Reactive Systems

15 years 10 months ago

Download react.cs.uni-sb.de

Zohar Manna, Michael Colón, Bernd Finkbeine...

claim paper

Read More »

147

Voted

PEPM
1995
ACM

98views Software Engineering» more PEPM 1995»

Semantic Foundations of Binding Time Analysis for Imperative Programs

15 years 10 months ago

Download www.cs.wisc.edu

Manuvir Das, Thomas W. Reps, Pascal Van Hentenryck

claim paper

Read More »

130

click to vote

RE
1995
Springer

69views Software Engineering» more RE 1995»

Scenarios-an industrial case study and hypermedia enhancements

15 years 10 months ago

Download www-di.inf.puc-rio.br

Paul A. Gough, Filip T. Fodemski, Stewart A. Higgi...

claim paper

Read More »

150

click to vote

RE
1995
Springer

98views Software Engineering» more RE 1995»

Goal-directed elaboration of requirements for a meeting scheduler: problems and lessons learnt

15 years 10 months ago

Download www.cse.msu.edu

Axel van Lamsweerde, Robert Darimont, Philippe Mas...

claim paper

Read More »

164

click to vote

UIST
1995
ACM

97views Software Engineering» more UIST 1995»

Amortizing 3D Graphics Optimization Across Multiple Frames

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers