Search Sciweavers | Sciweavers

15860 search results - page 365 / 3172

» On agent-based software engineering

118

click to vote

TACS
1997
Springer

81views Software Engineering» more TACS 1997»

Comparing Object Encodings

15 years 10 months ago

Download lucacardelli.name

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

claim paper

Read More »

115

click to vote

TAPSOFT
1997
Springer

138views Software Engineering» more TAPSOFT 1997»

A Comparison of Modular Verification Techniques

15 years 10 months ago

Download www.configit.com

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

claim paper

Read More »

137

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

Download home.mit.bme.hu

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

claim paper

Read More »

116

click to vote

ICSM
1993
IEEE

76views Software Engineering» more ICSM 1993»

Documenting Programs Using a Library of Tree Structured Plans

15 years 10 months ago

Download www.cs.umd.edu

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

claim paper

Read More »

117

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

Sciweavers

Explore & Download

Productivity Tools

Sciweavers