Bibtex de la publication

@InCollection{ CrBoMiCa2003.1,
author = {Cruellas, Juan-Carlos and Bodeveix, Jean-Paul and Millan, Thierry and Canals, Agusti},
title = "{The NEPTUNE Technology to verify and to Document Software cOMPONENTS}",
booktitle = "{Business Component-Based Software Engineering}",
publisher = {Kluwer Academic Publishers},
address = {Post Office Box 322 - 330 AH Dordrecht - THE NETHERLANDS},
year = {2003},
editor = {Barbier, Franck},
pages = {101--118},
keywords = {Methodology, Checking, Rules, Documentation, Tools, UML, OCL, XML, XMI, XSL, and Java},
abstract = {The main objective of the NEPTUNE project (Nice Environment with a Process and Tools Using Norms and Example) is to develop both a method and tools (complementary to the existing software environments) based on the use of the UML notation. This method, gained from considerable experience in the industrial environment, will apply to a variety of different fields: software development, business processes and knowledge management. The newly developed tools will enable to be statically check UML models for their coherence. They will also enable generation of professional documentation resulting from the transformation of models. This will be compliant with the context of the UML notation and will take into account user's requirements. The method and tools developed in this way will facilitate the application of the UML standard as well as promoting its use in a large number of varied fields.}
}