Formal verification of a telerehabilitation system through an abstraction and refinement approach using Uppaal

Autor: Farid Arfi, Anne‐Lise Courbis, Thomas Lambolais, François Bughin, Maurice Hayot

Publikováno v: IET Software, Vol 17, Iss 4, Pp 582-599 (2023)

Abstract Formal methods are proven techniques that provide a rigorous mathematical basis to software development. In particular, they allow the quality of development to be effectively improved by making accurate and explicit modelling, so that anoma

Externí odkaz: https://doaj.org/article/af1ce492120b424dadc62bf0fcf962ad

Towards Boosting Requirements Engineering of a Health Monitoring App by Analysing Similar Apps: A Vision Paper

Autor: Jialiang Wei, Anne-Lise Courbis, Thomas Lambolais, Pierre Louis Bernard, Gerard Dray

Publikováno v: 2022 IEEE 30th International Requirements Engineering Conference Workshops (REW).

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::1850818f81d38eca5389887736232889
https://doi.org/10.1109/rew56159.2022.00020

IDF: A framework for the incremental development and conformance verification of UML active primitive components

Autor: Anne-Lise Courbis, Christian Percebois, Hong-Viet Luong, Thomas Lambolais

Publikováno v: Journal of Systems and Software
Journal of Systems and Software, Elsevier, 2016, 113, pp.275-295. ⟨10.1016/j.jss.2015.11.020⟩
Journal of Systems and Software, Elsevier, 2016, vol. 113, pp. 275-295. ⟨10.1016/j.jss.2015.11.020⟩
Journal of Systems and Software, Elsevier, 2016, 113, pp.275-295

International audience; Modelling component behaviour is widely recognised as a complex task during the specification and design phases of reactive systems. Our proposal for treating this problem involves an incremental approach that allows UML state

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::597545471d12ee8526d84709331ee379
https://doi.org/10.1016/j.jss.2015.11.020

Allergic Rhinitis and its Impact on Asthma (ARIA) Phase 4 (2018): Change management in allergic rhinitis and asthma multimorbidity using mobile technology

