Title of article
An abstract object model of an animalʹs environment
Author/Authors
Durnota، نويسنده , , Bohdan، نويسنده ,
Pages
5
From page
119
To page
123
Abstract
A formal object-oriented specification using Object-Z is given of part of an animalʹs environment. The object framework provides a closer match between natural categories and specified classes, and the formal specification acts as a tool to explicitly state all assumptions, consequences and behaviours involved for a set of objects at hand.
Keywords
Object-oriented models , Specification languages
Journal title
Astroparticle Physics
Record number
2034396
Link To Document