Reasoning about the correctness of software development process

Authors:
Claudia Pons;Gabriel Baum
Affiliations:
LIFIA - Universidad Nacional de La Plata, Argentina;LIFIA - Universidad Nacional de La Plata, Argentina
Venue:
Proceedings of the 24th International Conference on Software Engineering
Year:
2002

Citing 3
Cited 0

Contracts: specifying behavioral compositions in object-oriented systems

OOPSLA/ECOOP '90 Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications
The unified software development process

The unified software development process
Refinement Calculus: A Systematic Introduction

Refinement Calculus: A Systematic Introduction

Quantified Score

Hi-index	0.00

Visualization

Abstract