 |
Conference papers
Using RELAX, SysML and KAOS for Ambient Systems Requirements Modeling
Manzoor Ahmad
1
Jean-Michel Bruel
1
Régine Laleau
2
Christophe Gnaho
2
1
IRIT-MACAO - Modèles, Architectures, Composants, Agilité et prOcessus
IRIT - Institut de recherche en informatique de Toulouse
Manzoor Ahmad 1
Author
Jean-Michel Bruel 1
Author Employer institution : Université Toulouse - Jean Jaurès IdHAL : jean-michel-bruel arXiv : https://arxiv.org/a/jmbruel ResearcherId : http://www.researcherid.com/rid/ABD-5184-2020 IdRef : https://www.idref.fr/175721068 ORCID : https://orcid.org/0000-0002-3653-0148
Régine Laleau 2
Author
Christophe Gnaho 2
Author Employer institution : Université Paris Est Créteil
1
IRIT-MACAO - Modèles, Architectures, Composants, Agilité et prOcessus (IRIT
118 Route de Narbonne
31062 Toulouse Cedex 9 - France)
- IRIT - Institut de recherche en informatique de Toulouse (118 Route de Narbonne, F-31062 Toulouse Cedex 9 - France)
- UT1 - Université Toulouse 1 Capitole (2 rue du Doyen-Gabriel-Marty - 31042 Toulouse Cedex 9 - France)
- UT2J - Université Toulouse - Jean Jaurès (5 allées Antonio Machado - 31058 Toulouse Cedex 9 - France)
- UT3 - Université Toulouse III - Paul Sabatier (118 route de Narbonne - 31062 Toulouse - France)
- Université Fédérale Toulouse Midi-Pyrénées (41 Allée Jules Guesde, 31000 Toulouse - France)
- CNRS - Centre National de la Recherche Scientifique : UMR5505 (France)
- Toulouse INP - Institut National Polytechnique (Toulouse) (France)
- Université Fédérale Toulouse Midi-Pyrénées (41 Allée Jules Guesde, 31000 Toulouse - France)
2
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)
Abstract : no abstract
Document type :
Conference papers
Domain :
Complete list of metadata
https://hal.archives-ouvertes.fr/hal-01224634
Contributor : Régine Laleau <>
Submitted on : Wednesday, November 4, 2015 - 10:50:20 PM
Last modification on : Tuesday, May 4, 2021 - 4:07:42 PM
Contributor : Régine Laleau <>
Submitted on : Wednesday, November 4, 2015 - 10:50:20 PM
Last modification on : Tuesday, May 4, 2021 - 4:07:42 PM
Identifiers
- HAL Id : hal-01224634, version 1
Collections
CNRS | LACL | UNIV-TLSE2 | UPEC-UPEM | SMS | UNIV-TLSE3 | UPEC | UT1-CAPITOLE | IRIT
Citation
Manzoor Ahmad, Jean-Michel Bruel, Régine Laleau, Christophe Gnaho. Using RELAX, SysML and KAOS for Ambient Systems Requirements Modeling. International Conference on Ambient Systems, Networks and Technologies/International Conference on Mobile Web Information Systems (ANT/MobiWIS), 2012, Unknown, Unknown Region. pp.474-481. ⟨hal-01224634⟩
Metrics
Record views