Sciweavers

15860 search results - page 131 / 3172

» On agent-based software engineering

87

VSTTE
2005
Springer

108views Software Engineering» more VSTTE 2005»

Modular Reasoning in Object-Oriented Programming

15 years 9 months ago

Modular Reasoning in Object-Oriented Programming

Download vstte.ethz.ch

David A. Naumann

claim paper

Read More »

86

VSTTE
2005
Springer

68views Software Engineering» more VSTTE 2005»

The Importance of Non-theorems and Counterexamples in Program Verification

15 years 9 months ago

The Importance of Non-theorems and Counterexamples in Program Verification

Download vstte.ethz.ch

Graham Steel

claim paper

Read More »

91

Voted

VSTTE
2005
Springer

109views Software Engineering» more VSTTE 2005»

Dependent Types, Theorem Proving, and Applications for a Verifying Compiler

15 years 9 months ago

Dependent Types, Theorem Proving, and Applications for a Verifying Compiler

Download vstte.ethz.ch

Yves Bertot, Laurent Théry

claim paper

Read More »

76

Voted

VSTTE
2005
Springer

80views Software Engineering» more VSTTE 2005»

Verify Your Runs

15 years 9 months ago

Verify Your Runs

Download vstte.ethz.ch

Klaus Havelund, Allen Goldberg

claim paper

Read More »

95

Voted

VSTTE
2005
Springer

75views Software Engineering» more VSTTE 2005»

Computational Logical Frameworks and Generic Program Analysis Technologies

15 years 9 months ago

Computational Logical Frameworks and Generic Program Analysis Technologies

Download vstte.ethz.ch

José Meseguer, Grigore Rosu

claim paper

Read More »

« Prev « First page 131 / 3172 Last » Next »