scientific article; zbMATH DE number 5492765
From MaRDI portal
Publication:5503619
zbMath1188.68098MaRDI QIDQ5503619
No author found.
Publication date: 15 January 2009
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
invariantsabstractionreuseprogramming methodologydesign by contractEiffelobject-oriented approachpostconditionspreconditionsinterface semantics``outside-in curriculumclassical object modelintroductory programmingprogram reading
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Theory of programming languages (68N15) General topics in the theory of software (68N01) Theory of software (68N99)
Related Items
Pointfree expression and calculation: From quantification to temporal logic, Inferring Loop Invariants Using Postconditions, Sound and Relaxed Behavioural Inheritance
Uses Software