Accéder directement au contenu

Nicole Levy

22
Documents

Présentation

\[depuis 2010\] : Professeur d'Université au CNAM \[1998 – 2010\] : Professeur à l'Université de Versailles Saint-Quentin en Yvelines \[1984 – 1998\] : Maître de conférences de l'Université Henri Poincaré, Nancy 1

Publications

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
Image document

Developing Ambient Intelligence Systems: A Solution based on Web Services

Valérie Issarny , Daniele Sacchetti , Ferda Tartanoglu , Françoise Sailhan , Rafik Chibout
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
Image document

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
Image document

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

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

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évy
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
Image document

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
Image document

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
Image document

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

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

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
Image document

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

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

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
Image document

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