Nicole Levy
Nicole Levy
CEDRIC, CNAM
Verified email at cnam.fr
Title
Cited by
Cited by
Year
Developing ambient intelligence systems: A solution based on web services
V Issarny, D Sacchetti, F Tartanoglu, F Sailhan, R Chibout, N Levy, ...
Automated Software Engineering 12 (1), 101-137, 2005
1492005
Quality characteristics for software architecture
F Losavio, L Chirinos, N LÚvy, A Ramdane-Cherif
Journal of object Technology 2 (2), 133-150, 2003
1492003
Coordinated forward error recovery for composite web services
V Issarny, F Tartanoglu, A Romanovsky, N Levy
22nd International Symposium on Reliable Distributed Systems, 2003á…, 2003
1412003
Dependability in the Web services architecture
F Tartanoglu, V Issarny, A Romanovsky, N Levy
Architecting dependable systems, 90-109, 2003
1202003
ISO quality standards for measuring architectures
F Losavio, L Chirinos, A Matteo, N LÚvy, A Ramdane-Cherif
Journal of systems and software 72 (2), 209-223, 2004
972004
Using B formal specifications for analysis and verification of UML/OCL models
R Marcano, N Levy
In Workshop on consistency problems in UML-based software development. 5thá…, 2002
622002
Description of specification developments
J Souquieres, N Levy
[1993] Proceedings of the IEEE International Symposium on Requirementsá…, 1993
411993
Transformation rules of OCL constraints into B formal expressions
R Marcano, N Levy
Critical Systems Development with UML–Proceedings of the UML 2, 155-162, 2002
392002
Designing quality architecture: incorporating ISO standards into the unified process
F Losavio, L Chirinos, A Matteo, N LÚvy, A Ramdane-Cherif
Information Systems Management 21 (1), 27-44, 2004
312004
Using LOTOS patterns to characterize architectural styles
M Heisel, N LÚvy
Colloquium on Trees in Algebra and Programming, 818-832, 1997
271997
Transformation d'annotations OCL en expressions B
R Marcano, N Levy
AFADL'2001: approches formelles dans l'assistance au dÚveloppement deá…, 2001
222001
A Framework Based Measurements for Evaluating an IS Quality.
O Lamouchi, A Ramdane-Cherif, N LÚvy
APCCM, 39-47, 2008
212008
Kinematic inversion
A Ramdane-Cherif, B Daachi, A Benallegue, N LÚvy
IEEE/RSJ International Conference on Intelligent Robots and Systems 2, 1904-1909, 2002
212002
Generic multimedia multimodal agents paradigms and their dynamic reconfiguration at the architectural level
H Djenidi, S Benarif, A Ramdane-Cherif, C Tadj, N LÚvy
EURASIP Journal on Advances in Signal Processing 2004 (11), 1-20, 2004
202004
Using the b method for the formalization of coordinated atomic actions
F Tartanoglu, N Levy, V Issarny, A Romanovsky
Proc. ICSE 2003 Workshop on Software Architectures for Dependable System, 2004
202004
11.2. 2 Reducing the Gap Between Formal and Informal Worlds in Automotive Safety‐Critical Systems
HG ChalÚ, O Taofifenua, T GaudrÚ, A Topa, N LÚvy, JL Boulanger
INCOSE International Symposium 21 (1), 1306-1320, 2011
162011
A language-independent approach to specification construction
N LÚvy, G Smith
ACM SIGSOFT Software Engineering Notes 19 (5), 76-86, 1994
151994
Graph modelling of a refactoring process for Product Line Architecture design
F Losavio, O Ordaz, N Levy, A Ba´otto
2013 XXXIX Latin American Computing Conference (CLEI), 1-12, 2013
132013
Web services domain knowledge with an ontology on software quality standards
F Losavio, A Matteo, N Levy
Proceedings of the Third International Conferences on Internet Technologiesá…, 2009
132009
A multi-agent based multimodal system adaptive to the user’s interaction context
MD Hina, C Tadj, A Ramdane-Cherif, N Levy
Multi-Agent Systems–Modeling, Interactions, Simulations and Case Studies, 29-56, 2011
122011
The system can't perform the operation now. Try again later.
Articles 1–20