scientific article; zbMATH DE number 3848583

MaRDI QIDQ3318085zbMATH OpenFDO

Authors Grady Booch

Publication date 1983

zbMATH Keywords

abstract data typesAda programming languagedomainsobject-oriented designprocess controlprogramming methodologyspecification language

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) General topics in the theory of software (68N01)

Cited in

(14)

• Solving problems with automated reasoning, expert systems and neural networks
• scientific article; zbMATH DE number 1706229 (Why is no real title available?)
• scientific article; zbMATH DE number 49271 (Why is no real title available?)
• scientific article; zbMATH DE number 53092 (Why is no real title available?)
• scientific article; zbMATH DE number 1283780 (Why is no real title available?)
• scientific article; zbMATH DE number 487692 (Why is no real title available?)
• scientific article; zbMATH DE number 576347 (Why is no real title available?)
• scientific article; zbMATH DE number 978768 (Why is no real title available?)
• OOPM: An Object-Oriented Multimodeling and Simulation Application Framework
• scientific article; zbMATH DE number 2011466 (Why is no real title available?)
• scientific article; zbMATH DE number 194887 (Why is no real title available?)
• scientific article; zbMATH DE number 194895 (Why is no real title available?)
• Refinement Methodology for Ada
• Verifying Catamorphism-Based Contracts using Constrained Horn Clauses

Describes a project that uses

Uses Software

• Ada95

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3318085)