Sciweavers

16725 search results - page 152 / 3345

» Engineering Software Correctness

111

ISPW
2005
IEEE

83views Software Engineering» more ISPW 2005»

Process Patterns for COTS-Based Development

15 years 8 months ago

Process Patterns for COTS-Based Development

Download www.icsp-conferences.org

Ye Yang

claim paper

Read More »

90

KBSE
2005
IEEE

116views Software Engineering» more KBSE 2005»

Compositional reasoning for port-based distributed systems

15 years 8 months ago

Compositional reasoning for port-based distributed systems

Download www.cs.uwaterloo.ca

Alma L. Juarez Dominguez, Nancy A. Day

claim paper

Read More »

92

KBSE
2005
IEEE

96views Software Engineering» more KBSE 2005»

ClassSheets: automatic generation of spreadsheet applications from object-oriented specifications

15 years 8 months ago

ClassSheets: automatic generation of spreadsheet applications from object-oriented specifications

Download web.engr.oregonstate.edu

Gregor Engels, Martin Erwig

claim paper

Read More »

98

KBSE
2005
IEEE

74views Software Engineering» more KBSE 2005»

Constraint-based test data generation in the presence of stack-directed pointers

15 years 8 months ago

Constraint-based test data generation in the presence of stack-directed pointers

Download www.irisa.fr

Arnaud Gotlieb, Tristan Denmat, Bernard Botella

claim paper

Read More »

80

KBSE
2005
IEEE

75views Software Engineering» more KBSE 2005»

Code security analysis with assertions

15 years 8 months ago

Code security analysis with assertions

Download computing-research.open.ac.uk

Jan Jürjens, Mark Yampolskiy

claim paper

Read More »

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