default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFlávio Oquendo
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j31]Everton Cavalcante
, Thaís Batista, Flávio Oquendo:
Looking back and forward: A retrospective and future directions on software engineering for systems-of-systems. J. Softw. Evol. Process. 36(10) (2024)- [c126]Tales Viglioni, Thaís Batista, Everton Cavalcante, Flávio Oquendo:
The Execution Perspective in Software Architecture Descriptions: A Systematic Mapping. ECSA 2024: 379-395 - [c125]Ahmed Elmarkez, Soraya Mesli-Kesraoui, Flávio Oquendo, Pascal Berruet, Djamal Kesraoui:
A Similarity Approach for the Classification of Mitigations in Public Cybersecurity Repositories into NIST-SP 800-53 Catalog. WISTP 2024: 64-79 - [i12]Everton Cavalcante, Thaís Batista, Flávio Oquendo:
Looking back and forward: A retrospective and future directions on Software Engineering for systems-of-systems. CoRR abs/2403.16740 (2024) - 2023
- [c124]Flávio Oquendo:
Fuzzy Mediating Control Systems for Automating Vehicle Driving Maneuvers: The Overtaking Case. TENCON 2023: 789-794 - 2021
- [c123]Camila Araújo, Thaís Batista, Everton Cavalcante, Flávio Oquendo:
Generating Formal Software Architecture Descriptions from Semi-Formal SysML-Based Models: A Model-Driven Approach. ICCSA (3) 2021: 394-410 - [c122]Flávio Oquendo:
Case Study on the Fuzzy Architecture Description of Cyber-Physical SoS under Uncertainty. SOSE 2021: 61-68 - [i11]Valdemar Vicente Graciano Neto, Bruno Gabriel Araújo Lebtag, Paulo Gabriel Teixeira, Priscilla Elizabeth Pereira Batista, Vinicius Carvalho Lopes, Jamal El Hachem, Jérémy Buisson, Flávio Oquendo, Juliana Fernandes, Francisco Henrique Ferreira, Rodrigo Pereira dos Santos, Davi Viana, Everton Cavalcante, Mohamad Kassab, Ahmad Mohsin, Roberto Oliveira, Vânia de Oliveira Neves, Maria Istela Cagnin, Elisa Yumi Nakagawa:
Expanding Frontiers: Settling an Understanding of Systems-of-Information Systems. CoRR abs/2103.14100 (2021) - 2020
- [j30]Lina Garcés, Flávio Oquendo, Elisa Yumi Nakagawa:
Assessment of Reference Architectures and Reference Models for Ambient Assisted Living Systems: Results of a Systematic Literature Review. Int. J. E Health Medical Commun. 11(1): 17-36 (2020) - [j29]Eduardo Silva, Thaís Batista, Flávio Oquendo:
On the verification of mission-related properties in software-intensive systems-of-systems architectural design. Sci. Comput. Program. 192: 102425 (2020) - [j28]Milena Guessi, Flávio Oquendo, Elisa Yumi Nakagawa:
Ark: a constraint-based method for architectural synthesis of smart systems. Softw. Syst. Model. 19(3): 741-762 (2020) - [c121]Soraya Mesli-Kesraoui, Olga Goubali, Djamal Kesraoui, Ibtihal Eloumami, Flávio Oquendo:
Formal Verification of the Race Condition Vulnerability in Ladder Programs. CCTA 2020: 892-897 - [c120]Fagner Dias, Marcel Oliveira, Thaís Vasconcelos Batista, Everton Cavalcante, Jair C. Leite, Flávio Oquendo, Camila Araújo:
Empowering SysML-Based Software Architecture Description with Formal Verification: From SysADL to CSP. ECSA 2020: 101-117 - [c119]Lidiane Oliveira dos Santos, Eduardo Silva, Thaís Batista, Everton Cavalcante, Jair C. Leite, Flávio Oquendo:
An architectural style for internet of things systems. SAC 2020: 1488-1497 - [c118]Flávio Oquendo:
Fuzzy Architecture Description for Handling Uncertainty in IoT Systems-of-Systems. SoSE 2020: 555-562 - [c117]Lidiane Oliveira dos Santos, Eduardo Silva, Thaís Batista, Jair C. Leite, Everton Cavalcante, Flávio Oquendo:
Evaluating a SysML-based Graphical Notation for Modeling Internet of Things System Architectures. WF-IoT 2020: 1-6
2010 – 2019
- 2019
- [j27]Camila Araújo, Everton Cavalcante, Thaís Batista, Marcel Oliveira, Flávio Oquendo:
A Research Landscape on Formal Verification of Software Architecture Descriptions. IEEE Access 7: 171752-171764 (2019) - [j26]Lina Garcés, Flávio Oquendo, Elisa Yumi Nakagawa:
Software mediators as first-class entities of systems-of-systems software architectures. J. Braz. Comput. Soc. 25(1): 8:1-8:23 (2019) - [j25]Flávio Oquendo:
Architecting exogenous software-intensive systems-of-systems on the internet-of-vehicles with SosADL. Syst. Eng. 22(6): 502-518 (2019) - [c116]Flávio Oquendo:
Dealing with Uncertainty in Software Architecture on the Internet-of-Things with Digital Twins. ICCSA (1) 2019: 770-786 - [c115]Flávio Oquendo:
Architecting Systems-of-Systems of Self-driving Cars for Platooning on the Internet-of-Vehicles with SosADL. IFIPIoT 2019: 3-20 - [c114]Flávio Oquendo:
Coping with Uncertainty in Systems-of-Systems Architecture Modeling on the IoT with SosADL. SoSE 2019: 131-136 - [i10]Danny Weyns, Flávio Oquendo:
An Architectural Style for Self-Adaptive Multi-Agent Systems. CoRR abs/1909.03475 (2019) - 2018
- [c113]Flávio Oquendo:
Formally Describing Self-organizing Architectures for Systems-of-Systems on the Internet-of-Things. ECSA 2018: 20-36 - [c112]Valdemar Vicente Graciano Neto, Lina Maria Garcés Rodriguez, Milena Guessi, Carlos Eduardo de Barros Paes, Wallace Manzano, Flávio Oquendo, Elisa Yumi Nakagawa:
ASAS: An Approach to Support Simulation of Smart Systems. HICSS 2018: 1-10 - [c111]Thaís Batista, Flávio Oquendo, Jair C. Leite:
Modeling and Executing Software Architecture Using SysADL. ICSA Companion 2018: 4-5 - [c110]Jair C. Leite, Thaís Batista, Flávio Oquendo, Eduardo Silva, Lidiane Oliveira dos Santos, Victor Cortez:
Designing and Executing Software Architectures Models Using SysADL Studio. ICSA Companion 2018: 81-84 - [c109]Lina Garcés, Flávio Oquendo, Elisa Yumi Nakagawa:
Towards a Taxonomy of Software Mediators for Systems-of-Systems. SBCARS 2018: 53-62 - [c108]Flávio Oquendo, Jérémy Buisson, Elena Leroux, Gersan Moguérou:
A Formal Approach for Architecting Software-intensive Systems-of-Systems with Guarantees. SoSE 2018: 14-21 - [c107]Flávio Oquendo:
Exogenously Describing Architectural Emergent Behaviors of Systems-of-Systems with SosADL. SoSE 2018: 268-275 - [c106]Flávio Oquendo:
On the Emergent Behavior Oxymoron of System-of-Systems Architecture Description. SoSE 2018: 417-424 - [e10]Khalil Drira, Flávio Oquendo:
6th IEEE/ACM International Workshop on Software Engineering for Systems-of-Systems, SESoS@ICSE 2018, Gothenburg, Sweden, May 29, 2018. ACM 2018, ISBN 978-1-4503-5747-0 [contents] - 2017
- [j24]Lucas Bueno Ruas de Oliveira, Elena Leroux, Kátia Romero Felizardo, Flávio Oquendo, Elisa Yumi Nakagawa:
ArchSORS: A Software Process for Designing Software Architectures of Service-Oriented Robotic Systems. Comput. J. 60(9): 1363-1381 (2017) - [j23]Valdemar Vicente Graciano Neto, Carlos Eduardo de Barros Paes, Lina Maria Garcés Rodriguez, Milena Guessi, Wallace Manzano, Flávio Oquendo, Elisa Yumi Nakagawa:
Stimuli-SoS: a model-based approach to derive stimuli generators for simulations of systems-of-systems software architectures. J. Braz. Comput. Soc. 23(1): 13:1-13:22 (2017) - [c105]Jair C. Leite, Thaís Batista, Flávio Oquendo:
Architecting IoT Applications with SysADL. ICSA Workshops 2017: 92-99 - [c104]Elisa Yumi Nakagawa, Flávio Oquendo, Paris Avgeriou, Rodrigo Pereira dos Santos:
Joint 5th International Workshop on Software Engineering for Systems-of-Systems and 11th Workshop on Distributed Software Development, Software Ecosystems and Systems-of-Systems. JSOS@ICSE 2017: 1 - [c103]Flávio Oquendo:
Architecturally describing the emergent behavior of software-intensive system-of-systems with SosADL. SoSE 2017: 1-6 - [c102]Flávio Oquendo:
Software architecture of self-organizing systems-of-systems for the Internet-of-Things with SosADL. SoSE 2017: 1-6 - 2016
- [b1]Flávio Oquendo, Jair C. Leite, Thaís Batista:
Software Architecture in Action - Designing and Executing Architectural Models with SysADL grounded on the OMG SysML Standard. Undergraduate Topics in Computer Science, Springer 2016, ISBN 978-3-319-44337-9, pp. 3-234 - [j22]Minh Tu Ton That, Salah Sadou, Flávio Oquendo, Régis Fleurquin:
Preserving architectural decisions through architectural patterns. Autom. Softw. Eng. 23(3): 427-467 (2016) - [c101]Lina Maria Garcés Rodriguez, Flávio Oquendo, Elisa Yumi Nakagawa:
A Quality Model for AAL Software Systems. CBMS 2016: 175-180 - [c100]Cristiane Aparecida Lana, Nilton Mendes Souza, Márcio Eduardo Delamaro, Elisa Yumi Nakagawa, Flávio Oquendo, José Carlos Maldonado:
Systems-of-systems development: Initiatives, trends, and challenges. CLEI 2016: 1-12 - [c99]Flávio Oquendo:
Software Architecture Challenges and Emerging Research in Software-Intensive Systems-of-Systems. ECSA 2016: 3-21 - [c98]Flávio Oquendo, Jérémy Buisson, Elena Leroux, Gersan Moguérou, Jean Quilbeuf:
The sosADL studio: an architecture development environment for software-intensive systems-of-systems. SiSoS@ECSA 2016: 3:1-3:8 - [c97]Flávio Oquendo, Jair C. Leite, Thaís Batista:
Executing Software Architecture Descriptions with SysADL. ECSA 2016: 129-137 - [c96]Everton Cavalcante, Jean Quilbeuf, Louis-Marie Traonouez, Flávio Oquendo, Thaís Batista, Axel Legay:
Statistical Model Checking of Dynamic Software Architectures. ECSA 2016: 185-200 - [c95]Soraya Mesli-Kesraoui, Djamal Kesraoui, Flávio Oquendo, Alain Bignon, Armand Toguyéni, Pascal Berruet:
Formal Verification of Software-Intensive Systems Architectures Described with Piping and Instrumentation Diagrams. ECSA 2016: 210-226 - [c94]Flávio Oquendo:
Formally Describing the Architectural Behavior of Software-Intensive Systems-of-Systems with SosADL. ICECCS 2016: 13-22 - [c93]Eduardo Silva, Everton Cavalcante, Thaís Vasconcelos Batista, Flávio Oquendo:
Bridging Missions and Architecture in Software-Intensive Systems-of-Systems. ICECCS 2016: 201-206 - [c92]Jean Quilbeuf, Everton Cavalcante, Louis-Marie Traonouez, Flávio Oquendo, Thaís Batista, Axel Legay:
A Logic for the Statistical Model Checking of Dynamic Software Architectures. ISoLA (1) 2016: 806-820 - [c91]Everton Cavalcante, Nélio Cacho, Frederico Lopes, Thaís Batista, Flávio Oquendo:
Thinking Smart Cities as Systems-of-Systems: A Perspective Study. IWSC@Middleware 2016: 9:1-9:4 - [c90]Flávio Oquendo:
Case study on formally describing the architecture of a Software-intensive System-of-Systems with SosADL. SMC 2016: 2260-2266 - [c89]Milena Guessi, Flávio Oquendo, Elisa Yumi Nakagawa:
Checking the architectural feasibility of Systems-of-Systems using formal descriptions. SoSE 2016: 1-6 - [c88]Flávio Oquendo:
Formally describing the software architecture of Systems-of-Systems with SosADL. SoSE 2016: 1-6 - [c87]Flávio Oquendo:
π-Calculus for SoS: A foundation for formally describing software-intensive Systems-of-Systems. SoSE 2016: 1-6 - [c86]Flávio Oquendo, Jair C. Leite, Thaís Batista:
Specifying Architecture Behavior with SysADL. WICSA 2016: 140-145 - [e9]Khalil Drira, Flávio Oquendo, Muhammad Ali Babar, Axel Legay:
Proceedings of the International Colloquium on Software-intensive Systems-of-Systems at 10th European Conference on Software Architecture, SiSoS@ECSA 2016, Copenhagen, Denmark, November 29-29, 2016. ACM 2016 [contents] - 2015
- [j21]Khalil Drira, Flávio Oquendo:
Special Issue on Advanced Architectures for the Future Generation of Software-Intensive Systems. Future Gener. Comput. Syst. 47: 60-61 (2015) - [j20]Minh Tu Ton That, Salah Sadou, Flávio Oquendo, Isabelle Borne:
Preserving architectural pattern composition information through explicit merging operators. Future Gener. Comput. Syst. 47: 97-112 (2015) - [c85]Jesús M. T. Portocarrero, Flávia Coimbra Delicato, Paulo F. Pires, Elisa Yumi Nakagawa, Flávio Oquendo:
Self-Adaptive Middleware for Wireless Sensor Networks: A Reference Architecture. ECSA Workshops 2015: 12:1-12:8 - [c84]Bruno Costa, Paulo F. Pires, Flávia Coimbra Delicato, Flávio Oquendo:
Towards a View-Based Process for Designing and Documenting RESTful Service Architectures. ECSA Workshops 2015: 50:1-50:7 - [c83]Elisa Yumi Nakagawa, Flávio Oquendo, Paris Avgeriou, Carlos E. Cuesta, Khalil Drira, José Carlos Maldonado, Andrea Zisman:
Foreword: Towards Reference Architectures for Systems-of-Systems. SESoS@ICSE 2015: 1-4 - [c82]Flávio Oquendo, Paris Avgeriou, Carlos E. Cuesta, Khalil Drira, Elisa Yumi Nakagawa, José Carlos Maldonado, Andrea Zisman:
3rd International Workshop on Software Engineering for Systems-of-Systems (SESoS 2015). ICSE (2) 2015: 1011-1012 - [c81]Marcelo Benites Gonçalves, Flávio Oquendo, Elisa Yumi Nakagawa:
A meta-process to construct software architectures for system of systems. SAC 2015: 1411-1416 - [c80]Milena Guessi, Dilvan A. Moreira, Gabriel Abdalla, Flávio Oquendo, Elisa Yumi Nakagawa:
OntolAD: a formal ontology for architectural descriptions. SAC 2015: 1417-1424 - [c79]Milena Guessi, Valdemar Vicente Graciano Neto, Thiago Bianchi, Kátia Romero Felizardo, Flávio Oquendo, Elisa Yumi Nakagawa:
A systematic literature review on the description of software architectures for systems of systems. SAC 2015: 1433-1440 - [c78]Gabriel Abdalla, Carlos Diego Nascimento Damasceno, Milena Guessi, Flávio Oquendo, Elisa Yumi Nakagawa:
A Systematic Literature Review on Knowledge Representation Approaches for Systems-of-Systems. SBCARS 2015: 70-79 - [c77]Eduardo Silva, Thaís Batista, Flávio Oquendo:
A mission-oriented approach for designing system-of-systems. SoSE 2015: 346-351 - [c76]Everton Cavalcante, Thaís Vasconcelos Batista, Flávio Oquendo:
Supporting Dynamic Software Architectures: From Architectural Description to Implementation. WICSA 2015: 31-40 - [e8]Paris Avgeriou, Carlos E. Cuesta, Khalil Drira, Elisa Yumi Nakagawa, José Carlos Maldonado, Flávio Oquendo, Andrea Zisman:
3rd IEEE/ACM International Workshop on Software Engineering for Systems-of-Systems, SESoS 2015, Florence, Italy, May 17, 2015. IEEE Computer Society 2015, ISBN 978-1-4673-7091-2 [contents] - [i9]Nadeem Akhtar, Yann Le Guyadec, Flávio Oquendo:
Formal requirement and architecture specifications of a multi-agent robotic system. CoRR abs/1501.05153 (2015) - [i8]Flávio Oquendo, Axel Legay:
Formal Architecture Description of Trustworthy Systems-of-Systems with SosADL. ERCIM News 2015(102) (2015) - [i7]Flávio Oquendo, Axel Legay, Khalil Drira:
GT SoS: Research Network on Trustworthy Software-intensive Systems-of-Systems. ERCIM News 2015(102) (2015) - [i6]Axel Legay, Jean Quilbeuf, Flávio Oquendo:
Verifying Systems-of-Systems with Statistical Model Checking. ERCIM News 2015(103) (2015) - 2014
- [j19]Marcelo Fantinato, Uirá Kulesza, Flávio Oquendo:
Software Components, Architectures and Reuse: Software Product Line Engineering and Source Code Enhancements. J. Univers. Comput. Sci. 20(5): 583-586 (2014) - [c75]Valdemar Vicente Graciano Neto, Milena Guessi, Lucas Bueno Ruas de Oliveira, Flávio Oquendo, Elisa Yumi Nakagawa:
Investigating the Model-Driven Development for Systems-of-Systems. ECSA Workshops 2014: 22:1-22:8 - [c74]Eduardo Silva, Everton Cavalcante, Thaís Vasconcelos Batista, Flávio Oquendo, Flávia Coimbra Delicato, Paulo F. Pires:
On the Characterization of Missions of Systems-of-Systems. ECSA Workshops 2014: 26:1-26:8 - [c73]Everton Cavalcante, Flávio Oquendo, Thaís Vasconcelos Batista:
Architecture-Based Code Generation: From π-ADL Architecture Descriptions to Implementations in the Go Language. ECSA 2014: 130-145 - [c72]Lucas Bueno Ruas de Oliveira, Elena Leroux, Kátia Romero Felizardo, Flávio Oquendo, Elisa Yumi Nakagawa:
Towards a Process to Design Architectures of Service-Oriented Robotic Systems. ECSA 2014: 218-225 - [c71]Milena Guessi, Flávio Oquendo, Elisa Yumi Nakagawa:
An Approach for Capturing and Documenting Architectural Decisions of Reference Architectures. SEKE 2014: 162-167 - [c70]Lucas Bueno Ruas de Oliveira, Fernando Santos Osório, Flávio Oquendo, Elisa Yumi Nakagawa:
Towards a Taxonomy of Services for Developing Service-Oriented Robotic Systems. SEKE 2014: 344-349 - [c69]Marcelo Benites Gonçalves, Everton Cavalcante, Thaís Vasconcelos Batista, Flávio Oquendo, Elisa Yumi Nakagawa:
Towards a conceptual model for Software-intensive System-of-Systems. SMC 2014: 1605-1610 - [c68]Milena Guessi, Flávio Oquendo, Elisa Yumi Nakagawa:
Variability viewpoint to describe reference architectures. WICSA Companion 2014: 14:1-14:6 - [c67]Elisa Yumi Nakagawa, Milena Guessi, José Carlos Maldonado, Daniel Feitosa, Flávio Oquendo:
Consolidating a Process for the Design, Representation, and Evaluation of Reference Architectures. WICSA 2014: 143-152 - 2013
- [j18]Eduardo Santana de Almeida, Flávio Oquendo:
Software Components, Architectures and ReuseModeling, Customization and Evaluation. J. Univers. Comput. Sci. 19(2): 183-185 (2013) - [j17]Muhammad Ali Babar, Ian Gorton, Flávio Oquendo:
Building European software architecture community: how far have we come? Softw. Syst. Model. 12(2): 435-438 (2013) - [c66]Elisa Yumi Nakagawa, Marcelo Benites Gonçalves, Milena Guessi, Lucas Bueno Ruas de Oliveira, Flávio Oquendo:
The state of the art and future perspectives in systems of systems software architectures. SESoS 2013: 13-20 - [c65]Minh Tu Ton That, Salah Sadou, Flávio Oquendo, Isabelle Borne:
Composition-Centered Architectural Pattern Description Language. ECSA 2013: 1-16 - [c64]Jair C. Leite, Flávio Oquendo, Thaís Vasconcelos Batista:
SysADL: A SysML Profile for Software Architecture Description. ECSA 2013: 106-113 - [c63]Rogério F. da Silva, Vanderson H. Fragal, Edson A. Oliveira Junior, Itana Maria de Souza Gimenes, Flávio Oquendo:
SyMPLES - A SysML-based Approach for Developing Embedded Systems Software Product Lines. ICEIS (2) 2013: 257-264 - [c62]Elisa Yumi Nakagawa, Flávio Oquendo:
Perspectives and challenges of reference architectures in multi software product line. SPLC Workshops 2013: 100-103 - [e7]Flávio Oquendo, Paris Avgeriou, Carlos E. Cuesta, José Carlos Maldonado, Elisa Yumi Nakagawa, Khalil Drira, Andrea Zisman:
Proceedings of the First International Workshop on Software Engineering for Systems-of-Systems, SESoS@ECOOP, Montpellier, France, July 2, 2013. ACM 2013, ISBN 978-1-4503-2048-1 [contents] - 2012
- [c61]Elena Leroux, Flávio Oquendo:
Test de conformité basé sur l'architecture logicielle. CAL 2012: 51-68 - [c60]Milena Guessi, Elisa Yumi Nakagawa, Flávio Oquendo, José Carlos Maldonado:
Architectural description of embedded systems: a systematic review. ISARCS 2012: 31-40 - [c59]Minh Tu Ton That, Salah Sadou, Flávio Oquendo:
Using Architectural Patterns to Define Architectural Decisions. WICSA/ECSA 2012: 196-200 - [c58]Elisa Yumi Nakagawa, Flávio Oquendo, Martin Becker:
RAModel: A Reference Model for Reference Architectures. WICSA/ECSA 2012: 297-301 - [i5]Leonardo Minora, Jérémy Buisson, Flávio Oquendo, Thaís Vasconcelos Batista:
Issues of Architectural Description Languages for Handling Dynamic Reconfiguration. CoRR abs/1205.4699 (2012) - 2011
- [j16]Flávio Oquendo, Eltjo R. Poort, Judith A. Stafford:
Guest Editors Introduction to the Special Issue. J. Syst. Softw. 84(9): 1423 (2011) - [j15]Paulo F. Pires, Flávio Oquendo, Ana Paula Terra Bacelo:
Software Components, Architectures and Reuse. J. Univers. Comput. Sci. 17(5): 635-638 (2011) - 2010
- [j14]Jie Chen, Di Wu, Juan Zhang, Flávio Oquendo:
Formal modelling and analysis of HLA architectural style. Int. J. Model. Identif. Control. 9(1/2): 71-82 (2010) - [c57]Maruf Pasha, Flávio Oquendo, Hafiz Farooq Ahmad:
Negotiation in Heterogeneous Environments. ITNG 2010: 290-295 - [i4]Ronald Morrison, Graham N. C. Kirby, Dharini Balasubramaniam, Kath Mickan, Flávio Oquendo, Sorana Cîmpan, Brian Warboys, Bob Snowdon, Robert Mark Greenwood:
Support for Evolving Software Architectures in the ArchWare ADL. CoRR abs/1006.4740 (2010) - [i3]Ronald Morrison, Graham N. C. Kirby, Dharini Balasubramaniam, Kath Mickan, Flávio Oquendo, Sorana Cîmpan, Brian Warboys, Bob Snowdon, Robert Mark Greenwood:
Constructing Active Architectures in the ArchWare ADL. CoRR abs/1006.4829 (2010)
2000 – 2009
- 2009
- [j13]Cládia Werner, Flávio Oquendo:
Software Components, Architectures and Reuse. J. Univers. Comput. Sci. 15(11): 2138-2141 (2009) - [c56]Nadeem Akhtar, Yann Le Guyadec, Flávio Oquendo:
Formal Specification and Verification of Multi-Agent Robotics Software Systems - A Case Study. ICAART 2009: 475-482 - [c55]Flávio Oquendo:
On the Correctness of Software Architectures - Formal Specification of Correctness Properties using pi-AAL. ICSOFT (1) 2009: 208-217 - 2008
- [c54]Marcos López Sanz, Zawar Qayyum, Carlos E. Cuesta, Esperanza Marcos, Flávio Oquendo:
Representing Service-Oriented Architectural Models Using pi-ADL. ECSA 2008: 273-280 - [c53]Flávio Oquendo:
Dynamic Software Architectures: Formally Modelling Structure and Behaviour with Pi-ADL. ICSEA 2008: 352-359 - [c52]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: 232-239 - [c51]Flávio Oquendo:
p-ADL for WS-Composition: A Service-Oriented Architecture Description Language for the Formal Development of Dynamic Web Service Compositions. SBCARS 2008: 52-66 - [c50]Zawar Qayyum, Flávio Oquendo:
.NET Extensions to the p-architecture Description Languages. SEKE 2008: 244-249 - [c49]Flávio Oquendo:
Formal Approach for the Development of Business Processes in Terms of Service-Oriented Architectures Using Pi-ADL. SOSE 2008: 154-159 - 2007
- [j12]Esperanza Marcos, Carlos E. Cuesta, Flávio Oquendo:
Guest Editors' Introduction. Int. J. Cooperative Inf. Syst. 16(3/4): 333-340 (2007)