Advanced search

Project: A formal object oriented method for automatic software generation.

01-JAN-95 – 31-DEC-99

Abstract
A unification between an existing formolism for formal specification (Funmath) and the object oriented paradigm will be searched. In a second phase a generic and formal model of an information system will be realized. Both previous phases are the foundation of the software generation to be developed.