Sciweavers

16 search results - page 1 / 4

» kbse 1997

22

KBSE
1997
IEEE

130views Software Engineering» more KBSE 1997»

Declarative Specification of Software Architectures

14 years 1 months ago

Declarative Specification of Software Architectures

Download ti.arc.nasa.gov

John Penix, Perry Alexander, Klaus Havelund

claim paper

Read More »

24

KBSE
1997
IEEE

96views Software Engineering» more KBSE 1997»

Research Directions for Automated Software Verification: Using Trusted Hardware

14 years 27 days ago

Research Directions for Automated Software Verification: Using Trusted Hardware

Download www.stubblebine.com

Premkumar T. Devanbu, Stuart G. Stubblebine

claim paper

Read More »

15

KBSE
1997
IEEE

68views Software Engineering» more KBSE 1997»

A Metric-based Approach to Detect Abstract Data Types and State Encapsulations

14 years 1 months ago

A Metric-based Approach to Detect Abstract Data Types and State Encapsulations

Download www.sdml.info

Jean-Francois Girard, Rainer Koschke, Georg Schied

claim paper

Read More »

22

KBSE
1997
IEEE

86views Software Engineering» more KBSE 1997»

A Structured Approach for Synthesizing Planners from Specifications

14 years 1 months ago

A Structured Approach for Synthesizing Planners from Specifications

Download rakaposhi.eas.asu.edu

Biplav Srivastava, Subbarao Kambhampati, Amol Datt...

claim paper

Read More »

28

KBSE
1997
IEEE

95views Software Engineering» more KBSE 1997»

Interactive Component-Based Software Development with Espresso

14 years 1 months ago

Interactive Component-Based Software Development with Espresso

Download www.faisoncomputing.com

There are a number of competing component models in use today. Most are language-independent, but also platform-dependent and not designed to support a tool-based development para...

T. Faison

claim paper

Read More »

« Prev « First page 1 / 4 Last » Next »