Methods Integration / NatIF Project

NatIF Project Home Page
(Nantes Integration Framework) / July 2000 -
sdssssssscbvcbvsssslhkhhkjhkjhkjhkhkjkjhkssssssdsdsdsdsdsdsdsdsdssd

Formal Methods Integration / NatIF
The NatIF Project aims to provide specific environment for a multiparadigm-integrated method. Given a requirement specifications of a given system, NatIF provides the user with the appropriate tools to deal with this particular system. This is done by the generation of the environment appropriate to the system at hand. The idea is that, instead of providing general integrated method, we have to build specific integrated method corresponding to the requirements or to the class of systems. This consists in chosing the methods/formalisms suitable to the paradigms involved by the requirements and integrate them when they are sematically compatible. or generating abstract specification language (and accompanied tools) according to paradigms identified in the requirements.

Formal Methods Integration / NatIF

The NatIF Project aims to provide specific environment for a multiparadigm-integrated method.
Given a requirement specifications of a given system, NatIF provides the user with the appropriate tools to deal with this particular system.
This is done by the generation of the environment appropriate to the system at hand.
The idea is that, instead of providing general integrated method, we have to build specific integrated method corresponding to the requirements or to the class of systems.
This consists in

chosing the methods/formalisms suitable to the paradigms involved by the requirements and integrate them when they are sematically compatible.
or generating abstract specification language (and accompanied tools) according to paradigms identified in the requirements.

Related Documents, Tools

Tools

GFX-1 : The Nantes Generic Framework (June 2002)

Documents

RR : Christian Attiogbé, A Generic Framework for Methods Integration, Nantes, July 2000

Project Responsible : Christian Attiogbé

Other Links
MSF/IRIN

Contact : email
IRIN - MSF
Méthodes et Spécifications Formelles

Addresse
IRIN - Faculté des sciences
2, rue de la Hussinière BP 92298
44 322 Nantes Cedex 3