Nable Logo NaBLa Project
Nantes B Libraries 
sdssssssscbvcbvsssslhkhhkjhkjhkjhkhkjkjhkssssssdsdsdsdsdsdsdsdsdssd
Nantes B Libraries (Libraries of B specifications and development approaches)

 Keywords : B specifications, Reuse, Libraries, Reuse Techniques

Description
The project aims to provide usefull libraries for formal developement using the B Method (by JR Abrial). 
The construction of the libraries are based on the treatment of generic problems encountered in some software developement projects. 
Libraries / Ongoing Works

 Libraries of Components and case studies

Some documents
C. Attiogbé, NaBLa : Présentation et cahier de charges
RR 153-IRIN, Juillet 1997

C. Attiogbé, Réutilisation de composantes logicielles par filtrage sémantique,
10ème Conf. Int. Génie Logiciel et Applications, GL'97, Décembre 1997, Paris, FR, ISSN 0295-6332

C. Attiogbé, Meaning Matching: A Means for Design and Reuse of Abstract Machines,
RR 173-IRIN, October 1997

C. Attiogbé, Implementing a Logical Specification By its refinement within the B method,
RR 174-IRIN


       

Contact : email
LINA-COLOSS
Méthodes et Spécifications Formelles		 Addresse
LINA UMR CNRS 6241 - Faculté des sciences 
 2, rue de la Houssinière BP 92298 
44 322 Nantes Cedex 3