Title of article :
An abstract object model of an animalʹs environment
Author/Authors :
Durnota، نويسنده , , Bohdan، نويسنده ,
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 :
Specification languages , Object-oriented models
Journal title :
Astroparticle Physics
