Project: A formal object oriented method for automatic software generation.
- project duration
- 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.