Search Sciweavers | Sciweavers

15727 search results - page 339 / 3146

» Software Engineering - Introduction

102

click to vote

TACS
1997
Springer

81views Software Engineering» more TACS 1997»

Comparing Object Encodings

15 years 8 months ago

Download lucacardelli.name

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

claim paper

Read More »

click to vote

TAPSOFT
1997
Springer

138views Software Engineering» more TAPSOFT 1997»

A Comparison of Modular Verification Techniques

15 years 8 months ago

Download www.configit.com

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

claim paper

Read More »

112

click to vote

EUROMICRO
1996
IEEE

81views Software Engineering» more EUROMICRO 1996»

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

15 years 8 months ago

Download home.mit.bme.hu

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

claim paper

Read More »

click to vote

ICSM
1993
IEEE

76views Software Engineering» more ICSM 1993»

Documenting Programs Using a Library of Tree Structured Plans

15 years 8 months ago

Download www.cs.umd.edu

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

claim paper

Read More »

click to vote

ICSM
1993
IEEE

75views Software Engineering» more ICSM 1993»

Measuring and Assessing Maintainability at the End of High Level Design

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers