Spremljaj
Nicole Levy
Nicole Levy
CEDRIC, CNAM
Preverjeni e-poštni naslov na cnam.fr
Naslov
Navedeno
Navedeno
Leto
Quality characteristics for software architecture
F Losavio, L Chirinos, N Lévy, A Ramdane-Cherif
Journal of object Technology 2 (2), 133-150, 2003
1682003
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, 101-137, 2005
1522005
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
1432003
Dependability in the Web services architecture
F Tartanoglu, V Issarny, A Romanovsky, N Levy
Architecting dependable systems, 90-109, 2003
1232003
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
1062004
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
471993
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
Inf. Syst. Manag. 21 (1), 27-44, 2004
352004
Using LOTOS patterns to characterize architectural styles
M Heisel, N Lévy
Colloquium on Trees in Algebra and Programming, 818-832, 1997
281997
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
252002
Transformation d'annotations OCL en expressions B
R Marcano, N Levy
AFADL'2001: approches formelles dans l'assistance au développement de …, 2001
232001
A Framework Based Measurements for Evaluating an IS Quality.
O Lamouchi, A Ramdane-Cherif, N Lévy
APCCM, 39-47, 2008
212008
Using the b method for the formalization of coordinated atomic actions
F Tartanoglu, N Levy, V Issarny, A Romanovsky
School of Computing Science Technical Report Series, 2004
212004
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, 1-20, 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
172011
A language-independent approach to specification construction
N Lévy, G Smith
ACM SIGSOFT Software Engineering Notes 19 (5), 76-86, 1994
161994
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
152013
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
Spécification et spécialisation de patterns en UML et B
RM Kamenoff, N Lévy, F Losavio
Langages et Modèles à Objets-LMO'2000, 16 p, 2000
132000
Sistem trenutno ne more izvesti postopka. Poskusite znova pozneje.
Članki 1–20