Search Sciweavers | Sciweavers

15777 search results - page 340 / 3156

» The Reformulation-Optimization Software Engine

click to vote

ICSE
1995
IEEE-ACM

104views Software Engineering» more ICSE 1995»

Completeness and Consistency Analysis of State-Based Requirements

15 years 7 months ago

Download wwwbruegge.in.tum.de

Mats Per Erik Heimdahl, Nancy G. Leveson

claim paper

Read More »

127

click to vote

RTSE
1997

107views Software Engineering» more RTSE 1997»

Abstraction and Modular Verification of Infinite-State Reactive Systems

15 years 7 months ago

Download react.cs.uni-sb.de

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

claim paper

Read More »

110

click to vote

PEPM
1995
ACM

98views Software Engineering» more PEPM 1995»

Semantic Foundations of Binding Time Analysis for Imperative Programs

15 years 7 months ago

Download www.cs.wisc.edu

Manuvir Das, Thomas W. Reps, Pascal Van Hentenryck

claim paper

Read More »

click to vote

RE
1995
Springer

69views Software Engineering» more RE 1995»

Scenarios-an industrial case study and hypermedia enhancements

15 years 7 months ago

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

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

claim paper

Read More »

110

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 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers