Search Sciweavers | Sciweavers

15799 search results - page 367 / 3160

» Software engineering: a roadmap

117

click to vote

FSTTCS
1995
Springer

98views Software Engineering» more FSTTCS 1995»

All-Pairs Min-Cut in Sparse Networks

15 years 10 months ago

Download www.ceid.upatras.gr

Srinivasa Rao Arikati, Shiva Chaudhuri, Christos D...

claim paper

Read More »

166

click to vote

PEPM
1997
ACM

95views Software Engineering» more PEPM 1997»

Specialization of Lazy Functional Logic Programs

15 years 10 months ago

Download users.dsic.upv.es

María Alpuente, Moreno Falaschi, Pascual Ju...

claim paper

Read More »

118

click to vote

ICSE
1995
IEEE-ACM

104views Software Engineering» more ICSE 1995»

Completeness and Consistency Analysis of State-Based Requirements

15 years 10 months ago

Download wwwbruegge.in.tum.de

Mats Per Erik Heimdahl, Nancy G. Leveson

claim paper

Read More »

176

Voted

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 »

146

click to vote

PEPM
1995
ACM

98views Software Engineering» more PEPM 1995»

Semantic Foundations of Binding Time Analysis for Imperative Programs

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers