Sciweavers

16725 search results - page 96 / 3345

» Engineering Software Correctness

104

Voted

KBSE
1997
IEEE

96views Software Engineering» more KBSE 1997»

Research Directions for Automated Software Verification: Using Trusted Hardware

15 years 6 months ago

Research Directions for Automated Software Verification: Using Trusted Hardware

Download www.stubblebine.com

Premkumar T. Devanbu, Stuart G. Stubblebine

claim paper

Read More »

93

Voted

KBSE
1995
IEEE

105views Software Engineering» more KBSE 1995»

Classifying Software Components Using Design Characteristics

15 years 6 months ago

Classifying Software Components Using Design Characteristics

Download www.cerias.purdue.edu

Chris Clifton, Wen-Syan Li

claim paper

Read More »

89

Voted

SEKE
1995
Springer

93views Software Engineering» more SEKE 1995»

Comparing models for identifying fault-prone software components

15 years 6 months ago

Comparing models for identifying fault-prone software components

Download www.di.uniba.it

Filippo Lanubile, A. Lonigro, Giuseppe Vissagio

claim paper

Read More »

89

Voted

SIGSOFT
1995
ACM

85views Software Engineering» more SIGSOFT 1995»

Specification Matching of Software Components

15 years 6 months ago

Specification Matching of Software Components

Download www.cs.cmu.edu

Amy Moormann Zaremski, Jeannette M. Wing

claim paper

Read More »

78

Voted

ESEC
1991
Springer

100views Software Engineering» more ESEC 1991»

Scaling Up Rule-Based Software Development Environments

15 years 6 months ago

Scaling Up Rule-Based Software Development Environments

Download www.psl.cs.columbia.edu

Naser S. Barghouti, Gail E. Kaiser

claim paper

Read More »

« Prev « First page 96 / 3345 Last » Next »