Autor: Karin C. Lødrup Carlsen, L. Cecchi, F. Portejoie, T. Vontetsianos, Olivier Vandenplas, M. van Hague, D. Mora Bogado, M. Illario, Dana Wallace, L. Namazova-Baranova, E. Asayag, I. Ribeirinho, E. Costa, Shona Pedersen, Inger Kull, Davor Plavec, M. Morais-Almeida, Mickael Bewick, N.H. Chavannes, I. J. Ansotegui, G. De Carlo, K. S. Bennoor, Faradiba Sarquis Serpa, S. Arnavielle, F. Corti, Moises A. Calderon, Martín Bedolla-Barajas, Mette Sørensen, Isabella Annesi-Maesano, Elaine Colgan, Przemyslaw Kardas, M. van Eerd, Jorge Maspero, Valérie Siroux, Isabelle Momas, Ralph Mösges, Yves Dauvilliers, T. Keil, T. Bieber, Marit Westman, Rachel Nadif, O. Pfaar, A.C. Carvalho Coehlo, R. M. Cortés-Grimaldo, I. Skrindo, Piotr Kuna, Nicola Scichilone, Antonella Muraro, Kimihiro Okubo, Paulo Augusto Moreira Camargos, C. Cartier, Oliver Pfaar, K. Ohta, Barbara P. Yawn, Igor Kaidashev, Michel Thibaudon, X. Basagana, I. Kaidashev, Bilun Gemicioglu, S. Genova, Hae-Sim Park, J.J. Matta Campos, Simon Walker, Ulf Darsow, Fulvio Braido, J. Salimäki, T. Zuberbier, Raphaël Chiron, Mohammad Reza Masjedi, G.D. Marshall, Branislava Milenkovic, W. J. Fokkens, Eric D. Bateman, Robert M. Naclerio, Steve Montefort, M. de Fátima Emerson, T. Werfel, Cemal Cingi, A. Szylling, Martin Wagenmann, I. Baiardini, L. T. T. Le, N. Khaltaev, Ki-Suck Jung, Agnieszka Lipiec, Panayiotis K. Yiallouros, A Valero, R. Gerth van Wijk, L. Hernández, Marek L. Kowalski, C. Zubrinich, Sinthia Bosnic-Anticevich, Miguel A. Sierra, Erik Melén, T. Haahtela, Rute Almeida, Violeta Kvedariene, R. Pawankar, T.A. Popov, Flore Amat, Sanna Toppila-Salmi, M. Gotua, A. Sheikh, A. Bedbrook, Torsten Zuberbier, B. De Martino, Gérard Dray, Francesca Avolio, E. Mandajieva, B. Samolinski, Petr Panzner, P. Kuna, Philippe-Jean Bousquet, T. D. Nyembue, Luo Zhang, Leyla Namazova-Baranova, Ana Maria Carriazo, João Fonseca, E. Van Ganse, Roland Buhl, M. Bochenska Marciniak, Cristiana Stellato, J. da Silva, J. E. Gereda, Han-Jung Park, M.C. Costa-Dominguez, W. Carr, Dirceu Solé, S. Forti, Nanshan Zhong, Jordi Sunyer, Alain Didier, Y. Z. Chen, Thomas B. Casale, Jim Phillips, Isabelle Bosse, Manuel Teixeira Veríssimo, D. Y. Wang, U. Trama, Cristina Bárbara, David Somekh, T. Camuzat, R. N. Naclerio, Enrico Novellino, Leszek Klimek, M. Rodriguez Gonzalez, Holger J. Schünemann, Mario Barbagallo, D. Larenas-Linnemann, Mario Sánchez-Borges, Massimo Triggiani, Y. Okamoto, E. Mathieu-Dupas, N. Di Carluccio, S. Toppila-Salmi, Omer Kalayci, Rudolf Valenta, J. Coll, F. de Blay, Wienczyslawa Czarlewski, W. Pohl, Piotr Wroczyński, Kian Fan Chung, Nikolaos G. Papadopoulos, Pascal Demoly, Hubert Blain, M. Crescenzo, O. Kalayci, Leocadio Rodríguez-Mañas, G. Moda, L. Cox, Z. Gutter, A. Mair, Andrew Bush, Maria-Dolores Mogica-Martinez, Giorgio Walter Canonica, Antonio Valero, Daniel Laune, A. Zurkuhlen, Paul C. Potter, D. Wallace, Gabrielle L. Onorato, Mihaela Zidarn, E.P. Prokopakis, Anne Lise Courbis, Sergio Bonini, Ruta Dubakiene, A. Papi, Y. El-Gamal, Jacques Mercier, Wytske Fokkens, Rodolphe Bourret, S. Palkonen, A. Yorgancioglu, G. Vezzani, J. A. Rizzo, D. Plavec, D. Caillot, G. De Feo, E. Menditto, Caterina Bucca, A. C. Pozzi, Hironori Sagara, I. Grisle, I. Pin, Christopher E. Brightling, Ludger Klimek, F.F. Morato-Castro, Désirée Larenas-Linnemann, Alessandro Vatrella, A. A. Cruz, Guy Joos, E.D. Bateman, Erendira Rodriguez-Zagal, H. Douagui, T. To, Edgardo Jares, C. Bindslev-Jensen, G. Levato, J. O. B. Hourihane, R. Rajabian-Soderlund, C. Odzhakova, J. Bousquet, M. T. Ventura, Arzu Yorgancioglu, Osman M. Yusuf, H. J. Zar, Giovanni Rolla, Sebastian L. Johnston, M.S. Dykewicz, Esben Eller, A. Gamkrelidze, Filip Raciborski, Renzo Angles, Rafael Stelmach, M. Nogues, David Price, Mário Morais-Almeida, Tari Haahtela, Teresa To, D. Conforti, Stephen R. Durham, S. Gonzalez Diaz, V. Cardona, Werner Aberer, B. Milenkovic, Luigi Napoli, K. C. Bergmann, P W Hellings, M. Lessa, P. Panzner, Alfonso M. Cepeda Sarabia, M. Guidacci, A.L. Matos, Todor A. Popov, C. Suppli Ulrik, Diana Deleanu, N. de Paula Motta Rubini, Carsten Bindslev-Jensen, I. Majer, Ioana Agache, B. A. Barreto, R. Picard, Erkka Valovirta, A. Fink-Wagner, L. Colas, João O. Malva, Thomas Keil, M. T. Burguete Cabañas, Bolesław Samoliński, M.H. Garcia-Cruz, L.P. Boulet, K. Nekam, Edyta Krzych-Fałta, P. Devillier, J. Ferreira de Mello, Jussi Karjalainen, I. Bogus-Buczynska, Susan Waserman, Marcus Maurer, Tomas Chivato, Elena Bacci, M. Przemecka, Olga Lourenço, José Miguel Fuentes-Pérez, M. Zidarn, Talant Sooronbaev, J.M. Anto, W. Czarlewski, R. Murray, Luís Nogueira-Silva, G. Passalacqua, E. Chkhartishvili, Oscar Mayora, Victoria Cardona, M. Sondermann, Piotr Lacwik, S. Ouedraogo, I. Baroni, Artur Z. Białoszewski, G Scadding, J. Strozek, R. Emuzyte, Neven Miculinic, Ruby Pawankar, Ken Ohta, I. Agache, J.L. Gálvez-Romero, Nikos G. Papadopoulos, E. O. Meltzer, I. Annesi-Maesano, E. De Manuel Keenoy, Jorge A. Luna-Pech, Ana Margarida Pereira, Paul Potter, M. Ortega Cisneros, J. Li, K. F. Rabe, M. Rottem, Mikael Benson, Ali Fuat Kalyoncu, Dermot Ryan, Dieter Maier, C.Y. García-Cobas, S. Bialek, G. Du Toit, S. Shamai, S. Mavale-Manuel, Rojin Rajabian-Soderlund, Maddalena Illario, Philippe Devillier, F. Rodenas, Emmanuel P. Prokopakis, De Yun Wang, Niels H. Chavannes, E.H.D. Bel, Bianca Beghe, Sietze Reitsma, John Wright, O. Lourenço, L.T.T. Le, Josep M. Antó, T. Casale, Paul K. Keith, K. C. Lødrup Carlsen, P. Demoly, Mikael Kuitunen, Marc Humbert, A. M. Cepeda Sarabia, Ignacio J. Ansotegui, M.C. Rizzo, Davide Caimmi, Milan Sova, Nick A. Guldemond, P. Yakovliev, Judah A. Denburg, Jaime Correia de Sousa, Elisabete Melo-Gomes, Aziz Sheikh, I. Bosse, M. M. Ciaravolo, S. Di Capua Ercolano, Alpana Mair, P. Lieberman, Isabella Pali-Schöll, Leif Bjermer, G. De Vries, M. Roman Rodriguez, Johanna Salimäki, Carmen Panaitescu, F. Mihaltan, Giulia De Feo, F. E. R. Simons, A. Blua, B. Mahboub, D. Ryan, M. Bewick, Anabela Mota-Pinto, J.A. Fonseca, Neil Wilson, Marek Jutel, Dennis M. Williams, M. Akdis, Menachem Rottem, Marcello Persico, J. C. Ivancevich, Nelson Rosario, A. Farsi, Alvaro A. Cruz, Liguo Zhang, Anna Bedbrook, L. Bertorello, Magnus Wickman, Marilyn Urrutia-Pereira, O. Spranger, René Maximiliano Gómez, C. Bachert, Renaud Louis, Musa Khaitov, C. Stellato, Constantinos Pitsios, Roland Buonaiuto, A. Romano, Sîan A Williams, R. Puy, Daniela Rivero-Yeverino, Y. Mohammad, J. Farrell, Jan Brozek, Ricardo Pio Monti, E. Paulino, J. Correia de Sousa, Miguel Alejandro Medina-Ávalos, Jocelyne Just, Peter Valentin Tomazic, Jean-François Ferrero, Antoine Magnan, S. Waserman, J Rosado-Pinto, Maciek Kupczyk, C.S. Bosnic-Anticevich, T. Dedeu, Tommi Vasankari, R. Mösges, Robin O'Hehir, Ema Paulino, Peter Hellings, A. Neou, M. Wickman, D. Lauri, Jean Bousquet, A. Ciceran, Jacques Bouchard, Yehia El-Gamal, M.G. Dominguez-Silva, M.R. Alberti, Jean-Louis Pépin, Kimi Okubo, Juan Carlos Ivancevich, Patrik Eklund, Benoit Pugin, C. Dario, Mussa Khaitov, Luisa Brussino, A.G. Chuchalin, Elísio Costa, Susanna Palkonen, Lars Münter, Pedro Carreiro-Martins, R.E. Pulido Ross, Ettore Novellino, Kai-Håkon Carlsen, María Antonieta Guzmán, G.W. Canonica, Gabriel Onorato, Giuseppe De Carlo, R.E. Roller-Wirnsberger, Brian J. Lipworth, M. A. Guzman, J.N. Tebyriçá, Adnan Custovic, Yoshitaka Okamoto, Rimantas Stukas, P. Manning, J. Sastre-Dominguez, Caroline L.S. George, Robyn E O'Hehir, K. Maciej, Bassam Mahboub, J. F. Fontaine, Arũnas Valiulis, Xavier Rodó, D. Vicheva, G. Canfora, Vitalis Briedis, S. Rodrigues Valle, Mark S. Dykewicz, Joanne Rimmer, G. Castellano, B. Pigearias, A. L. Boner, Yunuen Rocío Huerta-Villalobos, Christine Rolland, H. Neffen, H. Arshad, Javier Gómez-Vera, P. Moura Santo, Frederic Viart, F. Blasi, J. Garcia-Aymerich, Lorenzo Cecchi, V. Niedeberger, Giorgio Ciprandi, F. Caballero-Fonseca, Jean-François Fontaine, J Mullol, Maurizio Romano, M. Viegi, Mario E. Zernotti, Arunas Valiulis, Anna Asarnoj, Antonio Nieto, J. Lavrut, D. Dokic, V. Kvedariene, Ewa Jassem, Cezmi A. Akdis, Ruth Murray, Claus Bachert, Peter Schmid-Grendelmeier, Emilie Burte, Joaquim Mullol, Guido Iaccarino, J. Kleine-Tebbe, P. V. Tomazic, E. Eller, Alessandro Fiocchi, H.J. Schunemann, M. Sorlini, C. Robalo-Cordeiro, Ana-Maria Todo-Bom, J. Brozek, Marco Nalin, Matteo Bonini, J. C. Sisul, S.E. Dahlen, F. Amat, Juan Carlos Sisul, Jawad Hajjam, Ana Todo-Bom, Enrica Menditto

