Flavio Oquendo
Flavio Oquendo
Full Professor of Computer Science and Software Engineering, IRISA - European University of Brittany/UBS, France
Verified email at univ-ubs.fr - Homepage
Title
Cited by
Cited by
Year
π-ADL: an Architecture Description Language based on the higher-order typed π-calculus for specifying dynamic and mobile software architectures
F Oquendo
ACM SIGSOFT Software Engineering Notes 29 (3), 1-14, 2004
3322004
ArchWare: Architecting Evolvable Software
F Oquendo, B Warboys, R Morrison, R Dindeleux, F Gallo, H Garavel, ...
European Workshop on Software Architecture, 257-271, 2004
1082004
Ramodel: A reference model for reference architectures
EY Nakagawa, F Oquendo, M Becker
2012 Joint Working IEEE/IFIP Conference on Software Architecture and …, 2012
852012
Support for evolving software architectures in the ArchWare ADL
R Morrison, G Kirby, D Balasubramaniam, K Mickan, F Oquendo, ...
Proceedings. Fourth Working IEEE/IFIP Conference on Software Architecture …, 2004
772004
The state of the art and future perspectives in systems of systems software architectures
EY Nakagawa, M Gonçalves, M Guessi, LBR Oliveira, F Oquendo
Proceedings of the First International Workshop on Software Engineering for …, 2013
692013
Formally describing the software architecture of systems-of-systems with SosADL
F Oquendo
2016 11th system of systems engineering conference (SoSE), 1-6, 2016
672016
A systematic literature review on the description of software architectures for systems of systems
M Guessi, VVG Neto, T Bianchi, KR Felizardo, F Oquendo, EY Nakagawa
Proceedings of the 30th Annual ACM Symposium on Applied Computing, 1433-1440, 2015
602015
A comparative review of process-centered software engineering environments
S Arbaoui, JC Derniame, F Oquendo, H Verjus
Annals of Software Engineering 14 (1-4), 311-340, 2002
592002
Presentation of the ALF project
K Benali, N Boudjlida, F Charoy, JC Derniame, C Godart, P Griffiths, ...
Proceedings of the International Conference on System Development …, 1989
571989
π-Method: a model-driven formal method for architecture-centric software engineering
F Oquendo
ACM SIGSOFT Software Engineering Notes 31 (3), 1-13, 2006
532006
Formally modelling software architectures with the UML 2.0 profile for π-ADL
F Oquendo
ACM SIGSOFT Software Engineering Notes 31 (1), 1-13, 2006
522006
π-ARL: an architecture refinement language for formally modelling the stepwise refinement of software architectures
F Oquendo
ACM SIGSOFT Software Engineering Notes 29 (5), 1-20, 2004
512004
A mission-oriented approach for designing system-of-systems
E Silva, T Batista, F Oquendo
2015 10th System of Systems Engineering Conference (SoSE), 346-351, 2015
492015
Consolidating a process for the design, representation, and evaluation of reference architectures
EY Nakagawa, M Guessi, JC Maldonado, D Feitosa, F Oquendo
2014 IEEE/IFIP Conference on Software Architecture, 143-152, 2014
432014
P-space: A formal architecture description language based on process algebra for evolving software systems
C Chaudet, F Oquendo
Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated …, 2000
432000
PEACE: goal-oriented logic-based formalism for process modelling
S Arbaoui, F Oquendo
Software process modelling and technology, 249-278, 1994
381994
Software architecture challenges and emerging research in software-intensive systems-of-systems
F Oquendo
European Conference on Software Architecture, 3-21, 2016
372016
The archware adl: Definition of the abstract syntax and formal semantics
F Oquendo, I Alloui, S Cîmpan, H Verjus
ARCHWARE European RTD Project IST-2001-32360. Deliverable D 1, 2002
362002
π-AAL: an architecture analysis language for formally specifying and verifying structural and behavioural properties of software architectures
R Mateescu, F Oquendo
ACM SIGSOFT Software Engineering Notes 31 (2), 1-19, 2006
352006
Statistical model checking of dynamic software architectures
E Cavalcante, J Quilbeuf, LM Traonouez, F Oquendo, T Batista, A Legay
European Conference on Software Architecture, 185-200, 2016
342016
The system can't perform the operation now. Try again later.
Articles 1–20