| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Paulo F. Pires, Flávio Oquendo, Ana Paula Terra Bacelo |
Software Components, Architectures and Reuse.  |
J. UCS  |
2011 |
DBLP BibTeX RDF |
|
| 1 | Flávio Oquendo, Eltjo Poort, Judith Stafford |
Guest Editors Introduction to the Special Issue. |
Journal of Systems and Software |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ronald Morrison, Graham N. C. Kirby, Dharini Balasubramaniam, Kath Mickan, Flávio Oquendo, Sorana Cîmpan, Brian Warboys, Bob Snowdon, R. Mark Greenwood |
Constructing Active Architectures in the ArchWare ADL |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Ronald Morrison, Graham N. C. Kirby, Dharini Balasubramaniam, Kath Mickan, Flávio Oquendo, Sorana Cîmpan, Brian Warboys, Bob Snowdon, R. Mark Greenwood |
Support for Evolving Software Architectures in the ArchWare ADL |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Maruf Pasha, Flávio Oquendo, Hafiz Farooq Ahmad |
Negotiation in Heterogeneous Environments. |
ITNG |
2010 |
DBLP DOI BibTeX RDF |
Ontology Gateway and Semantic Web, Ontologies, Web services, Agents |
| 1 | Cládia Werner, Flávio Oquendo |
Software Components, Architectures and Reuse. |
J. UCS |
2009 |
DBLP BibTeX RDF |
|
| 1 | Flávio Oquendo |
On the Correctness of Software Architectures - Formal Specification of Correctness Properties using pi-AAL. |
ICSOFT |
2009 |
DBLP BibTeX RDF |
|
| 1 | Nadeem Akhtar, Yann Le Guyadec, Flávio Oquendo |
Formal Specification and Verification of Multi-Agent Robotics Software Systems - A Case Study. |
ICAART |
2009 |
DBLP BibTeX RDF |
|
| 1 | Marcos López Sanz, Zawar Qayyum, Carlos E. Cuesta, Esperanza Marcos, Flávio Oquendo |
Representing Service-Oriented Architectural Models Using pi-ADL. |
ECSA |
2008 |
DBLP DOI BibTeX RDF |
PIM-level modelling, ?-ADL, Service-Oriented Architecture, Model-Driven Architecture |
| 1 | Flávio Oquendo |
Formal Approach for the Development of Business Processes in Terms of Service-Oriented Architectures Using Pi-ADL. |
SOSE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Flávio Oquendo |
Dynamic Software Architectures: Formally Modelling Structure and Behaviour with Pi-ADL. |
ICSEA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Zaheer Abbas Khan, Mohammed Odeh, Tony Solomonides, Flávio Oquendo |
The BPMSOA: evaluating the enactment of a business process using application domain specific grid services. |
iiWAS |
2008 |
DBLP DOI BibTeX RDF |
execution and evaluation, SOA, digital libraries, business process modelling, grid services, process enactment |
| 1 | Zawar Qayyum, Flávio Oquendo |
.NET Extensions to the p-architecture Description Languages. |
SEKE |
2008 |
DBLP BibTeX RDF |
|
| 1 | Esperanza Marcos, Carlos E. Cuesta, Flávio Oquendo |
Guest Editors' Introduction. |
Int. J. Cooperative Inf. Syst. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Flávio Oquendo (eds.) |
Software Architecture, First European Conference, ECSA 2007, Aranjuez, Spain, September 24-26, 2007, Proceedings |
ECSA |
2007 |
DBLP BibTeX RDF |
|
| 1 | Ronald Morrison, Dharini Balasubramaniam, Flávio Oquendo, Brian Warboys, R. Mark Greenwood |
An Active Architecture Approach to Dynamic Systems Co-evolution. |
ECSA |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Di Wu, Jie Chen 0008, Flávio Oquendo |
Formal Model-Driven Engineering of Distributed Simulation Systems based on Architecture-Centric Domain-Specific Approach. |
APSEC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | David Manset, Hervé Verjus, Richard McClatchey, Flávio Oquendo |
A Formal Architecture-Centric Model-Driven Approach for the Automatic Generation of Grid Applications |
CoRR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Selma Azaiez, Marc-Philippe Huget, Flávio Oquendo |
An approach for Multi-Agent metamodelling. |
Multiagent and Grid Systems |
2006 |
DBLP BibTeX RDF |
|
| 1 | Flávio Oquendo |
pi-Method: a model-driven formal method for architecture-centric software engineering. |
ACM SIGSOFT Software Engineering Notes |
2006 |
DBLP DOI BibTeX RDF |
architecture analysis languages, architecture transformation/refinement languages, architecture-centric software engineering, software architectures, formal methods, model-driven development, architecture description languages, component-based software engineering |
| 1 | Radu Mateescu, Flávio Oquendo |
pi-AAL: an architecture analysis language for formally specifying and verifying structural and behavioural properties of software architectures. |
ACM SIGSOFT Software Engineering Notes |
2006 |
DBLP DOI BibTeX RDF |
architecture analysis languages, formal development techniques, software architectures, property specification, property verification |
| 1 | Flávio Oquendo |
Formally modelling software architectures with the UML 2.0 profile for pi-ADL. |
ACM SIGSOFT Software Engineering Notes |
2006 |
DBLP DOI BibTeX RDF |
?-ADL, UML 2.0 profile, architecture description language, software architecture modelling |
| 1 | Frédéric Pourraz, Hervé Verjus, Flávio Oquendo |
An Architecture-Centric Approach for Managing the Evolution of EAI Services-Oriented Architecture. |
ICEIS |
2006 |
DBLP BibTeX RDF |
|
| 1 | David Manset, Hervé Verjus, Richard McClatchey, Flávio Oquendo |
A Formal Architecture-Centric Model-Driven Approach for the Automatic Generation of Grid Applications. |
ICEIS |
2006 |
DBLP BibTeX RDF |
|
| 1 | Frédéric Pourraz, Hervé Verjus, Flávio Oquendo |
p-Diapason : un langage pour la formalisation des architectures orientées services Web. |
CAL |
2006 |
DBLP BibTeX RDF |
|
| 1 | Hervé Verjus, Sorana Cîmpan, Ilham Alloui, Flávio Oquendo |
Gestion des architectures évolutives dans ArchWare. |
CAL |
2006 |
DBLP BibTeX RDF |
|
| 1 | Mourad Chabane Oussalah, Flávio Oquendo, Dalila Tamzalit, Tahar Khammaci (eds.) |
1er Conférence francophone sur les Architectures Logicielles (CAL 2006), 4-6 September 2006, Nantes, France |
CAL |
2006 |
DBLP BibTeX RDF |
|
| 1 | Volker Gruhn, Flávio Oquendo (eds.) |
Software Architecture, Third European Workshop, EWSA 2006, Nantes, France, September 4-5, 2006, Revised Selected Papers |
EWSA |
2006 |
DBLP BibTeX RDF |
|
| 1 | Jérôme Revillard, Sorana Cîmpan, Eric Benoit, Flávio Oquendo |
Intelligent Instrument Design With ArchWare ADL. |
MDB/MOMPES |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | David Manset, Richard McClatchey, Flávio Oquendo, Hervé Verjus |
A Model-driven Approach for Grid Services Engineering |
CoRR |
2005 |
DBLP BibTeX RDF |
|
| 1 | Jérôme Revillard, Sorana Cîmpan, Eric Benoit, Flávio Oquendo |
Intelligent Instrument Design With ArchWare ADL. |
WICSA |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Olivier Ratcliffe, Sorana Cîmpan, Flávio Oquendo |
Case Study on Architecture-Centered Design for Monitoring Views at CERN. |
WICSA |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Ronald Morrison, Flávio Oquendo (eds.) |
Software Architecture, 2nd European Workshop, EWSA 2005, Pisa, Italy, June 13-14, 2005, Proceedings |
EWSA |
2005 |
DBLP BibTeX RDF |
|
| 1 | Sorana Cîmpan, Fabien Leymonerie, Flávio Oquendo |
Handling Dynamic Behaviour in Software Architectures. |
EWSA |
2005 |
DBLP DOI BibTeX RDF |
software architectures, dynamic systems, architecture description language |
| 1 | Flávio Oquendo |
Formally refining software architectures with pi-ARL: a case study. |
ACM SIGSOFT Software Engineering Notes |
2004 |
DBLP DOI BibTeX RDF |
formal development techniques, software architectures, case study, stepwise refinement |
| 1 | Flávio Oquendo |
pi-ARL: an architecture refinement language for formally modelling the stepwise refinement of software architectures. |
ACM SIGSOFT Software Engineering Notes |
2004 |
DBLP DOI BibTeX RDF |
architecture refinement languages, formal development techniques, software architectures, stepwise refinement |
| 1 | Flávio Oquendo |
pi-ADL: an Architecture Description Language based on the higher-order typed pi-calculus for specifying dynamic and mobile software architectures. |
ACM SIGSOFT Software Engineering Notes |
2004 |
DBLP DOI BibTeX RDF |
specification languages, Architecture Description Languages, ?-calculus, dynamic architectures, mobile architectures |
| 1 | Fabien Leymonerie, Lionel Blanc Dit Jolicoeur, Sorana Cîmpan, Christian Braesch, Flávio Oquendo |
Towards a Business Process Formalisation Based on an Architecture Centred Approach. |
ICEIS |
2004 |
DBLP BibTeX RDF |
|
| 1 | Ilham Alloui, Flávio Oquendo |
Describing Software-Intensive Process Architectures Using a UML-Based ADL. |
ICEIS |
2004 |
DBLP BibTeX RDF |
|
| 1 | Ronald Morrison, Graham N. C. Kirby, Dharini Balasubramaniam, Kath Mickan, Flávio Oquendo, Sorana Cîmpan, Brian Warboys, Bob Snowdon, R. Mark Greenwood |
Support for Evolving Software Architectures in the ArchWare ADL. |
WICSA |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Olivier Ratcliffe, Sorana Cîmpan, Flávio Oquendo, Luigi Scibile |
Formalization of an HCI Style for Accelerator Restart Monitoring. |
EWSA |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Flávio Oquendo, Brian Warboys, Ronald Morrison (eds.) |
Software Architecture, First European Workshop, EWSA 2004, St Andrews, UK, May 21-22, 2004, Proceedings |
EWSA |
2004 |
DBLP BibTeX RDF |
|
| 1 | Flávio Oquendo, Brian Warboys, Ronald Morrison, Régis Dindeleux, Ferdinando Gallo, Hubert Garavel, Carmen Occhipinti |
ArchWare: Architecting Evolvable Software. |
EWSA |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Ilham Alloui, Karim Megzari, Flávio Oquendo |
Modelling and Generating Business-To-Business Applications Using an Architecture Description Language - Based Approach. |
ICEIS |
2003 |
DBLP BibTeX RDF |
|
| 1 | Selma Arbaoui, Alain Haurat, Flávio Oquendo, Franck Théroude, Hervé Verjus |
Languages and Mechanisms for Software Processes and Manufacturing Enterprise Processes: Similarities and Differences. |
ICEIS |
2003 |
DBLP BibTeX RDF |
|
| 1 | Flávio Oquendo (eds.) |
Software Process Technology, 9th International Workshop, EWSPT 2003, Helsinki, Finland, September 1-2, 2003, Proceedings |
EWSPT |
2003 |
DBLP BibTeX RDF |
|
| 1 | R. Mark Greenwood, Dharini Balasubramaniam, Sorana Cîmpan, Graham N. C. Kirby, Kath Mickan, Ronald Morrison, Flávio Oquendo, Ian Robertson, Wykeen Seet, Bob Snowdon, Brian Warboys, Evangelos Zirintsis |
Process Support for Evolving Active Architectures. |
EWSPT |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Selma Arbaoui, Jean-Claude Derniame, Flávio Oquendo, Hervé Verjus |
A Comparative Review of Process-Centered Software Engineering Environments. |
Ann. Software Eng. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Ilham Alloui, Sorana Cîmpan, Flávio Oquendo |
Taming Process Deviations by Logic Based Monitoring. |
ICEIS |
2002 |
DBLP BibTeX RDF |
|
| 1 | Ilham Alloui, Flávio Oquendo |
Supporting Decentralised Software-Intensive Processes Using ZETA Component-Based Architecture Description Language. |
ICEIS |
2001 |
DBLP BibTeX RDF |
|
| 1 | Ilham Alloui, Sorana Cîmpan, Flávio Oquendo |
Monitoring Software Process Interactions: A Logic-Based Approach. |
EWSPT |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Christelle Chaudet, R. Mark Greenwood, Flávio Oquendo, Brian Warboys |
Architecture-driven software engineering: Specifying, generating, and evolving component- based software systems. |
IEE Proceedings - Software |
2000 |
DBLP BibTeX RDF |
|
| 1 | Flávio Oquendo, K. Nadia Papamichail, Ian Robertson |
Addressing Decision Making Issues in Enterprise Process Modelling. |
ICEIS |
2000 |
DBLP BibTeX RDF |
|
| 1 | Christelle Chaudet, Flávio Oquendo |
pi-SPACE: A Formal Architecture Description Language Based on Process Algebra for Evolving Software Systems. (PDF / PS) |
ASE |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Ilham Alloui, Sami Beydeda, Sorana Cîmpan, Volker Gruhn, Flávio Oquendo, Christian Schneider |
Advanced Services for Process Evolution: Monitoring and Decision Support. |
EWSPT |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Flávio Oquendo, K. Nadia Papamichail, Ian Robertson |
Overcoming Inadequacies in Process Modelling: The Need for Decisioning Be a First-Class Citizen. |
EWSPT |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Ilham Alloui, Sorana Cîmpan, Flávio Oquendo, Hervé Verjus |
ALLIANCE: An Agent-Based Case Environment for Enterprose Process Modelling, Enactment and Quantitative Control. |
ICEIS |
1999 |
DBLP BibTeX RDF |
|
| 1 | Pierre-Yves Cunin, Ilham Alloui, Selma Arbaoui, Denis Avrilionis, Christer Fernström, Samir Dami, Jacky Estublier, Flávio Oquendo |
Assessment Framework for PSEEs. |
Software Process: Principles, Methodology, Technology |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Ilham Alloui, Flávio Oquendo |
Managing Consistency in Cooperating Software Processes. |
EWSPT |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Sorana Cîmpan, Flávio Oquendo |
Fuzzy Indicators for Monitoring Software Processes. |
EWSPT |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Ilham Alloui, Flávio Oquendo |
Peace+: A Multi-Agent System for Computer-supported Cooperative work in Software Process Centered Environments. |
SEKE |
1996 |
DBLP BibTeX RDF |
|
| 1 | Selma Arbaoui, Flávio Oquendo |
Reuse sensitive process models: are process elements software assets too? (PDF / PS) |
ISPW |
1996 |
DBLP DOI BibTeX RDF |
reuse sensitive process models, process element software assets, software quality improvement, software quality factors, reusable software assets, process model development, reuse methodology, process model development process, metaprocess, software engineering, software reusability, software process models, application domain, complex software systems, system composition |
| 1 | Ilham Alloui, Flávio Oquendo |
Support for environment-mediated human cooperation in large-scale reuse-based projects. (PDF / PS) |
ISPW |
1996 |
DBLP DOI BibTeX RDF |
environment-mediated human cooperation support, large-scale reuse-based projects, complex system composition process, distributed system composition process, Peace+knowledge-based formalism, modelling interactions, project participants, rational action theory, multi-agent paradigm, software reusability, distributed artificial intelligence, intention, speech acts theory |
| 1 | Ilham Alloui, Safia Latrous, Flávio Oquendo |
A Multi-Agent Approach for Modelling, Enacting and Evolving Distributed Cooperative Software Processes. |
EWSPT |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Ilham Alloui, Selma Arbaoui, Flávio Oquendo |
Process-centered environments: support for human-environment interaction and environment-mediated human cooperation. |
ISPW |
1994 |
DBLP BibTeX RDF |
|
| 1 | Selma Arbaoui, Flávio Oquendo |
Goal Oriented vs. Activity Oriented Process Modelling and Enactment: Issues and Perspectives. |
EWSPT |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Selma Mouline, Flávio Oquendo |
Algèbre des objets classes : une algèbre pour les bases de données orientées objet. |
LMO |
1994 |
DBLP BibTeX RDF |
|
| 1 | Selma Mouline, Flávio Oquendo |
Algèbre des Objets Classes: une Algèbre d'Objets Complexes Fondée sur une Approche Méréologique. |
BDA |
1993 |
DBLP BibTeX RDF |
|
| 1 | Selma Arbaoui, Flávio Oquendo |
Managing Inconsistencies Between Process Enactment and Process Performance States. |
ISPW |
1993 |
DBLP BibTeX RDF |
|
| 1 | Flávio Oquendo, Jean-Daniel Zucker, Philip Griffiths |
A Meta-CASE Environment for Software Process-Centred CASE Environments. |
CAiSE |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Alain Berrendonner, Mounia Fredj, Flávio Oquendo, Jacques Rouault |
Un Systeme Inferentiel Oriente Objet Pour Des Applications En Langues Naturelles. |
COLING |
1992 |
DBLP BibTeX RDF |
|
| 1 | Marie-Hélène Stefanini, Alain Berrendonner, Genevieve Lallich, Flávio Oquendo |
Talisman: Un Système Multi-Agents Gouverné Par Des Lois Linguistiques Pour Le Traitement De La Langue Naturelle. |
COLING |
1992 |
DBLP BibTeX RDF |
|
| 1 | Selma Arbaoui, Selma Mouline, Flávio Oquendo, Guy Tassart |
PEACE: Describing and Managing Evolving Knowledge in the Software Process. |
EWSPT |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Flávio Oquendo, Gérard Boudier, Ferdinando Gallo, Régis Minot, Ian Thomas |
The PCTE+'s OMS, A Software Engineering Distributed Database System for supporting Large-Scale Software Development Environments. |
DASFAA |
1991 |
DBLP BibTeX RDF |
|
| 1 | Flávio Oquendo |
Supporting software process communication and cooperation through object sets. |
ISPW |
1991 |
DBLP BibTeX RDF |
|
| 1 | Flávio Oquendo |
Building object and process-centered software environments on the PCTE public tool interface. |
ISPW |
1990 |
DBLP BibTeX RDF |
|
| 1 | Flávio Oquendo, Karima Berrada, Ferdinando Gallo, Régis Minot, Ian Thomas |
Version Management in the PACT Integrated Software Engineering Environment. |
ESEC |
1989 |
DBLP BibTeX RDF |
|
| 1 | Amaury Legait, Flávio Oquendo, Dan Oldfield |
MASP: A Model for Assisted Software Processes. |
SEE |
1989 |
DBLP DOI BibTeX RDF |
MASP, ALF, PCTE, Software Process Model, Enaction |
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")