CARI'96 : actes du 3ème colloque africain sur la recherche en informatique = CARI'96 : proceedings of the 3rd African conference on research in computer science

Ajouter des outils logiciels dans un environnement nécessite de leur permettre de communiquer avec les autres outils en échangeant et/ou partageant des données (intégration par les données) et en échangeant des informations de contrôle (requêtes, notifications). Ces deux dimensions de l'intégration ne sont pas toujours offertes dans le même environnement. Cette proposition vise à faciliter une intégration a posteriori d'outils par un contrôle qui prenne en compte la sémantique des messages échangés. (Résumé d'auteur

Modeling of Software Process Assistance

Software project development can be improved if assistance is provided to ensure furtherance in development. This paper reviews different kinds of assistance one can expect from a software development environment. Then, we propose concepts for sofware process modeling and we show how the resulting modeling can be used to achieve the different kinds of assistance. We relate our proposal to the framework of our investigations, namely the ALF ESPRIT project

Toward Process-Model-based Software Environment Kernels

The main role of the software process model is to describe a-priori how the development should run. The intent of such a description is to be interpreted by the infrastructure on which the development is done in order to safely drive it. Indeed, a large variety of knowledge is needed which concerns the software products, the tools which can be used, the policies to be obeyed. Considering this variety of knowledge, we rely on a "multiparadigm" approach to propose requirements and concepts for software process modeling i.e. for capturing, describing and using this knowledge to build model-based Software Engineering Environment fitted with assistance capabilities. Design and implementation issues are also considered

Software processes modeling : what, who, and when

Tire de : Proc. 2nd Workshop Software Process Technology, Trondheim (Norway), September 1992SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : RP 11808 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Structure design of distributed systems using interpreted Petri nets

Communication a : Proceedings tirteenth IEEE conference COMPSAC (Computer software of applications conference), Orlando (Florida, USA), September 1989SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : RP 10787 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Structure design of distributed systems using interpreted Petri nets

Communication a : Proceedings 10th International conference on application and theory of Petri nets, Bonn (RFA), June 1989Available at INIST (FR), Document Supply Service, under shelf-number : RP 10724 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueSIGLEFRFranc

Systeme axiomatique d'un modele d'objets complexes Cas du modele entite relation complet (ERC)

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : RP 11131 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

ERCLOG A logic-based programming language for the complete entity relationship model data bases

Rapport interneSIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : RP 11362 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc