Search Sciweavers | Sciweavers

15777 search results - page 266 / 3156

» The Reformulation-Optimization Software Engine

click to vote

SEKE
1994
Springer

76views Software Engineering» more SEKE 1994»

A tool for assisting the understanding and formal development of software

15 years 7 months ago

Download www.cs.umd.edu

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

claim paper

Read More »

103

click to vote

EUROMICRO
1998
IEEE

94views Software Engineering» more EUROMICRO 1998»

The EFTOS Voting Farm: A Software Tool for Fault Masking in Message Passing Parallel Environments

15 years 7 months ago

Download www.esat.kuleuven.be

Vincenzo De Florio, Geert Deconinck, Rudy Lauwerei...

claim paper

Read More »

103

click to vote

APAQS
2001
IEEE

201views Software Engineering» more APAQS 2001»

A Software Product Model Emphasizing Relationships

15 years 7 months ago

Download www.iis.sinica.edu.tw

Shih-Chien Chou, Chun-Wei Huang

claim paper

Read More »

203

click to vote

APAQS
2001
IEEE

350views Software Engineering» more APAQS 2001»

A Selective Software Testing Method Based on Priorities Assigned to Functional Modules

15 years 7 months ago

Download www2.cs.uh.edu

Masayuki Hirayama, Tetsuya Yamamoto, Jiro Okayasu,...

claim paper

Read More »

109

click to vote

APSEC
2001
IEEE

108views Software Engineering» more APSEC 2001»

Aspect-Oriented Implementation of Software Health Indicators

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers