Sciweavers

16790 search results - page 102 / 3358

» A Future for Software Engineering

21

KBSE
1997
IEEE

96views Software Engineering» more KBSE 1997»

Research Directions for Automated Software Verification: Using Trusted Hardware

13 years 11 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 »

22

KBSE
1995
IEEE

105views Software Engineering» more KBSE 1995»

Classifying Software Components Using Design Characteristics

13 years 11 months ago

Classifying Software Components Using Design Characteristics

Download www.cerias.purdue.edu

Chris Clifton, Wen-Syan Li

claim paper

Read More »

20

SEKE
1995
Springer

93views Software Engineering» more SEKE 1995»

Comparing models for identifying fault-prone software components

13 years 11 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 »

26

SIGSOFT
1995
ACM

85views Software Engineering» more SIGSOFT 1995»

Specification Matching of Software Components

13 years 11 months ago

Specification Matching of Software Components

Download www.cs.cmu.edu

Amy Moormann Zaremski, Jeannette M. Wing

claim paper

Read More »

12

ESEC
1991
Springer

100views Software Engineering» more ESEC 1991»

Scaling Up Rule-Based Software Development Environments

13 years 11 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 102 / 3358 Last » Next »