MetaCartSign in to MyCiteSeer

Include Citations | Advanced Search | Help

Include Citations | Advanced Search | Help

  A Short Tour Through ALF G'erome Canals

Download:
Download as a PDF | Download as a PS
by Nacer Boudjlida, Jean-claude Derniame, Claude Godart, Jacques Lonchamp
ftp://ftp.loria.fr/pub/loria/genielog/ALF/AlfSectionInPromoterBook.ps.Z
Add To MetaCart

Abstract:

Citations

241 An initial algebra approach to the specification, correctness, and implementation of abstract data types – Goguen, Thatcher, et al. - 1979
82 Intelligent Assistance for Software Development and Maintenance – Kaiser, Feiler, et al.
19 The specification of process synchronisation by path expressions – Campbell, Habermann - 1974
15 COO: A transaction model to support COOperating software developers COOrdination – Godart - 1993
6 Common Tool Environment (PCTE) --- Abstract Specification – Portable - 1994
3 Modeling of Software Process Assistance – Boudjlida, Charoy, et al. - 1989
3 Presentation of the ALF project – Benali, Boudjlida, et al. - 1989
2 Integration Mechanisms in ALF, a Process Model-Based Project Support Environment – Boudjlida, Basson - 1992
2 Sojtware Process Modelling in the ALF System: an Example – Boveroux, Canals, et al. - 1991
2 An overview of Rome Air Development Center's Software Life Cycle Support Environment – Cerino, LaMonica - 1990
1 What do we do and don't know about Software Process – Balzer - 1990
1 Assessment Criteria for the ALF Project – Boudjlida, Benali, et al. - 1991
1 Military Standard - Common ADA Programming Support Environment(APSE) Interface Set (Revision A – Proposed - 1988
1 M'ecanismes pour l'Assistance aux Utilisateurs dans un Atelier de G'enie Logiciel Conduit par des Mod`eles – Des - 1992
1 The MASP Concepts and their Rationales in the ALF Project – Derniame, al - 1990
1 Reference Manual for the MASP Definition Language – Derniame, al - 1991
1 Extending Cooperating Transaction Model to support Software Engineering Activities – Godart, Molli, et al. - 1992
1 Contribution `a la mod'elisation des proc'ed'es de fabrication de logiciel: support au travail coop'eratif – Godart - 1993
1 Description of MASP/DL Denotational Semantics using SML – Jamart - 1990
1 MASP : a Model for Assisted Software Environments – Legait, Oldfield, et al. - 1989
1 The Global Example Design – Lonchamp - 1991
1 Supporting Social Activities of Software Process – Lonchamp - 1992
View or Download | Add to My Collection | Correct Errors