Sciweavers

15777 search results - page 110 / 3156

» Engineering in Software

105

CODES
1996
IEEE

88views Software Engineering» more CODES 1996»

A framework for interactive analysis of timing constraints in embedded systems

15 years 7 months ago

A framework for interactive analysis of timing constraints in embedded systems

Download www.cecs.uci.edu

R. K. Gupta

claim paper

Read More »

117

PEPM
1997
ACM

79views Software Engineering» more PEPM 1997»

Resource-Bounded Partial Evaluation

15 years 7 months ago

Resource-Bounded Partial Evaluation

Download www.cs.arizona.edu

Saumya K. Debray

claim paper

Read More »

92

Voted

RE
1997
Springer

80views Software Engineering» more RE 1997»

Calculating with Requirements

15 years 7 months ago

Calculating with Requirements

Download sdg.csail.mit.edu

John M. Rushby

claim paper

Read More »

162

TAPSOFT
1997
Springer

124views Software Engineering» more TAPSOFT 1997»

CoFI: The Common Framework Initiative for Algebraic Specification and Development

15 years 7 months ago

CoFI: The Common Framework Initiative for Algebraic Specification and Development

Download www.brics.dk

Peter D. Mosses

claim paper

Read More »

86

Voted

ISPW
1993
IEEE

85views Software Engineering» more ISPW 1993»

Humans in the Process: Architectural Implications

15 years 7 months ago

Humans in the Process: Architectural Implications

Download users.ece.utexas.edu

Dewayne E. Perry

claim paper

Read More »

« Prev « First page 110 / 3156 Last » Next »