Publikováno v: The journal of allergy and clinical immunology, vol. 143, no. 3, pp. 864-879, 2019.
Journal of Allergy and Clinical Immunology
Journal of Allergy and Clinical Immunology, 2019, 143 (3), pp.864-879. ⟨10.1016/j.jaci.2018.08.049⟩
Repositório Científico de Acesso Aberto de Portugal
Repositório Científico de Acesso Aberto de Portugal (RCAAP)
instacron:RCAAP
Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
Agência para a Sociedade do Conhecimento (UMIC)-FCT-Sociedade da Informação
The Journal of allergy and clinical immunology, Vol. 143, no. 3, p. 864-879 (2019)
Journal of Allergy and Clinical Immunology, Elsevier, 2019, 143 (3), pp.864-879. ⟨10.1016/j.jaci.2018.08.049⟩
JOURNAL OF ALLERGY AND CLINICAL IMMUNOLOGY
r-IIS La Fe. Repositorio Institucional de Producción Científica del Instituto de Investigación Sanitaria La Fe
instname
Journal of Allergy and Clinical Immunology, 143(3), 864-879. MOSBY-ELSEVIER
Bousquet, J, Hellings, P W, Agache, I, Amat, F, Annesi-Maesano, I, Ansotegui, I J, Anto, J M, Bachert, C, Bateman, E D, Bedbrook, A, Bennoor, K, Bewick, M, Bindslev-Jensen, C, Bosnic-Anticevich, S, Bosse, I, Brozek, J, Brussino, L, Canonica, G W, Cardona, V, Casale, T, Cepeda Sarabia, A M, Chavannes, N H, Cecchi, L, Correia de Sousa, J, Costa, E, Cruz, A A, Czarlewski, W, De Carlo, G, De Feo, G, Demoly, P, Devillier, P, Dykewicz, M S, El-Gamal, Y, Eller, E, Fonseca, J A, Fontaine, J-F, Fokkens, W J, Guzmán, M-A, Haahtela, T, Illario, M, Ivancevich, J-C, Just, J, Kaidashev, I, Khaitov, M, Kalayci, O, Keil, T, Klimek, L, Kowalski, M L, Kuna, P, Kvedariene, V, MASK study group & Pedersen, S 2019, ' Allergic Rhinitis and its Impact on Asthma (ARIA) Phase 4 (2018) : Change management in allergic rhinitis and asthma multimorbidity using mobile technology ', Journal of Allergy and Clinical Immunology, vol. 143, no. 3, pp. 864-879 . https://doi.org/10.1016/j.jaci.2018.08.049
Journal of allergy and clinical immunology, 143(3), 864-879. Mosby Inc.
Journal of allergy and clinical immunology (2018). doi:10.1016/j.jaci.2018.08.049
info:cnr-pdr/source/autori:Bousquet J.; Hellings P.W.; Agache I.; Amat F.; Annesi-Maesano I.; Ansotegui I.J.; Anto J.M.; Bachert C.; Bateman E.D.; Bedbrook A.; Bennoor K.; Bewick M.; Bindslev-Jensen C.; Bosnic-Anticevich S.; Bosse I.; Brozek J.; Brussino L.; Canonica G.W.; Cardona V.; Casale T.; Cepeda Sarabia A.M.; Chavannes N.H.; Cecchi L.; Correia de Sousa J.; Costa E.; Cruz A.A.; Czarlewski W.; De Carlo G.; De Feo G.; Demoly P.; Devillier P.; Dykewicz M.S.; El-Gamal Y.; Eller E.E.; Fonseca J.A.; Fontaine J.-F.; Fokkens W.J.; Guzman M.-A.; Haahtela T.; Illario M.; Ivancevich J.-C.; Just J.; Kaidashev I.; Khaitov M.; Kalayci O.; Keil T.; Klimek L.; Kowalski M.L.; Kuna P.; Kvedariene V.; Larenas-Linnemann D.; Laune D.; Le L.T.T.; Carlsen K.L.; Lourenco O.; Mahboub B.; Mair A.; Menditto E.; Milenkovic B.; Morais-Almeida M.; Mosges R.; Mullol J.; Murray R.; Naclerio R.; Namazova-Baranova L.; Novellino E.; O'Hehir R.E.; Ohta K.; Okamoto Y.; Okubo K.; Onorato G.L.; Palkonen S.; Panzner P.; Papadopoulos N.G.; Park H.-S.; Paulino E.; Pawankar R.; Pfaar O.; Plavec D.; Popov T.A.; Potter P.; Prokopakis E.P.; Rottem M.; Ryan D.; Salimaki J.; Samolinski B.; Sanchez-Borges M.; Schunemann H.J.; Sheikh A.; Sisul J.-C.; Rajabian-Soderlund R.; Sooronbaev T.; Stellato C.; To T.; Todo-Bom A.-M.; Tomazic P.-V.; Toppila-Salmi S.; Valero A.; Valiulis A.; Valovirta E.; Ventura M.-T.; Wagenmann M.; Wang D.Y.; Wallace D.; Waserman S.; Wickman M.; Yorgancioglu A.; Zhang L.; Zhong N.; Zidarn M.; Zuberbier T.; Bousquet J.; Hellings P.W.; Aberer W.; Agache I.; Akdis C.A.; Akdis M.; Alberti M.R.; Almeida R.; Amat F.; Angles R.; Annesi-Maesano I.; Ansotegui I.J.; Anto J.M.; Arnavielle S.; Asayag E.; Asarnoj A.; Arshad H.; Avolio F.; Bacci E.; Bachert C.; Baiardini I.; Barbara C.; Barbagallo M.; Baroni I.; Barreto B.A.; Basagana X.; Bateman E.D.; Bedolla-Barajas M.; Bedbrook A.; Bewick M.; Beghe B.; Bel E.H.; Bergmann K.C.; Bennoor K.S.; Benson M.; Bertorello L.; Bialoszewski A.Z.; Bieber T.; Bialek S.; Bindslev-Jensen C.; Bjermer L.; Blain H.; Blasi F.; Blua A.; Bochenska Marciniak M.; Bogus-Buczynska I.; Boner A.L.; Bonini M.; Bonini S.; Bosnic-Anticevich C.S.; Bosse I.; Bouchard J.; Boulet L.P.; Bourret R.; Bousquet P.J.; Braido F.; Briedis V.; Brightling C.E.; Brozek J.; Bucca C.; Buhl R.; Buonaiuto R.; Panaitescu C.; Burguete Cabanas M.T.; Burte E.; Bush A.; Caballero-Fonseca F.; Caillot D.; Caimmi D.; Calderon M.A.; Camargos P.A.M.; Camuzat T.; Canfora G.; Canonica G.W.; Cardona V.; Carlsen K.H.; Carreiro-Martins P.; Carriazo A.M.; Carr W.; Cartier C.; Casale T.; Castellano G.; Cecchi L.; Cepeda Sarabia A.M.; Chavannes N.H.; Chen Y.; Chiron R.; Chivato T.; Chkhartishvili E.; Chuchalin A.G.; Chung K.F.; Ciaravolo M.M.; Ciceran A.; Cingi C.; Ciprandi G.; Carvalho Coehlo A.C.; Colas L.; Colgan E.; Coll J.; Conforti D.; Correia de Sousa J.; Cortes-Grimaldo R.M.; Corti F.; Costa E.; Costa-Dominguez M.C.; Courbis A.L.; Cox L.; Crescenzo M.; Cruz A.A.; Custovic A.; Czarlewski W.; Dahlen S.E.; Dario C.; da Silva J.; Dauvilliers Y.; Darsow U.; De Blay F.; De Carlo G.; Dedeu T.; de Fatima Emerson M.; De Feo G.; De Vries G.; De Martino B.; de Paula Motta Rubini N.; Deleanu D.; Demoly P.; Denburg J.A.; Devillier P.; Di Capua Ercolano S.; Di Carluccio N.; Didier A.; Dokic D.; Dominguez-Silva M.G.; Douagui H.; Dray G.; Dubakiene R.; Durham S.R.; Du Toit G.; Dykewicz M.S.; El-Gamal Y.; Eklund P.; Eller E.; Emuzyte R.; Farrell J.; Farsi A.; Ferreira de Mello J.; Ferrero J.; Fink-Wagner A.; Fiocchi A.; Fokkens W.J.; Fonseca J.A.; Fontaine J.F.; Forti S.; Fuentes-Perez J.M.; Galvez-Romero J.L.; Gamkrelidze A.; Garcia-Aymerich J.; Garcia-Cobas C.Y.; Garcia-Cruz M.H.; Gemicioglu B.; Genova S.; George C.; Gereda J.E.; Gerth van Wijk R.; Gomez R.M.; Gomez-Vera J.; Gonzalez Diaz S.; Gotua M.; Grisle I.; Guidacci M.; Guldemond N.A.; Gutter Z.; Guzman M.A.; Haahtela T.; Hajjam J.; Hernandez L.; Hourihane J.O.B.; Huerta-Villalobos Y.R.; Humbert M.; Iaccarino G.; Illario M.; Ivancevich J.C.; Jares E.J.; Jassem E.; Johnston S.L.; Joos G.; Jung K.S.; Jutel M.; Kaidashev I.; Kalayci O.; Kalyoncu A.F.; Karjalainen J.; Kardas P.; Keil T.; Keith P.K.; Khaitov M.; Khaltaev N.; Kleine-Tebbe J.; Klimek L.; Kowalski M.L.; Kuitunen M.; Kull I.; Kuna P.; Kupczyk M.; Kvedariene V.; Krzych-Falta E.; Lacwik P.; Larenas-Linnemann D.; Laune D.; Lauri D.; Lavrut J.; Le L.T.T.; Lessa M.; Levato G.; Li J.; Lieberman P.; Lipiec A.; Lipworth B.; Lodrup Carlsen K.C.; Louis R.; Lourenco O.; Luna-Pech J.A.; Maciej K.; Magnan A.; Mahboub B.; Maier D.; Mair A.; Majer I.; Malva J.; Mandajieva E.; Manning P.; De Manuel Keenoy E.; Marshall G.D.; Masjedi M.R.; Maspero J.F.; Mathieu-Dupas E.; Matta Campos J.J.; Matos A.L.; Maurer M.; Mavale-Manuel S.; Mayora O.; Medina-Avalos M.A.; Melen E.; Melo-Gomes E.; Meltzer E.O.; Menditto E.; Mercier J.; Miculinic N.; Mihaltan F.; Milenkovic B.; Moda G.; Mogica-Martinez M.D.; Mohammad Y.; Momas I.; Montefort S.; Monti R.; Mora Bogado D.; Morais-Almeida M.; Morato-Castro F.F.; Mosges R.; Mota-Pinto A.; Moura Santo P.; Mullol J.; Munter L.; Muraro A.; Murray R.; Naclerio R.; Nadif R.; Nalin M.; Napoli L.; Namazova-Baranova L.; Neffen H.; Niedeberger V.; Nekam K.; Neou A.; Nieto A.; Nogueira-Silva L.; Nogues M.; Novellino E.; Nyembue T.D.; O'Hehir R.E.; Odzhakova C.; Ohta K.; Okamoto Y.; Okubo K.; Onorato G.L.; Ortega Cisneros M.; Ouedraogo S.; Pali-Scholl I.; Palkonen S.; Panzner P.; Papadopoulos N.G.; Park H.S.; Papi A.; Passalacqua G.; Paulino E.; Pawankar R.; Pedersen S.; Pepin J.L.; Pereira A.M.; Persico M.; Pfaar O.; Phillips J.; Picard R.; Pigearias B.; Pin I.; Pitsios C.; Plavec D.; Pohl W.; Popov T.A.; Portejoie F.; Potter P.; Pozzi A.C.; Price D.; Prokopakis E.P.; Puy R.; Pugin B.; Pulido Ross R.E.; Przemecka M.; Rabe K.F.; Raciborski F.; Rajabian-Soderlund R.; Reitsma S.; Ribeirinho I.; Rimmer J.; Rivero-Yeverino D.; Rizzo J.A.; Rizzo M.C.; Robalo-Cordeiro C.; Rodenas F.; Rodo X.; Rodriguez Gonzalez M.; Rodriguez-Manas L.; Rolland C.; Rodrigues Valle S.; Roman Rodriguez M.; Romano A.; Rodriguez-Zagal E.; Rolla G.; Roller-Wirnsberger R.E.; Romano M.; Rosado-Pinto J.; Rosario N.; Rottem M.; Ryan D.; Sagara H.; Salimaki J.; Samolinski B.; Sanchez-Borges M.; Sastre-Dominguez J.; Scadding G.K.; Schunemann H.J.; Scichilone N.; Schmid-Grendelmeier P.; Serpa F.S.; Shamai S.; Sheikh A.; Sierra M.; Simons F.E.R.; Siroux V.; Sisul J.C.; Skrindo I.; Sole D.; Somekh D.; Sondermann M.; Sooronbaev T.; Sova M.; Sorensen M.; Sorlini M.; Spranger O.; Stellato C.; Stelmach R.; Stukas R.; Sunyer J.; Strozek J.; Szylling A.; Tebyrica J.N.; Thibaudon M.; To T.; Todo-Bom A.; Tomazic P.V.; Toppila-Salmi S.; Trama U.; Triggiani M.; Suppli Ulrik C.; Urrutia-Pereira M.; Valenta R.; Valero A.; Valiulis A.; Valovirta E.; van Eerd M.; van Ganse E.; van Hague M.; Vandenplas O.; Ventura M.T.; Vezzani G.; Vasankari T.; Vatrella A.; Verissimo M.T.; Viart F.; Viegi M.; Vicheva D.; Vontetsianos T.; Wagenmann M.; Walker S.; Wallace D.; Wang D.Y.; Waserman S.; Werfel T.; Westman M.; Wickman M.; Williams D.M.; Williams S.; Wilson N.; Wright J.; Wroczynski P.; Yakovliev P.; Yawn B.P.; Yiallouros P.K.; Yorgancioglu A.; Yusuf O.M.; Zar H.J.; Zhang L.; Zhong N.; Zernotti M.E.; Zidarn M.; Zuberbier T.; Zubrinich C.; Zurkuhlen A./titolo:Allergic Rhinitis and its Impact on Asthma (ARIA) Phase 4 (2018): Change management in allergic rhinitis and asthma multimorbidity using mobile technology/doi:10.1016%2Fj.jaci.2018.08.049/rivista:Journal of allergy and clinical immunology/anno:2018/pagina_da:/pagina_a:/intervallo_pagine:/volume
Recercat. Dipósit de la Recerca de Catalunya
Journal of Allergy and Clinical Immunology, 143(3), 864-879. Mosby Inc.

Allergic Rhinitis and its Impact on Asthma (ARIA) has evolved from a guideline by using the best approach to integrated care pathways using mobile technology in patients with allergic rhinitis (AR) and asthma multimorbidity. The proposed next phase o

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1166c2b69caefff1429dd7a6b266bef9
http://juuli.fi/Record/0334787418

Requirements Authoring and Verification for SMEs’ Information Systems Engineering

Autor: N. Amokrane, Vincent Chapurlat, M. Rahhou, Thomas Lambolais, Anne-Lise Courbis

Publikováno v: Proceddings INCOM 2015
15th IFAC Symposium on Information Control in Manufacturing (INCOM 2015)
15th IFAC Symposium on Information Control in Manufacturing (INCOM 2015), IFAC, May 2015, Ottawa, Canada. ⟨10.1016/j.ifacol.2015.06.421⟩

International audience; Requirements engineering is a major step in any project to enhance its chances to succeed. For many reasons, this step is particularly crucial when it is question of (re)engineering information systems to support the business

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d2b0a5c7d6522acaaa38397fc87a1f2f
https://hal.archives-ouvertes.fr/hal-01930462