Project: A formal object oriented method for automatic software generation.
01-JAN-95 – 31-DEC-99
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.