Nicole Levy

Présentation

Publications

Article dans une revue (3)

Prise en compte des standards de qualité et des préférences utilisateurs pour la modélisation des propriétés non fonctionnelles dans OWL-S Nicole Lévy,Stéphane Jean,Francisca Losavio,Alfredo Matteo Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2012, 31, pp.39-69 Article dans une revue hal-01126123v1
Developing Ambient Intelligence Systems: A Solution based on Web Services Valérie Issarny,Daniele Sacchetti,Ferda Tartanoglu,Françoise Sailhan,Rafik Chiboutet al. Automated Software Engineering, 2005, 12 (1), pp.101-137. ⟨10.1023/B:AUSE.0000049210.42738.00⟩ Article dans une revue inria-00414951v1
Assistance au développement de spécifications de protocoles de communication Thomas Lambolais,Nicole Lévy,Jeanine Souquières Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 1998, 17 (9), pp.1061-1082 Article dans une revue inria-00098447v1

Communication dans un congrès (15)

Towards bridging the gap between domain and application design Mustapha Derras,Laurent Deruelle,Nicole Lévy,Francisca Losavio 6th International Conference on Enterprise Systems (ES), Oct 2018, Limassol, Cyprus. pp.44-49, ⟨10.1109/ES.2018.00014⟩ Communication dans un congrès lirmm-02464872v1
Towards correct-by-construction product variants of a software product line: GFML, a formal language for feature modules Thi-Kim-Zung Pham,Catherine Dubois,Nicole Lévy 6th Workshop on Formal Methods and Analysis in SPL Engineering (FMSPLE), Apr 2015, London, United Kingdom. pp.44-55, ⟨10.4204/EPTCS.182.4⟩ Communication dans un congrès lirmm-02464897v1
Graph Modelling of a Refactoring Process for Product Line Architecture Design Nicole Lévy,Francisca Losavio,Oscar Ordaz,Anthony Baiotto XXXIX Latin American Computing Conference, CLEI 2013, Oct 2013, Club Puerto Azul, Naiguatá, Venezuela. pp.2-13 Communication dans un congrès hal-01126323v1
Quality Standards Ontology for Web Service Discovery Nicole Lévy,Francisca Losavio,Alfredo Matteo,Amar Ramdane-Cherif,Hasna Hadj Salem XXXVII Conferencia Latinoamericana de Infor?tica (CLEI 2011), Oct 2011, Quito, Ecuador. pp.625-624 Communication dans un congrès hal-01126044v1
Reducing the Gap Between Formal and Informal Worlds in Automotive Safety-Critical Systems Ofaina Taofifenua,Hugo Chale,Thierry Gaudré,Alexandra Topa,Nicole Lévyet al. 21th annual INCOSE International Symposium, Jun 2011, Denver, United States Communication dans un congrès hal-01126045v1
Information management of mechatronic systems materials Rima Ben Mosbah,Sébastien Dourlens,Amar Ramdane-Cherif,Nicole Lévy,Francisca Losavio International Conference on Computer Systems and Technologies (CompSysTech?11), Jun 2011, Vienna, Austria. pp.273-279 Communication dans un congrès hal-01126048v1
Web Service Platform for Engineering Design Optimization of a Mechatronic Multi-parts Component Rima Ben Mosbah,Sébastien Dourlens,Amar Ramdane-Cherif,Nicole Lévy,Francisca Losavio International Conference on Computer Systems and Technologies (CompSysTech?11), Jun 2011, Vienna, Austria. pp.280-285 Communication dans un congrès hal-01126047v1
An Extension of OWL-S with Quality Standards Stéphane Jean,Francisca Losavio,Alfredo Matteo,Nicole Lévy Fourth IEEE International Conference on Research Challenges in Information Science (RCIS 2010), May 2010, Nice, France. pp.483-494, ⟨10.1109/RCIS.2010.5507520⟩ Communication dans un congrès hal-04161853v1
Coordinated Forward Error Recovery for Composite Web Services Ferda Tartanoglu,Valérie Issarny,Alexander B. Romanovsky,Nicole Levy 22nd Symposium on Reliable Distributed Systems : SRDS 2003, 2003, Florence, Italy. pp.167-176 Communication dans un congrès inria-00414799v1
From Requirements to Formal Specification Using UML and B Nicole Levy,Rafael Marcano Kamenoff,Jeanine Souquières International Conference on Computer Systems and technologies - CompSysTech'2002, 2002, Sofia, Bulgarie, 6 p Communication dans un congrès inria-00100758v1
Utilisation de patterns dans la construction de specifications en UML et B Rafael Marcano Kamenoff,Eric Meyer,Nicole Levy,Jeanine Souquières Approches Formelles dans l'Assistance au Developpement de Logiciels - AFADl'2000, Jan 2000, Grenoble, France, 15 p Communication dans un congrès inria-00099102v1
Spécification et spécialisation de patterns en UML et B Rafael Marcano Kamenoff,Nicole Lévy,Francisca Losavio Langages et Modèles à Objets - LMO'2000, 2000, Montreal, Canada, 16 p Communication dans un congrès inria-00099206v1
Variations sur le style architectural Pipe and Filter Songsakdi Rongviriyapanish,Nicole Lévy Approches formelles dans l'assistance au développement de logiciels - AFADl'2000, 2000, Grenoble, France, 17 p Communication dans un congrès inria-00099021v1
Analyzing and Comparing Architectural Styles Nicole Lévy,Francisca Losavio XIX International Conference of the Chilean Computer Society - SCCC'99, 1999, Talca, Chile, pp.87-95 Communication dans un congrès inria-00098786v1
Comparing Architectural Styles: Broker Specializes Mediator Nicole Lévy,Francisca Losavio,Alfredo Matteo Third International Software Architecture Workshop - ISAW 3, 1998, Orlando, Florida, USA, 4 p Communication dans un congrès inria-00098484v1

Poster de conférence (1)

Vers un développement formel non incrémental Thi-Kim-Dung Pham,Catherine Dubois,Nicole Levy AFADL 2016 : 15èmes journées des Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2016, Besançon, France. Edités par Aurélie Hurault et Nicolas Stouls, pp.106 - 113 Poster de conférence hal-01677923v1

Chapitre d'ouvrage (3)

Architecture and Quality of Software Systems Yann Pollet,Nicole Lévy,Francisca Losavio Wiley. Software Architectures 2, pp.133-170, 2014, 978-1-84821-688-4 Chapitre d'ouvrage hal-01126538v1
Architecture et qualité de systèmes logiciels Nicole Lévy,Francisca Losavio,Yann Pollet Hermès Sciences-Lavoisier. Architectures logicielles : principes, techniques et outils, pp.265-302, 2013, 978-2-7462-4517-4 Chapitre d'ouvrage hal-01126337v1
Dependability in the Web Services Architecture Ferda Tartanoglu,Valérie Issarny,Alexander B. Romanovsky,Nicole Levy Lemos, Rogerio de and Gacek, Cristina and Romanovsky, Alexander. Architecting dependable systems, Springer, pp.90-109, 2003 Chapitre d'ouvrage inria-00414794v1