Nicole Levy
Nicole Levy
CEDRIC, CNAM
Bestätigte E-Mail-Adresse bei cnam.fr
Titel
Zitiert von
Zitiert von
Jahr
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
632002
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
Analyzing and comparing architectural styles
N Lévy, F Losavio
Proceedings. SCCC'99 XIX International Conference of the Chilean Computer …, 1999
131999
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20