Sciweavers

15951 search results - page 64 / 3191

» Lawful software engineering

109

KBSE
1997
IEEE

96views Software Engineering» more KBSE 1997»

Research Directions for Automated Software Verification: Using Trusted Hardware

15 years 7 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 »

103

Voted

KBSE
1995
IEEE

105views Software Engineering» more KBSE 1995»

Classifying Software Components Using Design Characteristics

15 years 7 months ago

Classifying Software Components Using Design Characteristics

Download www.cerias.purdue.edu

Chris Clifton, Wen-Syan Li

claim paper

Read More »

100

Voted

SEKE
1995
Springer

93views Software Engineering» more SEKE 1995»

Comparing models for identifying fault-prone software components

15 years 7 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 »

106

Voted

SIGSOFT
1995
ACM

85views Software Engineering» more SIGSOFT 1995»

Specification Matching of Software Components

15 years 7 months ago

Specification Matching of Software Components

Download www.cs.cmu.edu

Amy Moormann Zaremski, Jeannette M. Wing

claim paper

Read More »

88

ESEC
1991
Springer

100views Software Engineering» more ESEC 1991»

Scaling Up Rule-Based Software Development Environments

15 years 7 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 64 / 3191 Last » Next »