João Araújo – författare
Visar alla böcker från författaren João Araújo. Handla med fri frakt och snabb leverans.
7 produkter
7 produkter
Del 14319 - Lecture Notes in Computer Science
Advances in Conceptual Modeling
ER 2023 Workshops, CMLS, CMOMM4FAIR, EmpER, JUSMOD, OntoCom, QUAMES, and SmartFood, Lisbon, Portugal, November 6–9, 2023, Proceedings
Häftad, Engelska, 2023
829 kr
Skickas inom 5-8 vardagar
This book constitutes the refereed proceedings of 7 workshops, held at the 42nd International Conference on Conceptual Modeling, ER 2023, held in Lisbon, Portugal, during November 6-9, 2023.The 28 full and 2 short papers were carefully reviewed and selected out of 53 submissions. Topics of interest span the entire spectrum of conceptual modeling, including research and practice in areas such as theories of concepts and ontologies, techniques for transforming conceptual models into effective implementations, and methods and tools for developing and communicating conceptual models. The following workshops are included in this volume: CMLS – 4th International Workshop on Conceptual Modeling for Life Sciences;CMOMM4FAIR – Third Workshop on Conceptual Modeling, Ontologies and (Meta)data Management for Findable, Accessible, Interoperable, and Reusable (FAIR) Data;EmpER – 6th International Workshop on Empirical Methodsin Conceptual Modeling;JUSMOD – Second International Workshop on Digital Justice, Digital Law and Conceptual Modeling;OntoCom – 9th International Workshop on Ontologies and Conceptual Modeling;QUAMES – 4th International Workshop on Quality and Measurement of Model-Driven Software Development;SmartFood – First Workshop on Controlled Vocabularies and Data Platforms for Smart Food Systems.
Häftad, Engelska, 2024
1 484 kr
Skickas inom 5-8 vardagar
This book constitutes the proceedings of the 18th International Conference on Research Challenges in Information Sciences, RCIS 2024, which took place in Guimarães, Portugal, during May 2024. The scope of RCIS is summarized by the thematic areas of information systems and their engineering;
Häftad, Engelska, 2024
1 290 kr
Skickas inom 10-15 vardagar
This book constitutes the proceedings of the 18th International Conference on Research Challenges in Information Sciences, RCIS 2024, which took place in Guimarães, Portugal, during May 2024. The scope of RCIS is summarized by the thematic areas of information systems and their engineering;
Del 14932 - Lecture Notes in Computer Science
Advances in Conceptual Modeling
ER 2024 Workshops, AISA, CMLS, EmpER, QUAMES, JUSMOD, LLM4Modeling, Pittsburgh, PA, USA, October 28–31, 2024, Proceedings
Häftad, Engelska, 2024
833 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed proceedings of the workshops held at the 43rd International Conference on Conceptual Modeling, ER 2024, which took place in Pittsburgh, PA, USA, during October 28-31, 2024. The 22 full papers and 1 short paper included in this book were carefully reviewed and selected from 52 submissions. They stem from the following workshops: AISA’2024 - The First International Workshop on AI Services and ApplicationsCMLS2024 - The 5th International Workshop on Conceptual Modeling for Life SciencesEmpER'24 -7th International Workshop on Empirical Methods in Conceptual ModelingQUAMES 2024 - 5th International Workshop on Quality and Measurement of Model-Driven Software DevelopmentJUSMOD24 - 3rd International Workshop on Digital JUStice, Digital Law and Conceptual MODelingLLM4Modeling - 2nd Workshop on Modeling in the Age of Large Language Models
Del 16497 - Lecture Notes in Computer Science
Requirements Engineering: Foundation for Software Quality
32nd International Working Conference, REFSQ 2026, Poznań, Poland, March 23–26, 2026, Proceedings
Häftad, Engelska, 2026
776 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed proceedings of the 32nd International Working Conference on Requirements Engineering: Foundation for Software Quality, REFSQ 2026, held in Poznan, Poland, during March 2026.The 16 full papers and 7 short papers included in this book were carefully reviewed and selected from 69 submissions. They were organized in topical sections as follows: Explainability; Simulation and Visual Formalism; Software Development; User Feedback; Requirements Specification and Privacy by Design; Trustworthiness in AI and Information; Formal Methods Systems; LLMs use in RE.
Inbunden, Engelska, 2013
1 108 kr
Skickas inom 10-15 vardagar
Broadly-scoped requirements such as security, privacy, and response time are a major source of complexity in modern software systems. This is due to their tangled inter-relationships with and effects on other requirements. Aspect-Oriented Requirements Engineering (AORE) aims to facilitate modularisation of such broadly-scoped requirements, so that software developers are able to reason about them in isolation - one at a time. AORE also captures these inter-relationships and effects in well-defined composition specifications, and, in so doing exposes the causes for potential conflicts, trade-offs, and roots for the key early architectural decisions.Over the last decade, significant work has been carried out in the field of AORE. With this book the editors aim to provide a consolidated overview of these efforts and results. The individual contributions discuss how aspects can be identified, represented, composed and reasoned about, as well as how they are used in specific domains and in industry. Thus, the book does not present one particular AORE approach, but conveys a broad understanding of the aspect-oriented perspective on requirements engineering. The chapters are organized into five sections: concern identification in requirements, concern modelling and composition, domain-specific use of AORE, aspect interactions, and AORE in industry.This book provides readers with the most comprehensive coverage of AORE and the capabilities it offers to those grappling with the complexity arising from broadly-scoped requirements - a phenomenon that is, without doubt, universal across software systems. Software engineers and related professionals in industry, as well as advanced undergraduate and post-graduate students and researchers, will benefit from these comprehensive descriptions and the industrial casestudies.
Häftad, Engelska, 2016
1 108 kr
Skickas inom 10-15 vardagar
Broadly-scoped requirements such as security, privacy, and response time are a major source of complexity in modern software systems. This is due to their tangled inter-relationships with and effects on other requirements. Aspect-Oriented Requirements Engineering (AORE) aims to facilitate modularisation of such broadly-scoped requirements, so that software developers are able to reason about them in isolation - one at a time. AORE also captures these inter-relationships and effects in well-defined composition specifications, and, in so doing exposes the causes for potential conflicts, trade-offs, and roots for the key early architectural decisions.Over the last decade, significant work has been carried out in the field of AORE. With this book the editors aim to provide a consolidated overview of these efforts and results. The individual contributions discuss how aspects can be identified, represented, composed and reasoned about, as well as how they are used in specific domains and in industry. Thus, the book does not present one particular AORE approach, but conveys a broad understanding of the aspect-oriented perspective on requirements engineering. The chapters are organized into five sections: concern identification in requirements, concern modelling and composition, domain-specific use of AORE, aspect interactions, and AORE in industry.This book provides readers with the most comprehensive coverage of AORE and the capabilities it offers to those grappling with the complexity arising from broadly-scoped requirements - a phenomenon that is, without doubt, universal across software systems. Software engineers and related professionals in industry, as well as advanced undergraduate and post-graduate students and researchers, will benefit from these comprehensive descriptions and the industrial casestudies.