Jean-Claude Royer
Jean-Claude Royer
Professor IMT Atlantique, France
E-mail confirmado em imt-atlantique.fr - Página inicial
TítuloCitado porAno
A model-driven traceability framework for software product lines
N Anquetil, U Kulesza, R Mitschke, A Moreira, JC Royer, A Rummler, ...
Software & Systems Modeling 9 (4), 427-451, 2010
1392010
Optimizing method search with lookup caches and incremental coloring
P André, JC Royer
ACM Sigplan Notices 27 (10), 110-126, 1992
82*1992
Model-driven and software product line engineering
H Arboleda, JC Royer
ISTE Limited, 2012
432012
Aspect-oriented, model-driven software product lines: The AMPLE way
A Rashid, JC Royer, A Rummler
Cambridge University Press, 2011
432011
A java implementation of a component model with explicit symbolic protocols
S Pavel, J Noyé, P Poizat, JC Royer
International Conference on Software Composition, 115-124, 2005
382005
Checking the Consistency of UML Class Diagrams Using Larch Prover.
P André, A Romanczuk, JC Royer, A Vasconcelos
Rigorous Object-Oriented Methods, 2000
382000
A formal architectural description language based on symbolic transition systems and modal logic
P Poizat, JC Royer
342006
A global semantics for views
C Choppy, P Poizat, JC Royer
International Conference on Algebraic Methodology and Software Technology …, 2000
332000
From informal requirements to COOP: a Concurrent Automata Approach
P Poizat, C Choppy, JC Royer
International Symposium on Formal Methods, 939-962, 1999
291999
Concurrency and data types: A specification method an example with LOTOS
P Poizat, C Choppy, JC Royer
International Workshop on Algebraic Development Techniques, 277-293, 1998
271998
Towards a model of accountability for cloud computing services
D Catteddu, M Felici, G Hogben, A Holcroft, E Kosta, R Leenes, C Millard, ...
Pre-Proceedings of International Workshop on Trustworthiness, Accountability …, 2013
262013
Checking asynchronously communicating components using symbolic transition systems
O Maréchal, P Poizat, JC Royer
OTM Confederated International Conferences" On the Move to Meaningful …, 2004
262004
The STSLib project: Towards a formal component model based on STS
F Fernandes, JC Royer
Electronic Notes in Theoretical Computer Science 215, 131-149, 2008
252008
Dealing with fine-grained configurations in model-driven SPLs
H Arboleda, R Casallas, JC Royer
Proceedings of the 13th International Software Product Line Conference, 1-10, 2009
242009
Formal methods for component description, coordination and adaptation
P Poizat, JC Royer, G Salaün
Canal et al.[4], 89-100, 2004
232004
The Korrigan Environment
C Choppy, P Poizat, JC Royer
Journal of Universal Computer Science 7 (1), 19-36, 2001
222001
Bounded analysis and decomposition for behavioural descriptions of components
P Poizat, JC Royer, G Salaün
International Conference on Formal Methods for Open Object-Based Distributed …, 2006
212006
A new set interpretation of the inheritance relation and its checking
JC Royer
ACM SIGPLAN OOPS Messenger 3 (3), 22-40, 1992
211992
Product Derivation in a Model-Driven Software Product Line using Decision Models.
H Arboleda, A Romero, R Casallas, JC Royer
CIbSE, 59-72, 2009
202009
A conceptual model for evaluating the impact of spatial management measures on the dynamics of a mixed fishery
D Pelletier, S Mahévas, B Poussin, J Bayon, P André, JC Royer
Spatial Processes and Management of Marine Populations 17, 53-66, 2001
202001
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–20