 |
Journal articles
A first attempt to combine SysML requirements diagrams and B
Régine Laleau
1
Farida Semmak
1
Abderrahman Matoussi
1
Dorian Petit
2
Ahmed Hammad
3
Bruno Tatibouët
3
Régine Laleau 1
Mail :
Author
Farida Semmak 1
Mail :
Author
Abderrahman Matoussi 1
Mail :
Author
Dorian Petit 2
Mail :
Author Employer institution : Université Polytechnique Hauts-de-France
Ahmed Hammad 3
Author Employer institution : Université de Franche-Comté
Bruno Tatibouët 3
Author Employer institution : Université de Franche-Comté
1
LACL - Laboratoire d'Algorithmique Complexité et Logique (Dép.d'informatique Bat.P2 61,avenue du général de Gaulle 94010 CRETEIL CEDEX - France)
- UPEC UP12 - Université Paris-Est Créteil Val-de-Marne - Paris 12 (61 avenue du Général de Gaulle - 94010 Créteil cedex - France)
- CNRS - Centre National de la Recherche Scientifique : FRE2673 (France)
2
LAMIH - Laboratoire d'Automatique, de Mécanique et d'Informatique industrielles et Humaines - UMR 8201 (LE MONT HOUY 59313 VALENCIENNES CEDEX 9 - France)
- UPHF - Université Polytechnique Hauts-de-France (Campus Mont Houy 59313 Valenciennes Cedex 9 - France)
- UPHF - Université Polytechnique Hauts-de-France (Campus Mont Houy 59313 Valenciennes Cedex 9 - France)
- CNRS - Centre National de la Recherche Scientifique : UMR 8201 (France)
3
FEMTO-ST - Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174) (32 avenue de l'Observatoire 25044 BESANCON CEDEX - France)
- UFC - Université de Franche-Comté (France)
- CNRS - Centre National de la Recherche Scientifique : UMR6174 (France)
- ENSMM - Ecole Nationale Supérieure de Mécanique et des Microtechniques (École Nationale Supérieure de Mécanique et des Microtechniques 26, rue de l'épitaphe CS 51813 25030 BESANÇON CEDEX - FRANCE - France)
- UTBM - Université de Technologie de Belfort-Montbeliard (France)
Abstract : no abstract
Domain :
Complete list of metadatas
https://hal.archives-ouvertes.fr/hal-01224642
Contributor : Régine Laleau <>
Submitted on : Wednesday, November 4, 2015 - 10:50:27 PM
Last modification on : Tuesday, May 26, 2020 - 11:34:03 AM
Contributor : Régine Laleau <>
Submitted on : Wednesday, November 4, 2015 - 10:50:27 PM
Last modification on : Tuesday, May 26, 2020 - 11:34:03 AM
Links full text
Identifiers
- HAL Id : hal-01224642, version 1
- DOI : 10.1007/s11334--009-0119-y
Collections
CNRS | UNIV-FCOMTE | LACL | UPEC-UPEM | UNIV-BM | FEMTO-ST | UNIV-BM-THESE | UNIV-VALENCIENNES | UPEC
Citation
Régine Laleau, Farida Semmak, Abderrahman Matoussi, Dorian Petit, Ahmed Hammad, et al.. A first attempt to combine SysML requirements diagrams and B. Innovations in Systems and Software Engineering, Springer Verlag, 2010, 1-2 (6), pp.47--54. ⟨10.1007/s11334--009-0119-y⟩. ⟨hal-01224642⟩
Metrics
Record views
