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-SRevue 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 ServicesAutomated 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 communicationRevue 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
|
|
Towards bridging the gap between domain and application design6th 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 modules6th 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 DesignXXXIX 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 ComponentInternational 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 DiscoveryXXXVII 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 Systems21th annual INCOSE International Symposium, Jun 2011, Denver, United States
Communication dans un congrès
hal-01126045v1
|
|
Information management of mechatronic systems materialsInternational Conference on Computer Systems and Technologies (CompSysTech?11), Jun 2011, Vienna, Austria. pp.273-279
Communication dans un congrès
hal-01126048v1
|
|
|
An Extension of OWL-S with Quality StandardsFourth 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 Services22nd 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 BInternational Conference on Computer Systems and technologies - CompSysTech'2002, 2002, Sofia, Bulgarie, 6 p
Communication dans un congrès
inria-00100758v1
|
|
|
Variations sur le style architectural Pipe and FilterApproches 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 BLangages 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 BApproches Formelles dans l'Assistance au Developpement de Logiciels - AFADl'2000, Jan 2000, Grenoble, France, 15 p
Communication dans un congrès
inria-00099102v1
|
|
|
Analyzing and Comparing Architectural StylesXIX 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 MediatorThird 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émentalAFADL 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 SystemsWiley. Software Architectures 2, pp.133-170, 2014, 978-1-84821-688-4
Chapitre d'ouvrage
hal-01126538v1
|
|
Architecture et qualité de systèmes logicielsHermè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 ArchitectureLemos, Rogerio de and Gacek, Cristina and Romanovsky, Alexander. Architecting dependable systems, Springer, pp.90-109, 2003
Chapitre d'ouvrage
inria-00414794v1
|