Nicole Levy

22
Documents

Présentation

Publications

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
Deposit thumbnail

Developing Ambient Intelligence Systems: A Solution based on Web Services

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

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
Deposit thumbnail

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évy et 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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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