scientific article; zbMATH DE number 568889

zbMath0799.68005MaRDI QIDQ4294659

Chris Dollin, Fiona Hayes, Stephanie Bodoff, Patrick Arnold, Helena Gilchrist, Paul Jeremaes, Derek Coleman

Publication date: 17 May 1994

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

object-orientationsoftware developmentformal methods for specification

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Theory of software (68N99)

Uses Software

• Eiffel
• Unnamed Item

This page was built for publication: