Sciweavers

15777 search results - page 328 / 3156

» The Reformulation-Optimization Software Engine

95

TACS
1997
Springer

81views Software Engineering» more TACS 1997»

Comparing Object Encodings

15 years 7 months ago

Comparing Object Encodings

Download lucacardelli.name

Kim B. Bruce, Luca Cardelli, Benjamin C. Pierce

claim paper

Read More »

91

Voted

TAPSOFT
1997
Springer

138views Software Engineering» more TAPSOFT 1997»

A Comparison of Modular Verification Techniques

15 years 7 months ago

A Comparison of Modular Verification Techniques

Download www.configit.com

Henrik Reif Andersen, Jørgen Staunstrup, Ni...

claim paper

Read More »

104

Voted

EUROMICRO
1996
IEEE

81views Software Engineering» more EUROMICRO 1996»

Reachability and Timing Analysis in Data Flow Networks: A Case Study

15 years 7 months ago

Reachability and Timing Analysis in Data Flow Networks: A Case Study

Download home.mit.bme.hu

B. Antal, György Csertán, Istvá...

claim paper

Read More »

89

Voted

ICSM
1993
IEEE

76views Software Engineering» more ICSM 1993»

Documenting Programs Using a Library of Tree Structured Plans

15 years 7 months ago

Documenting Programs Using a Library of Tree Structured Plans

Download www.cs.umd.edu

Salwa K. Abd-El-Hafiz, Victor R. Basili

claim paper

Read More »

91

Voted

ICSM
1993
IEEE

75views Software Engineering» more ICSM 1993»

Measuring and Assessing Maintainability at the End of High Level Design

15 years 7 months ago

Measuring and Assessing Maintainability at the End of High Level Design

Download www.cs.umd.edu

Lionel C. Briand, Sandro Morasca, Victor R. Basili

claim paper

Read More »

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