Defining relationships in ecology using object-oriented formal specifications

Authors:
B Durnota
Affiliations:
Department of Software Development Monash University, Caulfield P.O. Box 197, Caulfield East, Australia 3145
Venue:
Mathematical and Computer Modelling: An International Journal
Year:
1994

Citing 8
Cited 0

The ECO program construction system: ways of increasing its representational power and their effects on the user interface

International Journal of Man-Machine Studies
Eco-logic: logic-based approaches to ecological modelling

Eco-logic: logic-based approaches to ecological modelling
Eiffel: the language

Eiffel: the language
The Z notation: a reference manual

The Z notation: a reference manual
A Case-Study in Timed Refinement: A Mine Pump

IEEE Transactions on Software Engineering - Special issue: specification and analysis of real-time systems
Refinement methods and refinement calculi

Software Engineering Journal
Z: An Introduction to Formal Methods

Z: An Introduction to Formal Methods
Reasoning and Refinement in Object-Oriented Specification Languages

ECOOP '92 Proceedings of the European Conference on Object-Oriented Programming

Quantified Score

Hi-index	0.98

Visualization

Abstract

A formal object-oriented specification using Object-Z is given of an animal's environment which builds on previous work using formal descriptions in this area. 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 behaviors involved for a set of objects at hand. The object-oriented specification can then be used as a basis for building a corresponding software system using an object-oriented language.