<--- Back to Details
First PageDocument Content
Computer programming / Eiffel / Component-based software engineering / Design by contract / Generic programming / Postcondition / Precondition / Object / Multiple inheritance / Software engineering / Object-oriented programming / Computing
Date: 1998-10-12 03:47:47
Computer programming
Eiffel
Component-based software engineering
Design by contract
Generic programming
Postcondition
Precondition
Object
Multiple inheritance
Software engineering
Object-oriented programming
Computing

Object-Oriented Software Engineering with Ei el Jean-Marc Jezequel ISBN[removed]

Add to Reading List

Source URL: www.irisa.fr

Download Document from Source Website

File Size: 890,76 KB

Share Document on Facebook

Similar Documents

http://www.motomed.com/en.html Movement therapy for a better quality of life Physical movement is the precondition for your well-being. Let the MOTOmed bring movement into your life. It does not matter if you do passive

DocID: 1sDzq - View Document

Formal methods / Theoretical computer science / Software engineering / Mathematics / Hoare logic / Static program analysis / Algorithm / Precondition / Predicate transformer semantics / Loop invariant

Let tests drive or let Dijkstra derive? Presented at ALE2014 in Krakow Poland on August 21, 2014 Author: Sander Kooijmans Date: November 3, 2014 Why this document?

DocID: 1qWor - View Document

Filchner-Ronne Ice Shelf / British Antarctic Territory / Antarctica / Argentine Antarctica / Chilean Antarctic Territory / Water ice / Queen Elizabeth Land / Ronne / Ice shelf / Ice rise / Berkner Island / Wilhelm Filchner

Propagation of cracks through an ice shelf as precondition for calving: numerical experiments with an idealised glacial system

DocID: 1qFgu - View Document

Formal methods / Logic in computer science / Object-oriented programming / Postcondition / Precondition / Class invariant / Design by contract / Assertion / Constructor / Class / Invariant / Loop invariant

Inference of Necessary Field Conditions with Abstract Interpretation Mehdi Bouaziz 1 , Francesco Logozzo 2 , Manuel F¨ahndrich 2 ´ Ecole Normale Sup´erieure, Paris

DocID: 1px9E - View Document

Teacher training / Recruitment / Education in the United Kingdom / Formal methods / Induction / Credentialing / Precondition / Mathematical induction / Teacher induction

COMMISSION ON TEACHER CREDENTIALING General Education Induction Webinar: Preconditions, Standards,

DocID: 1oWwH - View Document