 |
Conference papers
Using RELAX, SysML and KAOS for Ambient Systems Requirements Modeling
Manzoor Ahmad 1
Author
Jean-Michel Bruel 2
Mail : Site :
Author IdHAL : jean-michel-bruel ORCID : https://orcid.org/0000-0002-3653-0148
Régine Laleau 3
Mail :
Author
Christophe Gnaho 3
Mail :
Author Employer institution : Université Paris Est Créteil
1
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
IRIT-MACAO - MACAO (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)
3
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
Domain :
Complete list of metadatas
https://hal.archives-ouvertes.fr/hal-01224634
Contributor : Régine Laleau <>
Submitted on : Wednesday, November 4, 2015 - 10:50:20 PM
Last modification on : Thursday, May 28, 2020 - 2:20:03 PM
Contributor : Régine Laleau <>
Submitted on : Wednesday, November 4, 2015 - 10:50:20 PM
Last modification on : Thursday, May 28, 2020 - 2:20:03 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
