Sciweavers

13 search results - page 1 / 3

» kbse 1999

8

KBSE
1999
IEEE

84views Software Engineering» more KBSE 1999»

Industrial Applications of Software Synthesis via Category Theory

13 years 8 months ago

Industrial Applications of Software Synthesis via Category Theory

Download pages.cpsc.ucalgary.ca

Keith E. Williamson, Michael Healy

claim paper

Read More »

8

KBSE
1999
IEEE

79views Software Engineering» more KBSE 1999»

NAVCo: Negotiation-based Adaptive View Coordination

13 years 8 months ago

NAVCo: Negotiation-based Adaptive View Coordination

Download www.mitre.org

Prasanta K. Bose, Mark G. Matthews

claim paper

Read More »

11

KBSE
1999
IEEE

107views Software Engineering» more KBSE 1999»

Automatic Generation of Test Oracles-From Pilot Studies to Application

13 years 8 months ago

Automatic Generation of Test Oracles-From Pilot Studies to Application

Download ase.cs.uni-essen.de

Martin S. Feather, Benjamin D. Smith

claim paper

Read More »

11

KBSE
1999
IEEE

124views Software Engineering» more KBSE 1999»

Advanced Modelling and Verification Techniques Applied to a Cluster File System

13 years 8 months ago

Advanced Modelling and Verification Techniques Applied to a Cluster File System

Download ti.arc.nasa.gov

This paper describes the application of advanced formal modelling techniques and tools from the CADP toolset to the verification of CFS, a distributed file system kernel. After a ...

Charles Pecheur

claim paper

Read More »

11

KBSE
1999
IEEE

131views Software Engineering» more KBSE 1999»

Automatically Structuring Textual Requirement Scenarios

13 years 8 months ago

Automatically Structuring Textual Requirement Scenarios

Download www-i5.informatik.rwth-aachen.de

Scenarios are valuable for supporting communication among system developers in the initial phases of requirements engineering. But the problem of how to fruitfully deal with large...

Andreas Becks, Jörg Köller

claim paper

Read More »

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