John Mylopoulos

Proceedings of the 33rd Annual International Conference on Computer Science and Software Engineering, 2023

Engineering Smart Contracts with Symboleo: A Progress Report.

[BibT_eX]

[DOI]

Proceedings of the 33rd Annual International Conference on Computer Science and Software Engineering, 2023

2022

Semantic Annotation of Legal Contracts with ContrattoA.

[BibT_eX]

[DOI]

Informatics, December, 2022

Specification and analysis of legal contracts with Symboleo.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2022

Modeling and reasoning about uncertainty in goal models: a decision-theoretic approach.

[BibT_eX]

[DOI]

Shakil M. Khan

Softw. Syst. Model., 2022

CaRE: a refinement calculus for requirements engineering based on argumentation theory.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2022

From Legal Contracts to Formal Specifications: A Systematic Literature Review.

[BibT_eX]

[DOI]

SN Comput. Sci., 2022

Reasoning about Confidence in Goal Satisfaction.

[BibT_eX]

[DOI]

Malak Baslyman

Algorithms, 2022

Towards Improved Certification of Complex FinTech Systems - A Requirements-based Approach.

[BibT_eX]

[DOI]

Proceedings of the 30th IEEE International Requirements Engineering Conference Workshops, 2022

Contratto - A Method for Transforming Legal Contracts into Formal Specifications.

[BibT_eX]

[DOI]

Proceedings of the Research Challenges in Information Science, 2022

Symboleo2SC: from legal contract specifications to smart contracts.

[BibT_eX]

[DOI]

Aidin Rasti

Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems, 2022

Model-checking legal contracts with SymboleoPC.

[BibT_eX]

[DOI]

Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems, 2022

Towards Goal-based Generation of Reinforcement Learning Domain Simulations.

[BibT_eX]

[DOI]

Proceedings of the 15th International iStar Workshop (iStar 2022) co-located with 41th International Conference on Conceptual Modeling (ER 2022), 2022

2nd Workshop on Software Techniques for Engineering Cyber Physical Systems.

[BibT_eX]

[DOI]

Proceedings of the 32nd Annual International Conference on Computer Science and Software Engineering, 2022

Eliciting Ethicality Requirements Using the Ontology-Based Requirements Engineering Method.

[BibT_eX]

[DOI]

Glenda C. M. Amaral

Proceedings of the Enterprise, Business-Process and Information Systems Modeling, 2022

2021

A retrospective on Telos as a metamodeling language for requirements engineering.

[BibT_eX]

[DOI]

Manolis Koubarakis

Panos Constantopoulos

Requir. Eng., 2021

COPri v.2 - A core ontology for privacy requirements.

[BibT_eX]

[DOI]

Data Knowl. Eng., 2021

From Legal Contracts to Formal Specifications: A Progress Report.

[BibT_eX]

[DOI]

Proceedings of the Joint Proceedings of REFSQ 2021 Workshops, 2021

On the Philosophical Foundations of Privacy: Five Theses.

[BibT_eX]

[DOI]

Proceedings of the Practice of Enterprise Modeling, 2021

Empirically Evaluating the Semantic Qualities of Language Vocabularies.

[BibT_eX]

[DOI]

Shakil M. Khan

Proceedings of the Conceptual Modeling - 40th International Conference, 2021

Trustworthiness Requirements: The Pix Case Study.

[BibT_eX]

[DOI]

Glenda C. M. Amaral

Proceedings of the Conceptual Modeling - 40th International Conference, 2021

Software techniques for engineering cyber-physical systems.

[BibT_eX]

[DOI]

Proceedings of the CASCON '21: Proceedings of the 31st Annual International Conference on Computer Science and Software Engineering, Toronto, Ontario, Canada, November 22, 2021

Social Requirements Models for Services.

[BibT_eX]

[DOI]

Luigi Logrippo

Sepehr Sharifi

Proceedings of the Next-Gen Digital Services. A Retrospective and Roadmap for Service Computing of the Future, 2021

2020

CaRE: A Refinement Calculus for Requirements Engineering based on Argumentation Theory (Proofs and Tool).

[BibT_eX]

[DOI]

Dataset, October, 2020

A Refinement Calculus for Requirements Engineering based on Argumentation Theory: Tool and Additional Material.

[BibT_eX]

[DOI]

Dataset, May, 2020

A Refinement Calculus for Requirements Engineering based on Argumentation Theory: Tool and Additional Material.

[BibT_eX]

[DOI]

Dataset, May, 2020

An Ontology for Privacy Requirements via a Systematic Literature Review.

[BibT_eX]

[DOI]

J. Data Semant., 2020

Symboleo: Towards a Specification Language for Legal Contracts.

[BibT_eX]

[DOI]

Sepehr Sharifi

Luigi Logrippo

Proceedings of the 28th IEEE International Requirements Engineering Conference, 2020

COPri - A Core Ontology for Privacy Requirements Engineering.

[BibT_eX]

[DOI]

Proceedings of the Research Challenges in Information Science, 2020

Goal Modeling for FinTech Certification.

[BibT_eX]

[DOI]

Proceedings of the Thirteenth International iStar Workshop co-located with 28th IEEE International Requirements Engineering Conference (RE 2020), 2020

Social Dependence Relationships in Requirements Engineering.

[BibT_eX]

[DOI]

Luigi Logrippo

Sepehr Sharifi

Proceedings of the Thirteenth International iStar Workshop co-located with 28th IEEE International Requirements Engineering Conference (RE 2020), 2020

ContracT - from Legal Contracts to Formal Specifications: Preliminary Results.

[BibT_eX]

[DOI]

Proceedings of the Practice of Enterprise Modeling, 2020

A preliminary study on using acceptance tests for representing business requirements of smart contracts.

[BibT_eX]

[DOI]

Patrícia Vilain

Hans-Arno Jacobsen

Proceedings of the IEEE International Conference on Blockchain and Cryptocurrency, 2020

Subcontracting, Assignment, and Substitution for Legal Contracts in Symboleo.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Modeling - 39th International Conference, 2020

A Refinement Calculus for Requirements Engineering Based on Argumentation Theory.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Modeling - 39th International Conference, 2020

Ontology-Based Modeling and Analysis of Trustworthiness Requirements: Preliminary Results.

[BibT_eX]

[DOI]

Glenda C. M. Amaral

Proceedings of the Conceptual Modeling - 39th International Conference, 2020

Ethical Requirements for AI Systems.

[BibT_eX]

[DOI]

Glenda Carla Moura Amaral

Proceedings of the Advances in Artificial Intelligence, 2020

2019

Goal-oriented requirements engineering: an extended systematic mapping study.

[BibT_eX]

[DOI]

Requir. Eng., 2019

Design Thinking and Acceptance Requirements for Designing Gamified Software.

[BibT_eX]

[DOI]

Proceedings of the 13th International Conference on Research Challenges in Information Science, 2019

A Refinement Calculus for Requirements Engineering Based on Argumentation Semantics.

[BibT_eX]

[DOI]

Proceedings of the 13th International Conference on Research Challenges in Information Science, 2019

On the Philosophical Foundations of Conceptual Models.

[BibT_eX]

[DOI]

Nicola Guarino

Proceedings of the Information Modelling and Knowledge Bases XXXI, 2019

SolUnit: a framework for reducing execution time of smart contract unit tests.

[BibT_eX]

[DOI]

Proceedings of the 29th Annual International Conference on Computer Science and Software Engineering, 2019

A Pattern Language for Value Modeling in ArchiMate.

[BibT_eX]

[DOI]

Proceedings of the Advanced Information Systems Engineering, 2019

Taking It to the Next Level: Nicola Guarino, Formal Ontology and Conceptual Modeling.

[BibT_eX]

[DOI]

Proceedings of the Ontology Makes Sense - Essays in honor of Nicola Guarino, 2019

2018

Database Design.

[BibT_eX]

[DOI]

Proceedings of the Encyclopedia of Database Systems, Second Edition, 2018

Conceptual Schema Design.

[BibT_eX]

[DOI]

Proceedings of the Encyclopedia of Database Systems, Second Edition, 2018

MobiGoal: Flexible Achievement of Personal Goals for Mobile Users.

[BibT_eX]

[DOI]

IEEE Trans. Serv. Comput., 2018

Engineering Self-Adaptive Software Systems: From Requirements to Model Predictive Control.

[BibT_eX]

[DOI]

Alessandro Vittorio Papadopoulos

ACM Trans. Auton. Adapt. Syst., 2018

Holistic security requirements analysis for socio-technical systems.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2018

Multi-objective reasoning with constrained goal models.

[BibT_eX]

[DOI]

Requir. Eng., 2018

Analysis of information quality requirements in business processes, revisited.

[BibT_eX]

[DOI]

Requir. Eng., 2018

NómosT: Building large models of law with a tool-supported process.

[BibT_eX]

[DOI]

Data Knowl. Eng., 2018

A Core Ontology for Privacy Requirements Engineering.

[BibT_eX]

[DOI]

CoRR, 2018

Towards an Ontology of Competition.

[BibT_eX]

[DOI]

Proceedings of the 12th International Workshop on Value Modeling and Business Ontologies, 2018

CaRE: A Refinement Calculus for Requirements Engineering Based on Argumentation Semantics.

[BibT_eX]

[DOI]

Yehia Elrakaiby

Alessio Ferrari

Proceedings of the 26th IEEE International Requirements Engineering Conference, 2018

The Next Release Problem Revisited: A New Avenue for Goal Models.

[BibT_eX]

[DOI]

Proceedings of the 26th IEEE International Requirements Engineering Conference, 2018

Finding Related Forum Posts through Content Similarity over Intention-Based Segmentation (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the 34th IEEE International Conference on Data Engineering, 2018

Ontological Foundations of Competition.

[BibT_eX]

[DOI]

Proceedings of the Formal Ontology in Information Systems, 2018

The Common Ontology of Value and Risk.

[BibT_eX]

[DOI]

Tiago Prince Sales

Fernanda Baião

João Paulo A. Almeida

Nicola Guarino

Evellin Cristine Souza Cardoso

Proceedings of the Conceptual Modeling - 37th International Conference, 2018

Planning with Strategic Goals.

[BibT_eX]

[DOI]

Proceedings of the 22nd IEEE International Enterprise Distributed Object Computing Conference, 2018

2017

Finding Related Forum Posts through Content Similarity over Intention-Based Segmentation.

[BibT_eX]

[DOI]

IEEE Trans. Knowl. Data Eng., 2017

Annotating legal documents with GaiusT 2.0.

[BibT_eX]

[DOI]

Nicola Zeni

Luisa Mich

Int. J. Metadata Semant. Ontologies, 2017

Specification and derivation of key performance indicators for business analytics: A semantic approach.

[BibT_eX]

[DOI]

Data Knowl. Eng., 2017

Modeling and Reasoning on Requirements Evolution with Constrained Goal Models.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering and Formal Methods - 15th International Conference, 2017

Panel: Context-Dependent Evaluation of Tools for NL RE Tasks: Recall vs. Precision, and Beyond.

[BibT_eX]

[DOI]

Proceedings of the 25th IEEE International Requirements Engineering Conference, 2017

Evaluation of MUSER, a holistic security requirements analysis framework.

[BibT_eX]

[DOI]

Proceedings of the 11th International Conference on Research Challenges in Information Science, 2017

Gamification solutions for software acceptance: A comparative study of Requirements Engineering and Organizational Behavior techniques.

[BibT_eX]

[DOI]

Proceedings of the 11th International Conference on Research Challenges in Information Science, 2017

A tool-supported compliance process for software systems.

[BibT_eX]

[DOI]

Priscila Engiel

Proceedings of the 11th International Conference on Research Challenges in Information Science, 2017

What can information systems do for regulators? A review of the state-of-practice in Canada.

[BibT_eX]

[DOI]

Proceedings of the 11th International Conference on Research Challenges in Information Science, 2017

Goal Models for Acceptance Requirements Analysis and Gamification Design.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Modeling - 36th International Conference, 2017

Towards an Ontology for Privacy Requirements via a Systematic Literature Review.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Modeling - 36th International Conference, 2017

Goal-Oriented Regulatory Intelligence: How Can Watson Analytics Help?

[BibT_eX]

[DOI]

Proceedings of the Conceptual Modeling - 36th International Conference, 2017

An Ontological Analysis of Value Propositions.

[BibT_eX]

[DOI]

Proceedings of the 21st IEEE International Enterprise Distributed Object Computing Conference, 2017

Conceptual Modeling for Indicator Selection.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Modeling Perspectives., 2017

2016

The Goal Behind the Action: Toward Goal-Aware Systems and Applications.

[BibT_eX]

[DOI]

ACM Trans. Database Syst., 2016

Multi Object Reasoning with Constrained Goal Model.

[BibT_eX]

[DOI]

CoRR, 2016

Desiree - a Refinement Calculus for Requirements Engineering.

[BibT_eX]

[DOI]

CoRR, 2016

Desiree: a Refinement Calculus for Requirements Problems.

[BibT_eX]

[DOI]

CoRR, 2016

Ontologies for Privacy Requirements Engineering: A Systematic Literature Review.

[BibT_eX]

[DOI]

CoRR, 2016

Acceptance Requirements and Their Gamification Solutions.

[BibT_eX]

[DOI]

Luca Piras

Proceedings of the 24th IEEE International Requirements Engineering Conference, 2016

Goal-Oriented Requirements Engineering: A Systematic Literature Map.

[BibT_eX]

[DOI]

Proceedings of the 24th IEEE International Requirements Engineering Conference, 2016

How software changes the world: The role of assumptions.

[BibT_eX]

[DOI]

Proceedings of the Tenth IEEE International Conference on Research Challenges in Information Science, 2016

Security attack analysis using attack patterns.

[BibT_eX]

[DOI]

Proceedings of the Tenth IEEE International Conference on Research Challenges in Information Science, 2016

Multi-objective risk analysis with goal models.

[BibT_eX]

[DOI]

Fatma Basak Aydemir

Proceedings of the Tenth IEEE International Conference on Research Challenges in Information Science, 2016

Solving the next adaptation problem with prometheus.

[BibT_eX]

[DOI]

Fatma Basak Aydemir

Proceedings of the Tenth IEEE International Conference on Research Challenges in Information Science, 2016

GaiusT 2.0: Evolution of a Framework for Annotating Legal Documents.

[BibT_eX]

[DOI]

Nicola Zeni

Luisa Mich

Proceedings of the Metadata and Semantics Research - 10th International Conference, 2016

Similarity-based Reasoning with Quality Goals.

[BibT_eX]

[DOI]

Proceedings of the Ninth International i* Workshop co-located with 24th International Conference on Requirements Engineering (RE 2016), 2016

Strategic Enterprise Architectures.

[BibT_eX]

[DOI]

Proceedings of the Practice of Enterprise Modeling, 2016

Model predictive control for software systems with CobRA.

[BibT_eX]

[DOI]

Alessandro Vittorio Papadopoulos

Proceedings of the 11th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2016

Building Large Models of Law with NómosT.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Modeling - 35th International Conference, 2016

Can Goal Reasoning Techniques Be Used for Strategic Decision-Making?

[BibT_eX]

[DOI]

Proceedings of the Conceptual Modeling - 35th International Conference, 2016

Requirements Evolution and Evolution Requirements with Constrained Goal Models.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Modeling - 35th International Conference, 2016

Key Performance Indicator Elicitation and Selection Through Conceptual Modelling.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Modeling - 35th International Conference, 2016

Modeling Structured and Unstructured Processes: An Empirical Evaluation.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Modeling - 35th International Conference, 2016

Engineering cybersecurity in cyber physical systems.

[BibT_eX]

[DOI]

Hausi A. Müller

Proceedings of the 26th Annual International Conference on Computer Science and Software Engineering, 2016

Requirements-driven design of autonomic application software.

[BibT_eX]

[DOI]

Proceedings of the 26th Annual International Conference on Computer Science and Software Engineering, 2016

Engineering Requirements with Desiree: An Empirical Evaluation.

[BibT_eX]

[DOI]

Proceedings of the Advanced Information Systems Engineering, 2016

2015

Designing an adaptive computer-aided ambulance dispatch system with Zanshin: an experience report.

[BibT_eX]

[DOI]

Softw. Pract. Exp., 2015

Report on the First International i* Teaching Workshop (iStarT): June 9th, Co-located with the Conference on Advanced Information Systems Engineering (CAiSE'15), Stockholm, Sweden.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 2015

GaiusT: supporting the extraction of rights and obligations for regulatory compliance.

[BibT_eX]

[DOI]

Requir. Eng., 2015

Rationalism with a dose of empiricism: combining goal reasoning and case-based reasoning for self-adaptive software systems.

[BibT_eX]

[DOI]

Requir. Eng., 2015

Model-Based Management of Strategic Initiatives.

[BibT_eX]

[DOI]

J. Data Semant., 2015

Special issue on advanced information systems engineering.

[BibT_eX]

[DOI]

Christoph Quix

Inf. Syst., 2015

Using Goal Models Downstream: A Systematic Roadmap and Literature Review.

[BibT_eX]

[DOI]

Int. J. Inf. Syst. Model. Des., 2015

Adaptive predictive control for software systems.

[BibT_eX]

[DOI]

Alessandro Vittorio Papadopoulos

Proceedings of the 1st International Workshop on Control Theory for Software Engineering, 2015

Analyzing and Enforcing Security Mechanisms on Requirements Specifications.

[BibT_eX]

[DOI]

Proceedings of the Requirements Engineering: Foundation for Software Quality, 2015

From Stakeholder Requirements to Formal Specifications Through Refinement.

[BibT_eX]

[DOI]

Proceedings of the Requirements Engineering: Foundation for Software Quality, 2015

Holistic security requirements analysis: An attacker's perspective.

[BibT_eX]

[DOI]

Proceedings of the 23rd IEEE International Requirements Engineering Conference, 2015

Models for strategic planning: Applying TBIM to the Montreux Jazz Festival case study.

[BibT_eX]

[DOI]

Fabiano Francesconi

Proceedings of the 9th IEEE International Conference on Research Challenges in Information Science, 2015

Social specifications of business processes with Azzurra.

[BibT_eX]

[DOI]

Proceedings of the 9th IEEE International Conference on Research Challenges in Information Science, 2015

Learning to Rank for Question-Oriented Software Text Retrieval (T).

[BibT_eX]

[DOI]

Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, 2015

A Holistic Approach to Attack Modeling and Analysis.

[BibT_eX]

[DOI]

Proceedings of the Eighth International i*Workshop, 2015

Analyzing Attack Strategies Through Anti-goal Refinement.

[BibT_eX]

[DOI]

Proceedings of the Practice of Enterprise Modeling, 2015

Goals in Social Media, information retrieval and intelligent agents.

[BibT_eX]

[DOI]

Proceedings of the 31st IEEE International Conference on Data Engineering, 2015

The Importance of Teaching Systematic Analysis for Conceptual Models: An Experience Report.

[BibT_eX]

[DOI]

Elda Paja

Proceedings of the Advances in Conceptual Modeling, 2015

Stress Testing Strategic Goals with SWOT Analysis.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Modeling - 34th International Conference, 2015

Capturing Variability in Adaptation Spaces: A Three-Peaks Approach.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Modeling - 34th International Conference, 2015

Monitoring Strategic Business Goals with Argus.

[BibT_eX]

[DOI]

Proceedings of the 19th IEEE International Enterprise Distributed Object Computing Conference, 2015

Engineering cyber physical systems.

[BibT_eX]

[DOI]

Hausi A. Müller

Proceedings of 25th Annual International Conference on Computer Science and Software Engineering, 2015

The Importance of Teaching Goal-Oriented Analysis Techniques: an Experience Report.

[BibT_eX]

[DOI]

Elda Paja

Proceedings of the 1st International iStar Teaching Workshop co-located with the 27th International Conference on Advanced Information Systems Engineering (CAiSE 2015), 2015

Mining Software Logs for Goal-Driven Root Cause Analysis.

[BibT_eX]

[DOI]

Proceedings of the Art and Science of Analyzing Software Data, 2015

2014

The Requirements Problem for Adaptive Systems.

[BibT_eX]

[DOI]

ACM Trans. Manag. Inf. Syst., 2014

Strategic business modeling: representation and reasoning.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2014

Agile requirements engineering via paraconsistent reasoning.

[BibT_eX]

[DOI]

Inf. Syst., 2014

From requirements to statecharts via design refinement.

[BibT_eX]

[DOI]

João Pimentel

Proceedings of the Symposium on Applied Computing, 2014

Rationalism with a dose of empiricism: Case-based reasoning for requirements-driven self-adaptation.

[BibT_eX]

[DOI]

Proceedings of the IEEE 22nd International Requirements Engineering Conference, 2014

Non-functional requirements as qualities, with a spice of ontology.

[BibT_eX]

[DOI]

Proceedings of the IEEE 22nd International Requirements Engineering Conference, 2014

Nòmos 3: Reasoning about regulatory compliance of requirements.

[BibT_eX]

[DOI]

Proceedings of the IEEE 22nd International Requirements Engineering Conference, 2014

Protos: Foundations for engineering innovative sociotechnical systems.

[BibT_eX]

[DOI]

Proceedings of the IEEE 22nd International Requirements Engineering Conference, 2014

Applying knowledge representation and reasoning to (simple) goal models.

[BibT_eX]

[DOI]

Proceedings of the IEEE 1st International Workshop on Artificial Intelligence for Requirements Engineering, 2014

Taking goal models downstream: A systematic roadmap.

[BibT_eX]

[DOI]

Proceedings of the IEEE 8th International Conference on Research Challenges in Information Science, 2014

Exploring alternative designs for sociotechnical systems.

[BibT_eX]

[DOI]

Proceedings of the IEEE 8th International Conference on Research Challenges in Information Science, 2014

Modeling and Applying Security Patterns Using Contextual Goal Models.

[BibT_eX]

[DOI]

Proceedings of the Seventh International i* Workshop co-located with the 26th International Conference on Advanced Information Systems Engineering (CAiSE 2014), 2014

Goals and Compliance in Nomos 3.

[BibT_eX]

[DOI]

Proceedings of the Seventh International i* Workshop co-located with the 26th International Conference on Advanced Information Systems Engineering (CAiSE 2014), 2014

Designing Sociotechnical Systems with Protos.

[BibT_eX]

[DOI]

Fatma Basak Aydemir

Proceedings of the Seventh International i* Workshop co-located with the 26th International Conference on Advanced Information Systems Engineering (CAiSE 2014), 2014

Integrating Security Patterns with Security Requirements Analysis Using Contextual Goal Models.

[BibT_eX]

[DOI]

Proceedings of the Practice of Enterprise Modeling - 7th IFIP WG 8.1 Working Conference, 2014

Dealing with multiple failures in zanshin: a control-theoretic approach.

[BibT_eX]

[DOI]

Proceedings of the 9th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2014

Evolving Commitments for Self-Adaptive Socio-technical Systems.

[BibT_eX]

[DOI]

Proceedings of the 2014 19th International Conference on Engineering of Complex Computer Systems, 2014

Towards an Ontology of Software: a Requirements Engineering Perspective.

[BibT_eX]

[DOI]

Proceedings of the Formal Ontology in Information Systems, 2014

An Ontological Interpretation of Non-Functional Requirements.

[BibT_eX]

[DOI]

Proceedings of the Formal Ontology in Information Systems, 2014

Software as a Social Artifact: A Management and Evolution Perspective.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Modeling - 33rd International Conference, 2014

Modeling Regulatory Compliance in Requirements Engineering.

[BibT_eX]

[DOI]

Proceedings of the Advances in Conceptual Modeling, 2014

Evaluating Modeling Languages: An Example from the Requirements Domain.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Modeling - 33rd International Conference, 2014

A systematic approach for dynamic targeted monitoring of KPIs.

[BibT_eX]

[DOI]

Proceedings of 24th Annual International Conference on Computer Science and Software Engineering, 2014

A Prototype Tool for Modeling and Analyzing Security Requirements from A Holistic Viewpoint.

[BibT_eX]

[DOI]

Proceedings of the Joint Proceedings of the CAiSE 2014 Forum and CAiSE 2014 Doctoral Consortium co-located with the 26th International Conference on Advanced Information Systems Engineering (CAiSE 2014), 2014

An Overview of Requirements Evolution.

[BibT_eX]

[DOI]

Proceedings of the Evolving Software Systems, 2014

2013

Perspectives on Business Intelligence

[BibT_eX]

[DOI]

Synthesis Lectures on Data Management, Morgan & Claypool Publishers, ISBN: 978-3-031-01848-0, 2013

Engineering Adaptive Software Systems (EASSy) (NII Shonan Meeting 2013-7).

[BibT_eX]

[DOI]

NII Shonan Meet. Rep., 2013

Adaptive socio-technical systems: a requirements-based approach.

[BibT_eX]

[DOI]

Requir. Eng., 2013

Requirements-driven software evolution.

[BibT_eX]

[DOI]

Comput. Sci. Res. Dev., 2013

Automated topic naming - Supporting cross-project analysis of software maintenance activities.

[BibT_eX]

[DOI]

Empir. Softw. Eng., 2013

Arguing regulatory compliance of software requirements.

[BibT_eX]

[DOI]

Data Knowl. Eng., 2013

Choosing Compliance Solutions through Stakeholder Preferences.

[BibT_eX]

[DOI]

Proceedings of the Requirements Engineering: Foundation for Software Quality, 2013

Applying gaiust for extracting requirements from legal documents.

[BibT_eX]

[DOI]

Proceedings of the Sixth International Workshop on Requirements Engineering and Law, 2013

Requirements engineering conferences: Wither industry tracks?

[BibT_eX]

[DOI]

Roel J. Wieringa

Pascal van Eck

Proceedings of the 21st IEEE International Requirements Engineering Conference, 2013

Requirements Models at Design and Runtime.

[BibT_eX]

[DOI]

Proceedings of Requirements Engineering@Brazil 2013, Rio de Janeiro, Brazil, July 16, 2013, 2013

Modeling laws with nomos 2.

[BibT_eX]

[DOI]

Proceedings of the Sixth International Workshop on Requirements Engineering and Law, 2013

Runtime goal models: Keynote.

[BibT_eX]

[DOI]

Proceedings of the IEEE 7th International Conference on Research Challenges in Information Science, 2013

From Requirements to Architectures for Better Adaptive Software Systems.

[BibT_eX]

[DOI]

João Pimentel

Proceedings of the 6th International i* Workshop 2013, 2013

Non-Functional Requirements Revisited.

[BibT_eX]

[DOI]

Proceedings of the 6th International i* Workshop 2013, 2013

Uncertainty in Goal and Law Modeling and Analysis.

[BibT_eX]

[DOI]

Proceedings of the 6th International i* Workshop 2013, 2013

BIM-Tool: Modeling and Reasoning Support for Strategic Business Models.

[BibT_eX]

[DOI]

Proceedings of the 6th International i* Workshop 2013, 2013

Requirements models for design- and runtime: a position paper.

[BibT_eX]

[DOI]

Proceedings of the 5th International Workshop on Modeling in Software Engineering, 2013

Automated Reasoning for Regulatory Compliance.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Modeling - 32th International Conference, 2013

Modeling and Reasoning with Decision-Theoretic Goals.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Modeling - 32th International Conference, 2013

TBIM: A Language for Modeling and Reasoning about Business Plans.

[BibT_eX]

[DOI]

Fabiano Francesconi

Konstantinos Zoumpatianos

Proceedings of the Conceptual Modeling - 32th International Conference, 2013

Monitoring and diagnosing indicators for business analytics.

[BibT_eX]

[DOI]

Proceedings of the Center for Advanced Studies on Collaborative Research, 2013

The Evolution of Tropos.

[BibT_eX]

[DOI]

Proceedings of the Seminal Contributions to Information Systems Engineering, 2013

A Requirements-Driven Development Methodology.

[BibT_eX]

[DOI]

Proceedings of the Seminal Contributions to Information Systems Engineering, 2013

2012

On Modeling and Querying Concept Evolution.

[BibT_eX]

[DOI]

J. Data Semant., 2012

Behavioral adaptation of information systems through goal models.

[BibT_eX]

[DOI]

Shakil M. Khan

Marina Daoud Jungblut

Vyacheslav Rogozhkin

Inf. Syst., 2012

From intentions to code: exploring the life of user goals in two web-based systems.

[BibT_eX]

[DOI]

Marina Daoud Jungblut

IET Softw., 2012

Monitoring strategic goals in data warehouses with awareness requirements.

[BibT_eX]

[DOI]

Proceedings of the ACM Symposium on Applied Computing, 2012

Stateful requirements monitoring for self-repairing socio-technical systems.

[BibT_eX]

[DOI]

Proceedings of the 2012 20th IEEE International Requirements Engineering Conference (RE), 2012

Requirements-Driven Qualitative Adaptation.

[BibT_eX]

[DOI]

Proceedings of the On the Move to Meaningful Internet Systems: OTM 2012, 2012

Making Data Meaningful: The Business Intelligence Model and Its Formal Semantics in Description Logics.

[BibT_eX]

[DOI]

Proceedings of the On the Move to Meaningful Internet Systems: OTM 2012, 2012

(Requirement) evolution requirements for adaptive systems.

[BibT_eX]

[DOI]

Proceedings of the 7th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2012

Capturing Variability of Law with Nómos 2.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Modeling, 2012

Requirements, Intentions, Goals and Applicable Norms.

[BibT_eX]

[DOI]

Proceedings of the Advances in Conceptual Modeling, 2012

Conceptualizing and Specifying Key Performance Indicators in Business Strategy Models.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Modeling, 2012

Experiences in Mapping the Business Intelligence Model to Description Logics, and the Case for Parametric Concepts.

[BibT_eX]

[DOI]

Proceedings of the 2012 International Workshop on Description Logics, 2012

Software Service Evolution: A Requirements Perspective.

[BibT_eX]

[DOI]

Proceedings of the 36th Annual IEEE Computer Software and Applications Conference Workshops, 2012

Requirements-Driven Root Cause Analysis Using Markov Logic Networks.

[BibT_eX]

[DOI]

Proceedings of the Advanced Information Systems Engineering, 2012

Agile Requirements Evolution via Paraconsistent Reasoning.

[BibT_eX]

[DOI]

Proceedings of the Advanced Information Systems Engineering, 2012

Business Intelligence Modeling in Action: A Hospital Case Study.

[BibT_eX]

[DOI]

Daniele Barone

Thodoros Topaloglou

Konstantinos Zoumpatianos

Proceedings of the Advanced Information Systems Engineering, 2012

Strategic Management for Real-Time Business Intelligence.

[BibT_eX]

[DOI]

Themis Palpanas

Proceedings of the Enabling Real-Time Business Intelligence - 6th International Workshop, 2012

The Vivification Problem in Real-Time Business Intelligence: A Vision.

[BibT_eX]

[DOI]

Patricia C. Arocena

Renée J. Miller

Proceedings of the Enabling Real-Time Business Intelligence - 6th International Workshop, 2012

2011

Representing and reasoning about preferences in requirements engineering.

[BibT_eX]

[DOI]

Requir. Eng., 2011

Goal-driven risk assessment in requirements engineering.

[BibT_eX]

[DOI]

Yudistira Asnar

Requir. Eng., 2011

Digital privacy: theory, policies and technologies.

[BibT_eX]

[DOI]

Requir. Eng., 2011

The brave new world of design requirements.

[BibT_eX]

[DOI]

Inf. Syst., 2011

From awareness requirements to adaptive systems: A control-theoretic approach.

[BibT_eX]

[DOI]

Proceedings of the 2nd International Workshop on Requirements@Run.Time (RE@RunTime 2011), 2011

Automated topic naming to support cross-project analysis of software maintenance activities.

[BibT_eX]

[DOI]

Proceedings of the 8th International Working Conference on Mining Software Repositories, 2011

Towards Model-Based Support for Managing Organizational Transformation.

[BibT_eX]

[DOI]

Proceedings of the E-Technologies: Transformation in a Connected World, 2011

Requirements evolution drives software evolution.

[BibT_eX]

[DOI]

Proceedings of the 12th International Workshop on Principles of Software Evolution and the 7th annual ERCIM Workshop on Software Evolution, 2011

Capturing Contextual Variability in i* Models.

[BibT_eX]

[DOI]

Proceedings of the 5th International i* Workshop 2011, 2011

Nòmos: from Strategic Dependencies to Obligations.

[BibT_eX]

[DOI]

Proceedings of the 5th International i* Workshop 2011, 2011

Reasoning with Key Performance Indicators.

[BibT_eX]

[DOI]

Proceedings of the Practice of Enterprise Modeling - 4th IFIP WG 8.1 Working Conference, 2011

Adaptive Service Composition Based on Runtime Requirements Monitoring.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Web Services, 2011

Awareness requirements for adaptive systems.

[BibT_eX]

[DOI]

William N. Robinson

Proceedings of the 2011 ICSE Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2011

System Identification for Adaptive Software Systems: A Requirements Engineering Perspective.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Modeling - ER 2011, 30th International Conference, 2011

Strategic Models for Business Intelligence.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Modeling - ER 2011, 30th International Conference, 2011

Establishing Regulatory Compliance for Software Requirements.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Modeling - ER 2011, 30th International Conference, 2011

Composite Indicators for Business Intelligence.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Modeling - ER 2011, 30th International Conference, 2011

Supporting queries spanning across phases of evolving artifacts using Steiner forests.

[BibT_eX]

[DOI]

Proceedings of the 20th ACM Conference on Information and Knowledge Management, 2011

Towards a requirements-driven framework for detecting malicious behavior against software systems.

[BibT_eX]

[DOI]

Proceedings of the Center for Advanced Studies on Collaborative Research, 2011

An Extended Ontology for Security Requirements.

[BibT_eX]

[DOI]

Proceedings of the Advanced Information Systems Engineering Workshops, 2011

Goal-Based Behavioral Customization of Information Systems.

[BibT_eX]

[DOI]

Marina Daoud Jungblut

Proceedings of the Advanced Information Systems Engineering, 2011

Modeling Design Patterns with Description Logics: A Case Study.

[BibT_eX]

[DOI]

Yudistira Asnar

Elda Paja

Proceedings of the Advanced Information Systems Engineering, 2011

Goal Modeling and Reasoning in Tropos.

[BibT_eX]

Proceedings of the Social Modeling for Requirements Engineering., 2011

The Tropos Methodology and Software Development Environment.

[BibT_eX]

Proceedings of the Social Modeling for Requirements Engineering., 2011

Requirements Analysis for Run-Time Service Compositions.

[BibT_eX]

Enzo Colombo

Proceedings of the Social Modeling for Requirements Engineering., 2011

Social Modeling for Requirements Engineering: An Introduction.

[BibT_eX]

Proceedings of the Social Modeling for Requirements Engineering., 2011

2010

Security Requirements Engineering: The SI* Modeling Language and the Secure Tropos Methodology.

[BibT_eX]

[DOI]

Proceedings of the Advances in Intelligent Information Systems, 2010

Peer coordination through distributed triggers.

[BibT_eX]

[DOI]

Proc. VLDB Endow., 2010

Code forking in open-source software: a requirements perspective

[BibT_eX]

[DOI]

CoRR, 2010

Theory of Regulatory Compliance for Requirements Engineering

[BibT_eX]

[DOI]

CoRR, 2010

On the Perception of Software Quality Requirements during the Project Lifecycle.

[BibT_eX]

[DOI]

Proceedings of the Requirements Engineering: Foundation for Software Quality, 2010

Towards a continuous requirements engineering framework for self-adaptive systems.

[BibT_eX]

[DOI]

Proceedings of the First International Workshop on Requirements@Run.Time, 2010

Integrating Preferences into Goal Models for Requirements Engineering.

[BibT_eX]

[DOI]

Proceedings of the RE 2010, 18th IEEE International Requirements Engineering Conference, Sydney, New South Wales, Australia, September 27, 2010

Techne: Towards a New Generation of Requirements Modeling Languages with Goals, Preferences, and Inconsistency Handling.

[BibT_eX]

[DOI]

Proceedings of the RE 2010, 18th IEEE International Requirements Engineering Conference, Sydney, New South Wales, Australia, September 27, 2010

A Context-Based Model for the Interpretation of Polysemous Terms.

[BibT_eX]

[DOI]

Proceedings of the On the Move to Meaningful Internet Systems, 2010

On the use of the Goal-Oriented Paradigm for System Design and Law Compliance Reasoning.

[BibT_eX]

[DOI]

Proceedings of the 4th International i* Workshop, 2010

On Temporally Annotating Goal Models.

[BibT_eX]

[DOI]

Proceedings of the 4th International i* Workshop, 2010

The Evolution of Tropos: Contexts, Commitments and Adaptivity.

[BibT_eX]

[DOI]

Proceedings of the 4th International i* Workshop, 2010

Enterprise Modeling for Business Intelligence.

[BibT_eX]

[DOI]

Proceedings of the Practice of Enterprise Modeling - Third IFIP WG 8.1 Working Conference, 2010

Log filtering and interpretation for root cause analysis.

[BibT_eX]

[DOI]

Hamzeh Zawawy

Proceedings of the 26th IEEE International Conference on Software Maintenance (ICSM 2010), 2010

Establishing Regulatory Compliance for Information System Requirements: An Experience Report from the Health Care Domain.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Modeling, 2010

The Model Role Level - A Vision.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Modeling, 2010

Extending Organizational Modeling with Business Services Concepts: An Overview of the Proposed Architecture.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Modeling, 2010

Reasoning with Optional and Preferred Requirements.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Modeling, 2010

Adaptation in Open Systems: Giving Interaction Its Rightful Place.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Modeling, 2010

Awareness Requirements.

[BibT_eX]

[DOI]

William N. Robinson

Proceedings of the Software Engineering for Self-Adaptive Systems II, 2010

Software Engineering for Self-Adaptive Systems: A second Research Roadmap.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering for Self-Adaptive Systems, 24.10. - 29.10.2010, 2010

Integrated system diagnosis and root cause analysis.

[BibT_eX]

[DOI]

Proceedings of the 2010 conference of the Centre for Advanced Studies on Collaborative Research, 2010

Diagnosing software using statecharts.

[BibT_eX]

[DOI]

Yiqiao Wang

Proceedings of the 2010 conference of the Centre for Advanced Studies on Collaborative Research, 2010

Next generation business intelligence (BI) tools.

[BibT_eX]

[DOI]

Proceedings of the 2010 conference of the Centre for Advanced Studies on Collaborative Research, 2010

The Brave New World of Design Requirements: Four Key Principles.

[BibT_eX]

[DOI]

Proceedings of the Advanced Information Systems Engineering, 22nd International Conference, 2010

Modeling and Reasoning about Service-Oriented Applications via Goals and Commitments.

[BibT_eX]

[DOI]

Proceedings of the Advanced Information Systems Engineering, 22nd International Conference, 2010

Reasoning about agents and protocols via goals and commitments.

[BibT_eX]

[DOI]

Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), 2010

Requirements as Goals and Commitments Too.

[BibT_eX]

[DOI]

Proceedings of the Intentional Perspectives on Information Systems Engineering., 2010

2009

Database Design.

[BibT_eX]

[DOI]

Proceedings of the Encyclopedia of Database Systems, 2009

Conceptual Schema Design.

[BibT_eX]

[DOI]

Proceedings of the Encyclopedia of Database Systems, 2009

Aspects across Software Life Cycle: A Goal-Driven Approach.

[BibT_eX]

[DOI]

Nan Niu

Bruno González-Baixauli

LNCS Trans. Aspect Oriented Softw. Dev., 2009

Designing socio-technical systems: from stakeholder goals to social networks.

[BibT_eX]

[DOI]

Volha Bryl

Requir. Eng., 2009

Secure-I*: Engineering Secure Software Systems through Social Analysis.

[BibT_eX]

[DOI]

Int. J. Softw. Informatics, 2009

Advanced separation of concerns in agent-oriented design patterns.

[BibT_eX]

[DOI]

Patrícia Azevedo Tedesco

Int. J. Agent Oriented Softw. Eng., 2009

Cerno: Light-weight tool support for semantic annotation of textual documents.

[BibT_eX]

[DOI]

Data Knowl. Eng., 2009

Towards a Theory of Requirements Elicitation: Acceptability Condition for the Relative Validity of Requirements

[BibT_eX]

[DOI]

CoRR, 2009

Monitoring and diagnosing software requirements.

[BibT_eX]

[DOI]

Autom. Softw. Eng., 2009

A core ontology for requirements.

[BibT_eX]

[DOI]

Appl. Ontology, 2009

Complete and Equivalent Query Rewriting Using Views.

[BibT_eX]

[DOI]

Proceedings of the Advances in Data and Web Management, Joint International Conferences, 2009

From Organizational Models to Software Requirements.

[BibT_eX]

Proceedings of the 21st International Conference on Software Engineering & Knowledge Engineering (SEKE'2009), 2009

A Meta-Model for Modelling Law-Compliant Requirements.

[BibT_eX]

[DOI]

Proceedings of the Second International Workshop on Requirements Engineering and Law, 2009

Analysis of Multi-Party Agreement in Requirements Validation.

[BibT_eX]

[DOI]

Proceedings of the RE 2009, 17th IEEE International Requirements Engineering Conference, Atlanta, Georgia, USA, August 31, 2009

Models in Knowledge Management.

[BibT_eX]

[DOI]

Proceedings of the Knowledge Science, 2009

Required Knowledge for Delivering Services.

[BibT_eX]

[DOI]

Proceedings of the Knowledge Science, 2009

Self-Repair through Reconfiguration: A Requirements Engineering Approach.

[BibT_eX]

[DOI]

Yiqiao Wang

Proceedings of the ASE 2009, 2009

Towards Augmenting Requirements Models with Preferences.

[BibT_eX]

[DOI]

Sheila A. McIlraith

Proceedings of the ASE 2009, 2009

Requirements-driven Internetware services evaluation.

[BibT_eX]

[DOI]

Proceedings of the First Asia-Pacific Symposium on Internetware, 2009

Towards a framework for law-compliant software requirements.

[BibT_eX]

[DOI]

Proceedings of the 31st International Conference on Software Engineering, 2009

Monitoring and Diagnosing Malicious Attacks with Autonomic Software.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Modeling, 2009

Designing Law-Compliant Software Requirements.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Modeling, 2009

Modeling Concept Evolution: A Historical Perspective.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Modeling, 2009

Conceptual Modeling in the Time of the Revolution: Part II.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Modeling, 2009

Modeling Domain Variability in Requirements Engineering with Contexts.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Modeling, 2009

Using Macromodels to Manage Collections of Related Models.

[BibT_eX]

[DOI]

Proceedings of the Advanced Information Systems Engineering, 21st International Conference, 2009

Improving Model Quality Using Diagram Coverage Criteria.

[BibT_eX]

[DOI]

Proceedings of the Advanced Information Systems Engineering, 21st International Conference, 2009

Measuring and Comparing Effectiveness of Data Quality Techniques.

[BibT_eX]

[DOI]

Proceedings of the Advanced Information Systems Engineering, 21st International Conference, 2009

An Architecture for Requirements-Driven Self-reconfiguration.

[BibT_eX]

[DOI]

Proceedings of the Advanced Information Systems Engineering, 21st International Conference, 2009

Software self-reconfiguration: a BDI-based approach.

[BibT_eX]

[DOI]

Proceedings of the 8th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), 2009

2008

Discovering and Maintaining Semantic Mappings between XML Schemas and Ontologies.

[BibT_eX]

[DOI]

J. Comput. Sci. Eng., 2008

Configuring features with stakeholder goals.

[BibT_eX]

[DOI]

Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008

From Laws to Requirements.

[BibT_eX]

[DOI]

Proceedings of the First International Workshop on Requirements Engineering and Law, 2008

Revisiting the Core Ontology and Problem in Requirements Engineering.

[BibT_eX]

[DOI]

Proceedings of the 16th IEEE International Requirements Engineering Conference, 2008

Supporting Requirements Model Evolution throughout the System Life-Cycle.

[BibT_eX]

[DOI]

Proceedings of the 16th IEEE International Requirements Engineering Conference, 2008

Automating the Generation of Semantic Annotation Tools Using a Clustering Technique.

[BibT_eX]

[DOI]

Proceedings of the Natural Language and Information Systems, 2008

Managing Models through Macromodeling.

[BibT_eX]

[DOI]

Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), 2008

Tropos at the Age of Eight: On-going Research at FBK, UniTN and UT.

[BibT_eX]

[DOI]

Proceedings of the 3rd International i* Workshop, Recife, Brazil, February 11-12, 2008, 2008

A Service-oriented Approach for the i* Framework.

[BibT_eX]

[DOI]

Hugo Estrada

Alicia Martínez Rebollar

Oscar Pastor

Proceedings of the 3rd International i* Workshop, Recife, Brazil, February 11-12, 2008, 2008

From Goals to High-Variability Software Design.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Intelligent Systems, 17th International Symposium, 2008

Traceability for the maintenance of secure software.

[BibT_eX]

[DOI]

Jan Jürjens

Proceedings of the 24th IEEE International Conference on Software Maintenance (ICSM 2008), September 28, 2008

Automating the Extraction of Rights and Obligations for Regulatory Compliance.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Modeling, 2008

Towards a Compositional Semantic Account of Data Quality Attributes.

[BibT_eX]

[DOI]

Lei Jiang

Proceedings of the Conceptual Modeling, 2008

The Logic of Requirements.

[BibT_eX]

[DOI]

Proceedings of the Perspectives Workshop: Science of Design: High-Impact Requirements for Software-Intensive Systems, 08.10., 2008

08412 Seminar Outlines and Working Group Summaries.

[BibT_eX]

[DOI]

Gloria Mark

Balasubramaniam Ramesh

Dominik Schmitz

Alistair G. Sutcliffe

Proceedings of the Perspectives Workshop: Science of Design: High-Impact Requirements for Software-Intensive Systems, 08.10., 2008

08412 Executive Summary - Science of Design : High-Impact Requirements for Software-Intensive Systems.

[BibT_eX]

[DOI]

Kalle Lyytinen

Proceedings of the Perspectives Workshop: Science of Design: High-Impact Requirements for Software-Intensive Systems, 08.10., 2008

08412 Abstracts Collection - Science of Design : High-Impact Requirements for Software-Intensive Systems.

[BibT_eX]

[DOI]

Kalle Lyytinen

Proceedings of the Perspectives Workshop: Science of Design: High-Impact Requirements for Software-Intensive Systems, 08.10., 2008

08412 Manifesto - High-Impact Requirements for Software-Intensive Systems.

[BibT_eX]

[DOI]

Proceedings of the Perspectives Workshop: Science of Design: High-Impact Requirements for Software-Intensive Systems, 08.10., 2008

Software Maintenance and Reengineering in the Days of Software Agents.

[BibT_eX]

[DOI]

Proceedings of the 12th European Conference on Software Maintenance and Reengineering, 2008

Goal-Oriented Requirements Engineering.

[BibT_eX]

Proceedings of the Memorias de la XI Conferencia Iberoamericana de Software Engineering (CIbSE 2008), 2008

Annotating Regulations Using Cerno: An Application to Italian Documents - Extended Abstract.

[BibT_eX]

[DOI]

Proceedings of the The Third International Conference on Availability, 2008

2007

High variability design for software agents: Extending Tropos.

[BibT_eX]

[DOI]

ACM Trans. Auton. Adapt. Syst., 2007

From Hippocratic Databases to Secure Tropos: a Computer-Aided Re-Engineering Approach.

[BibT_eX]

[DOI]

Int. J. Softw. Eng. Knowl. Eng., 2007

Supporting Distributed Event-Condition-Action Rules in a Multidatabase Environment.

[BibT_eX]

[DOI]

Verena Kantere

Int. J. Cooperative Inf. Syst., 2007

Computer-aided Support for Secure Tropos.

[BibT_eX]

[DOI]

Autom. Softw. Eng., 2007

Exploring the Dimensions of Variability: a Requirements Engineering Perspective.

[BibT_eX]

[DOI]

Proceedings of the First International Workshop on Variability Modelling of Software-Intensive Systems, 2007

Tracing and Validating Goal Aspects.

[BibT_eX]

[DOI]

Nan Niu

Bruno González-Baixauli

William Candillon

Gilles Vanwormhoudt

Proceedings of the 15th IEEE International Requirements Engineering Conference, 2007

Business Process-Based Regulation Compliance: The Case of the Sarbanes-Oxley Act.

[BibT_eX]

[DOI]

Dimitris Karagiannis

Margit Schwab

Proceedings of the 15th IEEE International Requirements Engineering Conference, 2007

Goal-Oriented Conceptual Database Design.

[BibT_eX]

[DOI]

Proceedings of the 15th IEEE International Requirements Engineering Conference, 2007

Supporting Requirements Analysis in Tropos: A Planning-Based Approach.

[BibT_eX]

[DOI]

Volha Bryl

Proceedings of the Agent Computing and Multi-Agent Systems, 2007

SWWS 2007 PC Co-chairs' Message.

[BibT_eX]

[DOI]

Elizabeth Chang

Proceedings of the On the Move to Meaningful Internet Systems 2007: OTM 2007 Workshops, 2007

A Lightweight Approach to Semantic Annotation of Research Papers.

[BibT_eX]

[DOI]

Proceedings of the Natural Language Processing and Information Systems, 2007

An automated approach to monitoring and diagnosing requirements.

[BibT_eX]

[DOI]

Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), 2007

Extracting rights and obligations from regulations: toward a tool-supported process.

[BibT_eX]

[DOI]

Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), 2007

Data Quality By Design: A Goal-Oriented Approach.

[BibT_eX]

[DOI]

Proceedings of the 12th International Conference on Information Quality, 2007

A Semantic Approach to Discovering Schema Mapping Expressions.

[BibT_eX]

[DOI]

Proceedings of the 23rd International Conference on Data Engineering, 2007

An Ontology for Requirements.

[BibT_eX]

[DOI]

Proceedings of the Advances in Conceptual Modeling - Foundations and Applications, 2007

Annotating Accommodation Advertisements Using CERNO.

[BibT_eX]

[DOI]

Proceedings of the Information and Communication Technologies in Tourism, 2007

Requirements-Driven Design and Configuration Management of Business Processes.

[BibT_eX]

[DOI]

Proceedings of the Business Process Management, 5th International Conference, 2007

A design framework for generating BDI-agents from goal models.

[BibT_eX]

[DOI]

Proceedings of the 6th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2007), 2007

2006

Hierarchical hippocratic databases with minimal disclosure for virtual organizations.

[BibT_eX]

[DOI]

VLDB J., 2006

Discovering the Semantics of Relational Tables Through Mappings.

[BibT_eX]

[DOI]

J. Data Semant., 2006

Requirements engineering for trust management: model, methodology, and reasoning.

[BibT_eX]

[DOI]

Int. J. Inf. Sec., 2006

Multi-Agent Architectures as Organizational Structures.

[BibT_eX]

[DOI]

Auton. Agents Multi Agent Syst., 2006

Improving Multi-Agent Architectural Design.

[BibT_eX]

[DOI]

Patrícia Azevedo Tedesco

João Araújo

Ana Moreira

Proceedings of the Software Engineering for Multi-Agent Systems V, 2006

Improving the architectural design of multi-agent systems: the tropos case.

[BibT_eX]

[DOI]

Carla Silva

Patrícia Azevedo Tedesco

João Araújo

Ana Moreira

Proceedings of the 2006 international workshop on Software engineering for large-scale multi-agent systems, 2006

Towards an Ontological Account of Agent-Oriented Goals.

[BibT_eX]

[DOI]

Anna Perini

Proceedings of the Software Engineering for Multi-Agent Systems V, 2006

Goal-Oriented Requirements Engineering, Part II.

[BibT_eX]

[DOI]

Proceedings of the 14th IEEE International Conference on Requirements Engineering (RE 2006), 2006

On Goal-based Variability Acquisition and Analysis.

[BibT_eX]

[DOI]

Proceedings of the 14th IEEE International Conference on Requirements Engineering (RE 2006), 2006

Incorporating Goal Analysis in Database Design: A Case Study from Biological Data Management.

[BibT_eX]

[DOI]

Proceedings of the 14th IEEE International Conference on Requirements Engineering (RE 2006), 2006

Detecting Conflicts of Interest.

[BibT_eX]

[DOI]

Proceedings of the 14th IEEE International Conference on Requirements Engineering (RE 2006), 2006

Deriving Architectures from Requirements.

[BibT_eX]

[DOI]

Lúcia R. D. Bastos

Proceedings of the 14th IEEE International Conference on Requirements Engineering (RE 2006), 2006

Using Aspects to Simplify iModels.

[BibT_eX]

[DOI]

Proceedings of the 14th IEEE International Conference on Requirements Engineering (RE 2006), 2006

Text Mining Through Semi Automatic Semantic Annotation.

[BibT_eX]

[DOI]

Proceedings of the Practical Aspects of Knowledge Management, 6th International Conference, 2006

Distributed Triggers for Peer Data Management.

[BibT_eX]

[DOI]

Proceedings of the On the Move to Meaningful Internet Systems 2006: CoopIS, 2006

Designing Cooperative IS: Exploring and Evaluating Alternatives.

[BibT_eX]

[DOI]

Volha Bryl

Proceedings of the On the Move to Meaningful Internet Systems 2006: CoopIS, 2006

From Capability Specifications to Code for Multi-Agent Software.

[BibT_eX]

[DOI]

Proceedings of the 21st IEEE/ACM International Conference on Automated Software Engineering (ASE 2006), 2006

Agent Capability: Automating the Design to Code Process.

[BibT_eX]

[DOI]

Proceedings of the 4th European Workshop on Multi-Agent Systems EUMAS'06, 2006

Conceptualizing the Co-evolution of Organizations and Information Systems: An Agent-Oriented Perspective.

[BibT_eX]

[DOI]

Ning Su

Proceedings of the Conceptual Modeling, 2006

A Multi-perspective Framework for Organizational Patterns.

[BibT_eX]

[DOI]

Enzo Colombo

Proceedings of the Conceptual Modeling, 2006

An ECA Rule Rewriting Mechanism for Peer Data Management Systems.

[BibT_eX]

[DOI]

Proceedings of the Advances in Database Technology, 2006

Decision Making in Large-Scale Domains: A Case Study.

[BibT_eX]

Mikhail Soutchanski

Huy Pham

Proceedings of the ECAI 2006, 17th European Conference on Artificial Intelligence, August 29, 2006

Security Design Based on Social Modeling.

[BibT_eX]

[DOI]

Proceedings of the 30th Annual International Computer Software and Applications Conference, 2006

From Stakeholder Intentions to Software Agent Implementations.

[BibT_eX]

[DOI]

Proceedings of the Advanced Information Systems Engineering, 18th International Conference, 2006

An Empirical Evaluation of the i* Framework in a Model-Based Software Generation Environment.

[BibT_eX]

[DOI]

Hugo Estrada

Alicia Martínez Rebollar

Oscar Pastor

Proceedings of the Advanced Information Systems Engineering, 18th International Conference, 2006

Designing Security Requirements Models Through Planning.

[BibT_eX]

[DOI]

Proceedings of the Advanced Information Systems Engineering, 18th International Conference, 2006

A Tropos Model-Driven Development Environment.

[BibT_eX]

[DOI]

Proceedings of the 18th Conference on Advanced Information Systems Engineering (CAiSE '06), 2006

From Early to Late Requirements: A Goal-Based Approach.

[BibT_eX]

[DOI]

Proceedings of the Agent-Oriented Information Systems IV, 2006

Integration of Aspects with i* Models.

[BibT_eX]

[DOI]

Jaelson Brelaz de Castro

Ana Moreira

João Araújo

Ricardo Argenton Ramos

Proceedings of the Agent-Oriented Information Systems IV, 2006

Decision Making in Uncertain Real-World Domains Using DT-Golog.

[BibT_eX]

[DOI]

Mikhail Soutchanski

Huy Pham

Proceedings of the Proceedings, 2006

Building Semantic Mappings from Databases to Ontologies.

[BibT_eX]

[DOI]

Proceedings of the Proceedings, 2006

Properties of Information Modeling Techniques for Information Systems Engineering.

[BibT_eX]

[DOI]

Proceedings of the Handbook on Architectures of Information Systems, 2006

2005

Editorial.

[BibT_eX]

[DOI]

Tiziana Catarci

Maria E. Orlowska

World Wide Web, 2005

Making XML document markup international.

[BibT_eX]

[DOI]

Softw. Pract. Exp., 2005

Towards requirements-driven autonomic systems design.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 2005

DEAS 2005: workshop on the design and evolution of autonomic application software.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 2005

The Tropos Metamodel and its Use.

[BibT_eX]

[DOI]

Informatica (Slovenia), 2005

Goal-oriented requirements analysis and reasoning in the Tropos methodology.

[BibT_eX]

[DOI]

Eng. Appl. Artif. Intell., 2005

A Lightweight Approach to Semantic Web Service Synthesis.

[BibT_eX]

[DOI]

Proceedings of the 2005 International Workshop on Challenges in Web Information Retrieval and Integration (WIRI 2005), 2005

RETR: Reverse Engineering to Requirements.

[BibT_eX]

[DOI]

Patricia Rodríguez-Gianolli

Proceedings of the 12th Working Conference on Reverse Engineering, 2005

Data Sharing in the Hyperion Peer Database System.

[BibT_eX]

[DOI]

Maddalena Garzetti

Lei Jiang

Proceedings of the 31st International Conference on Very Large Data Bases, Trondheim, Norway, August 30, 2005

Semi-Automatic Semantic Annotations for Web Documents.

[BibT_eX]

[DOI]

Proceedings of the SWAP 2005, 2005

Constructing Complex Semantic Mappings Between XML Data and Ontologies.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web - ISWC 2005, 4th International Semantic Web Conference, 2005

Reverse Engineering Goal Models from Legacy Code.

[BibT_eX]

[DOI]

Proceedings of the 13th IEEE International Conference on Requirements Engineering (RE 2005), 29 August, 2005

ST-Tool: A CASE Tool for Security Requirements Engineering.

[BibT_eX]

[DOI]

Proceedings of the 13th IEEE International Conference on Requirements Engineering (RE 2005), 29 August, 2005

Modeling Security Requirements Through Ownership, Permission and Delegation.

[BibT_eX]

[DOI]

Proceedings of the 13th IEEE International Conference on Requirements Engineering (RE 2005), 29 August, 2005

Translating XML Web Data into Ontologies.

[BibT_eX]

[DOI]

Proceedings of the On the Move to Meaningful Internet Systems 2005: OTM 2005 Workshops, 2005

Inferring Complex Semantic Mappings Between Relational Tables and Ontologies from Simple Correspondences.

[BibT_eX]

[DOI]

Proceedings of the On the Move to Meaningful Internet Systems 2005: CoopIS, 2005

Modeling Social and Individual Trust in Requirements Engineering Methodologies.

[BibT_eX]

[DOI]

Proceedings of the Trust Management, Third International Conference, 2005

ST-Tool: A CASE Tool for Modeling and Analyzing Trust Requirements.

[BibT_eX]

[DOI]

Proceedings of the Trust Management, Third International Conference, 2005

Modeling and Analyzing Context-Aware Composition of Services.

[BibT_eX]

[DOI]

Enzo Colombo

Paola Spoletini

Proceedings of the Service-Oriented Computing, 2005

Reducing Build Time through Precompilations for Evolving Large Software.

[BibT_eX]

[DOI]

Proceedings of the 21st IEEE International Conference on Software Maintenance (ICSM 2005), 2005

A Datawarehouse for Managing Commercial Software Release.

[BibT_eX]

[DOI]

Homayoun Dayani-Fard

Janice I. Glasgow

Proceedings of the 21st IEEE International Conference on Software Maintenance (ICSM 2005), 2005

Representing and Querying Data Transformations.

[BibT_eX]

[DOI]

Renée J. Miller

Proceedings of the 21st International Conference on Data Engineering, 2005

Applying Software Analysis Technology to Lightweight Semantic Markup of Document Text.

[BibT_eX]

[DOI]

Proceedings of the Pattern Recognition and Data Mining, 2005

Improving the Build Architecture of Legacy C/C++ Software Systems.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2005

Minimal Disclosure in Hierarchical Hippocratic Databases with Delegation.

[BibT_eX]

[DOI]

Proceedings of the Computer Security, 2005

Quality-Based Software Reuse.

[BibT_eX]

[DOI]

Proceedings of the Advanced Information Systems Engineering, 17th International Conference, 2005

Databases and the Semantic Web: Data Semantics Revisited.

[BibT_eX]

[DOI]

Proceedings of the Web Technologies Research and Development - APWeb 2005, 7th Asia-Pacific Web Conference, Shanghai, China, March 29, 2005

2004

Editorial - International Semantic Web Conference 2003.

[BibT_eX]

[DOI]

Katia P. Sycara

J. Web Semant., 2004

Specifying and analyzing early requirements in Tropos.

[BibT_eX]

[DOI]

Requir. Eng., 2004

Ontologies for Knowledge Management: An Information Systems Perspective.

[BibT_eX]

[DOI]

Igor Jurisica

Knowl. Inf. Syst., 2004

Introduction to special issue with best papers from CAiSE 2002.

[BibT_eX]

[DOI]

Carson C. Woo

Inf. Syst., 2004

Introduction.

[BibT_eX]

[DOI]

Andrea De Lucia

James R. Cordy

Autom. Softw. Eng., 2004

Tropos: An Agent-Oriented Software Development Methodology.

[BibT_eX]

[DOI]

Auton. Agents Multi Agent Syst., 2004

A Lightweight Approach to Semantic Tagging.

[BibT_eX]

[DOI]

Proceedings of the WWW2004 Workshop on Application Design, 2004

Data Semantics Revisited.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web and Databases, Second International Workshop, 2004

Refining Semantic Mappings from Relational Tables to Ontologies.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web and Databases, Second International Workshop, 2004

From Goals to Aspects: Discovering Aspects from Requirements Goal Models.

[BibT_eX]

[DOI]

Proceedings of the 12th IEEE International Conference on Requirements Engineering (RE 2004), 2004

Visual Variability Analysis for Goal Models.

[BibT_eX]

[DOI]

Bruno González-Baixauli

Proceedings of the 12th IEEE International Conference on Requirements Engineering (RE 2004), 2004

Experimenting with Linguistic Tools for Conceptual Modelling: Quality of the Models and Critical Features.

[BibT_eX]

[DOI]

Proceedings of the Natural Language Processing and Information Systems, 2004

Requirements Engineering Meets Trust Management: Model, Methodology, and Reasoning.

[BibT_eX]

[DOI]

Proceedings of the Trust Management, Second International Conference, 2004

Designing Web Services with Tropos.

[BibT_eX]

[DOI]

Diana Lau

Proceedings of the IEEE International Conference on Web Services (ICWS'04), 2004

ToMAS: A System for Adapting Mappings while Schemas Evolve.

[BibT_eX]

[DOI]

Proceedings of the 20th International Conference on Data Engineering, 2004

Filling the Gap between Requirements Engineering and Public Key/Trust Management Infrastructures.

[BibT_eX]

[DOI]

Proceedings of the Public Key Infrastructure, 2004

Simple and Minimum-Cost Satisfiability for Goal Models.

[BibT_eX]

[DOI]

Proceedings of the Advanced Information Systems Engineering, 16th International Conference, 2004

2003

Cooperation strategies for agent-based P2P systems.

[BibT_eX]

[DOI]

Web Intell. Agent Syst., 2003

The hyperion project: from data integration to data coordination.

[BibT_eX]

[DOI]

Marcelo Arenas

Vasiliki Kantere

Renée J. Miller

SIGMOD Rec., 2003

Requirements Engineering editorial.

[BibT_eX]

[DOI]

Pericles Loucopoulos

Requir. Eng., 2003

Quality-driven software re-engineering.

[BibT_eX]

[DOI]

Ladan Tahvildari

J. Syst. Softw., 2003

Formal Reasoning Techniques for Goal Models.

[BibT_eX]

[DOI]

Eleonora Nicchiarelli

J. Data Semant., 2003

The Migration of Multi-tier E-commerce Applications to an Enterprise Java Environment.

[BibT_eX]

[DOI]

Inf. Syst. Frontiers, 2003

SemanticWeb Services: Facts and Fiction.

[BibT_eX]

[DOI]

Maria E. Orlowska

Proceedings of the 4th International Conference on Web Information Systems Engineering, 2003

From Task-Oriented to Goal-Oriented Web Requirements Analysis.

[BibT_eX]

[DOI]

Davide Bolchini

Proceedings of the 4th International Conference on Web Information Systems Engineering, 2003

Detailing Architectural Design in Requirements Driven Software Development: The Tropos Case.

[BibT_eX]

[DOI]

Jaelson F. B. Castro

Proceedings of the 17th Brazilian Symposium on Software Engineering, 2003

Security and Privacy Requirements Analysis within a Social Setting.

[BibT_eX]

[DOI]

Proceedings of the 11th IEEE International Conference on Requirements Engineering (RE 2003), 2003

Requirements Analysis for Customizable Software Goals-Skills-Preferences Framework.

[BibT_eX]

[DOI]

Bowen Hui

Proceedings of the 11th IEEE International Conference on Requirements Engineering (RE 2003), 2003

Specifying and Analyzing Early Requirements: Some Experimental Results.

[BibT_eX]

[DOI]

Proceedings of the 11th IEEE International Conference on Requirements Engineering (RE 2003), 2003

Agent Oriented Software Development.

[BibT_eX]

[DOI]

Proceedings of the Object-Oriented Information Systems, 9th International Conference, 2003

Automated EJB Client Code Generation Using Database Query Rewriting.

[BibT_eX]

[DOI]

Proceedings of the 7th International Database Engineering and Applications Symposium (IDEAS 2003), 2003

Detailing Architectural Design in the Tropos Methodology.

[BibT_eX]

[DOI]

Jaelson Brelaz de Castro

Proceedings of the ICSE 2003, 2003

Integrating Organizational Requirements and Socio-Intentional Architectural Styles.

[BibT_eX]

[DOI]

Lúcia R. D. Bastos

Jaelson Brelaz de Castro

Proceedings of the ICSE 2003, 2003

Requirement Engineering Meets Security: A Case Study on Modelling Secure Electronic Transactions by VISA and Mastercard.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Modeling, 2003

Modeling Software.

[BibT_eX]

[DOI]

Proceedings of the 2003 International Workshop on Description Logics (DL2003), 2003

Coordinating Peer Databases Using ECA Rules.

[BibT_eX]

[DOI]

Vasiliki Kantere

Marcelo Arenas

Proceedings of the Databases, 2003

Tenth Anniversasy of CoopIS: Cooperative Information Systems Then and Now.

[BibT_eX]

[DOI]

Proceedings of the On The Move to Meaningful Internet Systems 2003: CoopIS, DOA, and ODBASE, 2003

A Distributed Rule Mechanism for Multidatabase Systems.

[BibT_eX]

[DOI]

Vasiliki Kantere

Proceedings of the On The Move to Meaningful Internet Systems 2003: CoopIS, DOA, and ODBASE, 2003

Local Relational Model: A Logical Formalization of Database Coordination.

[BibT_eX]

[DOI]

Proceedings of the Modeling and Using Context, 2003

Removing false code dependencies to speedup software build processes.

[BibT_eX]

[DOI]

Homayoun Dayani-Fard

Proceedings of the 2003 conference of the Centre for Advanced Studies on Collaborative Research, 2003

Organizational Patterns for Early Requirements Analysis.

[BibT_eX]

[DOI]

Proceedings of the Advanced Information Systems Engineering, 15th International Conference, 2003

Modeling Organizational Architectural Styles in UML.

[BibT_eX]

[DOI]

Proceedings of the Advanced Information Systems Engineering, 15th International Conference, 2003

2002

Requirements Engineering and Technology Transfer: Obstacles, Incentives and Improvement Agenda.

[BibT_eX]

[DOI]

Constance L. Heitmeyer

Nancy R. Mead

Jawed I. A. Siddiqi

Requir. Eng., 2002

Towards requirements-driven information systems engineering: the Tropos project.

[BibT_eX]

[DOI]

Inf. Syst., 2002

Extensible Information Brokers.

[BibT_eX]

[DOI]

Int. J. Artif. Intell. Tools, 2002

Intelligent agents and financial risk monitoring systems.

[BibT_eX]

[DOI]

Huaiqing Wang

Stephen Shaoyi Liao

Commun. ACM, 2002

Applying Tropos Methodology to a real case study: Complexity and Criticality Analysis.

[BibT_eX]

Proceedings of the WOA 2002: Dagli Oggetti agli Agenti. 3rd AI*IA/TABOO Joint Workshop "From Objects to Agents": From Information to Knowledge, 2002

Data Management for Peer-to-Peer Computing : A Vision.

[BibT_eX]

[DOI]

Philip A. Bernstein

Fausto Giunchiglia

Luciano Serafini

Ilya Zaihrayeu

Proceedings of the Fifth International Workshop on the Web and Databases, 2002

An Extensible Tool for Source Code Representation Using XML.

[BibT_eX]

[DOI]

Gregory McArthur

Siu Kee Keith Ng

Proceedings of the 9th Working Conference on Reverse Engineering (WCRE 2002), 28 October, 2002

Agent-Oriented Software Development.

[BibT_eX]

[DOI]

Proceedings of the Methods and Applications of Artificial Intelligence, 2002

Requirements Traceability in Agent Oriented Development.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering for Large-Scale Multi-Agent Systems, 2002

Information systems development through social structures.

[BibT_eX]

[DOI]

Proceedings of the 14th international conference on Software engineering and knowledge engineering, 2002

Reasoning with Goal Models.

[BibT_eX]

[DOI]

Eleonora Nicchiarelli

Proceedings of the Conceptual Modeling, 2002

Organizational multi-agent architectures: a mobile robot example.

[BibT_eX]

[DOI]

Proceedings of the First International Joint Conference on Autonomous Agents & Multiagent Systems, 2002

Modeling and Evaluating Cooperation Strategies in P2P Agent Systems.

[BibT_eX]

[DOI]

Proceedings of the Agents and Peer-to-Peer Computing, First International Workshop, 2002

The Tropos Software Development Methodology: Processes, Models and Diagrams.

[BibT_eX]

[DOI]

Fausto Giunchiglia

Anna Perini

Proceedings of the Agent-Oriented Software Engineering III, Third International Workshop, 2002

Multi-agent and Software Architectures: A Comparative Case Study.

[BibT_eX]

[DOI]

Proceedings of the Agent-Oriented Software Engineering III, Third International Workshop, 2002

Socio-Intentional Architectures for Multi-Agent Systems: the Mobile Robot Control case.

[BibT_eX]

[DOI]

Proceedings of the AOIS '02, 2002

2001

Toward Web-Based Application Management Systems.

[BibT_eX]

[DOI]

IEEE Trans. Knowl. Data Eng., 2001

Exploring Alternatives during Requirements Analysis.

[BibT_eX]

[DOI]

IEEE Softw., 2001

Towards an Agent Oriented Approach to Software Engineering.

[BibT_eX]

Proceedings of the WOA 2001: Dagli Oggetti agli Agenti. 2nd AI*IA/TABOO Joint Workshop "From Objects to Agents": Evolutive Trends of Software Systems, 2001

Semantic Models for Knowledge Management.

[BibT_eX]

[DOI]

Raoul Jarvis

Gregory McArthur

Patricia Rodríguez-Gianolli

Shun Zhou

Proceedings of the 2nd International Conference on Web Information Systems Engineering, 2001

Requirements-Driven Software Re-engineering Framework.

[BibT_eX]

[DOI]

Ladan Tahvildari

Proceedings of the Eighth Working Conference on Reverse Engineering, 2001

UML for Agent-Oriented Software Development: The Tropos Proposal.

[BibT_eX]

[DOI]

Proceedings of the «UML» 2001, 2001

Agent- Oriented Software Development: A Case Study.

[BibT_eX]

Proceedings of the Thirteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2001), 2001

Model Checking Early Requirements Specifications in Tropos.

[BibT_eX]

[DOI]

Proceedings of the 5th IEEE International Symposium on Requirements Engineering (RE 2001), 2001

Integrating Organizational Requirements and Object Oriented Modeling.

[BibT_eX]

[DOI]

Gilberto A. Cysneiros Filho

Proceedings of the 5th IEEE International Symposium on Requirements Engineering (RE 2001), 2001

Information systems as social structures.

[BibT_eX]

[DOI]

Proceedings of the 2nd International Conference on Formal Ontology in Information Systems, 2001

A Semantic Approach to XML-based Data Integration.

[BibT_eX]

[DOI]

Patricia Rodríguez-Gianolli

Proceedings of the Conceptual Modeling, 2001

A Requirements-Driven Development Methodology.

[BibT_eX]

[DOI]

Proceedings of the Advanced Information Systems Engineering, 13th International Conference, 2001

A Goal-Based Organizational Perspective on Multi-agent Architectures.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Agents VIII, 8th International Workshop, 2001

Modeling Early Requirements in Tropos: A Transformation Based Approach.

[BibT_eX]

[DOI]

Proceedings of the Agent-Oriented Software Engineering II, Second International Workshop, 2001

A knowledge level software engineering methodology for agent oriented programming.

[BibT_eX]

[DOI]

Proceedings of the Fifth International Conference on Autonomous Agents, 2001

2000

Supporting Distributed Autonomous Information Services Using Coordination.

[BibT_eX]

[DOI]

Int. J. Cooperative Inf. Syst., 2000

End-to-end E-commerce Application Development Based on XML Tools.

[BibT_eX]

[DOI]

IEEE Data Eng. Bull., 2000

Desert Island Column: A Trip to Carthea.

[BibT_eX]

[DOI]

Autom. Softw. Eng., 2000

Incremental Iterative Retrieval and Browsing for Efficient Conversational CBR Systems.

[BibT_eX]

[DOI]

Igor Jurisica

Janice I. Glasgow

Appl. Intell., 2000

Higher order generalization and its application in program verification.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 2000

From Early Requirements Modeled by the i* Technique to Later Requirements Modeled in Precise UML.

[BibT_eX]

[DOI]

Gilberto A. Cysneiros Filho

Proceedings of the Anais do WER00, 2000

Developing Agent-Oriented Information Systems for the Enterprise.

[BibT_eX]

Proceedings of the ICEIS 2000, 2000

From Entities and Relationships to Social Actors and Dependencies.

[BibT_eX]

[DOI]

Ariel Fuxman

Proceedings of the Conceptual Modeling, 2000

Towards Extensible Information Brokers Based on XML.

[BibT_eX]

[DOI]

Jamie Ho

Proceedings of the Advanced Information Systems Engineering, 2000

Why Is It So Difficult to Introduce RE Research Results into Mainstream RE Practice?

[BibT_eX]

[DOI]

Hermann Kaindl

Proceedings of the Advanced Information Systems Engineering, 2000

Non-Functional Requirements in Software Engineering

[BibT_eX]

[DOI]

International Series in Software Engineering 5, Springer, ISBN: 978-1-4615-5269-7, 2000

1999

Information Services for the Web: Building and Maintaining Domain Models.

[BibT_eX]

[DOI]

Scott Kerr

Int. J. Cooperative Inf. Syst., 1999

From Object-Oriented to Goal-Oriented Requirements Analysis.

[BibT_eX]

[DOI]

Commun. ACM, 1999

Migration of procedural systems to network-centric platforms.

[BibT_eX]

[DOI]

Proceedings of the 1999 conference of the Centre for Advanced Studies on Collaborative Research, 1999

Modeling Dynamic Domains with ConGolog.

[BibT_eX]

[DOI]

Proceedings of the Advanced Information Systems Engineering, 1999

1998

Information Modeling in the Time of the Revolution.

[BibT_eX]

[DOI]

Inf. Syst., 1998

Information Services: Coping with the Information Crisis - Guest Editors' Introduction.

[BibT_eX]

[DOI]

Int. J. Cooperative Inf. Syst., 1998

A Three-Faced View of Information Systems.

[BibT_eX]

[DOI]

Commun. ACM, 1998

Case-based reasoning in IVF: prediction and knowledge mining.

[BibT_eX]

[DOI]

Artif. Intell. Medicine, 1998

Panel on Next Generation Database Systems Won't Work Without Semantics!

[BibT_eX]

[DOI]

Proceedings of the SIGMOD 1998, 1998

Why Goal-Oriented Requirements Engineering.

[BibT_eX]

Proceedings of the Requirements Engineering: Foundation for Software Quality, 1998

Code migration through transformations: an experience report.

[BibT_eX]

[DOI]

Proceedings of the 1998 conference of the Centre for Advanced Studies on Collaborative Research, November 30, 1998

1997

The Software Bookshelf.

[BibT_eX]

[DOI]

IBM Syst. J., 1997

Guest Editors' Introduction.

[BibT_eX]

[DOI]

Mike P. Papazoglou

IEEE Expert, 1997

Representing Software Engineering Knowledge.

[BibT_eX]

[DOI]

Autom. Softw. Eng., 1997

Modelling Organizational Issues for Enterprise Integration.

[BibT_eX]

[DOI]

Proceedings of the Enterprise Engineering and Integration: Building International Consensus, 1997

1996

Building Knowledge Base Management Systems.

[BibT_eX]

[DOI]

VLDB J., 1996

Using Goals, Rules and Methods to Support Reasoning in Business Process Reengineering.

[BibT_eX]

[DOI]

Intell. Syst. Account. Finance Manag., 1996

AI Models for Business Process Reengineering.

[BibT_eX]

[DOI]

Yves Lespérance

IEEE Expert, 1996

Representing Partial Spatial Information in Databases.

[BibT_eX]

[DOI]

Thodoros Topaloglou

Proceedings of the Conceptual Modeling, 1996

Accomodating Integrity Constraints During Database Design.

[BibT_eX]

[DOI]

Dimitris Plexousakis

Proceedings of the Advances in Database Technology, 1996

Cooperative Information Systems: A Research Agenda (Tutorial).

[BibT_eX]

[DOI]

Proceedings of the CSCW '96, 1996

A Generic Integration Architecture for Cooperative Information Systems.

[BibT_eX]

[DOI]

Proceedings of the First IFCIS International Conference on Cooperative Information Systems (CoopIS'96), 1996

Semantics, Features, and Applications of the Viewpoint Abstraction.

[BibT_eX]

[DOI]

Renate Motschnig-Pitrik

Proceedings of the Advances Information System Engineering, 8th International Conference, 1996

Developing an Expert System Technology for Industrial Process Control: An Experience Report.

[BibT_eX]

[DOI]

Proceedings of the Advances in Artificial Intelligence, 1996

1995

The Software Information Base: A Server for Reuse

[BibT_eX]

[DOI]

Panos Constantopoulos

Yannis Vassiliou

VLDB J., 1995

On the Frame Problem in Procedure Specifications.

[BibT_eX]

[DOI]

Raymond Reiter

IEEE Trans. Software Eng., 1995

From E-R to "A-R" - Modelling Strategic Actor Relationships for Business Process Reengineering.

[BibT_eX]

[DOI]

Int. J. Cooperative Inf. Syst., 1995

Requirements Engineering: An Educational Dilemma.

[BibT_eX]

[DOI]

Linda A. Macaulay

Autom. Softw. Eng., 1995

Efficient Algorithms and Performance Results for Multi-User Knowledge Bases.

[BibT_eX]

[DOI]

Vinay K. Chaudhri

Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, 1995

From Organization Models to System Requirements: A 'Cooperating Agents' Approach.

[BibT_eX]

Proceedings of the Third International Conference on Cooperative Information Systems (CoopIS-95), 1995

Partitioning Information Bases with Contexts.

[BibT_eX]

Renate Motschnig-Pitrik

Proceedings of the Third International Conference on Cooperative Information Systems (CoopIS-95), 1995

Using an integrated toolset for program understanding.

[BibT_eX]

[DOI]

Proceedings of the 1995 Conference of the Centre for Advanced Studies on Collaborative Research, 1995

1994

A qualitative theoretical framework for 'common-sense' based multiple contact robotic manipulation.

[BibT_eX]

[DOI]

S. P. Ananthanarayanan

Andrew A. Goldenberg

Robotica, 1994

Preface.

[BibT_eX]

[DOI]

Int. J. Cooperative Inf. Syst., 1994

Investigating Reverse Engineering Technologies for the CAS Program Understanding Project.

[BibT_eX]

[DOI]

IBM Syst. J., 1994

Introduction.

[BibT_eX]

[DOI]

Appl. Intell., 1994

Understanding "Why" in Software Process Modelling, Analysis, and Design.

[BibT_eX]

[DOI]

Proceedings of the 16th International Conference on Software Engineering, 1994

On Formal Requirements Modeling Languages: RML Revisited.

[BibT_eX]

[DOI]

Proceedings of the 16th International Conference on Software Engineering, 1994

Using Goals, Rules, and Methods to Support Reasoning in Business Process Re-engineering.

[BibT_eX]

Proceedings of the 27th Annual Hawaii International Conference on System Sciences (HICSS-27), 1994

Expert Systems for Industrial Process Control: A Study in Technology Transfer.

[BibT_eX]

[DOI]

Proceedings of the Database and Expert Systems Applications, 5th International Conference, 1994

Quantitative Evaluation of a Transaction Facility for a Knowledge Base Management System.

[BibT_eX]

[DOI]

Proceedings of the Third International Conference on Information and Knowledge Management (CIKM'94), Gaithersburg, Maryland, USA, November 29, 1994

Towards an integrated toolset for program understanding.

[BibT_eX]

[DOI]

Proceedings of the 1994 Conference of the Centre for Advanced Studies on Collaborative Research, October 31, 1994

1993

Knowbel: A Hybrid Tool for Building Expert Systems.

[BibT_eX]

[DOI]

Huaiqing Wang

Bryan M. Kramer

IEEE Expert, 1993

Aligning Information Strategy with Business Strategy - A Technical Perspective.

[BibT_eX]

Proceedings of the NGITS' 93, 1993

The Future Direction of AI Tools (Panel).

[BibT_eX]

Proceedings of the Fifth International Conference on Tools with Artificial Intelligence, 1993

"...And Nothing Else Changes": The Frame Problem in Procedure Specifications.

[BibT_eX]

[DOI]

Raymond Reiter

Proceedings of the 15th International Conference on Software Engineering, 1993

Concurrency Control for Knowledge Bases.

[BibT_eX]

Vinay K. Chaudhri

Vassos Hadzilacos

Proceedings of the International Workshop on High-Performance Transaction Systems, 1993

An actor dependency model of organizational work: with application to business process reengineering.

[BibT_eX]

[DOI]

Proceedings of the Conference on Organizational Computing Systems, 1993

Task-Oriented Development of Intelligent Information Systems.

[BibT_eX]

Thomas Rose

Carson C. Woo

Proceedings of the International Conference on Intelligent and Cooperative Information Systems, 1993

1992

Representing and Using Nonfunctional Requirements: A Process-Oriented Approach.

[BibT_eX]

[DOI]

Brian A. Nixon

IEEE Trans. Software Eng., 1992

DAIDA: An Environment for Evolving Information Systems.

[BibT_eX]

[DOI]

ACM Trans. Inf. Syst., 1992

Classes and Instances.

[BibT_eX]

[DOI]

Renate Motschnig-Pitrik

Int. J. Cooperative Inf. Syst., 1992

Developing Intelligent Information Systems: A Workshop Summary.

[BibT_eX]

[DOI]

K. Huff

Int. J. Cooperative Inf. Syst., 1992

Software Repositories.

[BibT_eX]

[DOI]

Thomas Rose

Proceedings of the 18th International Conference on Very Large Data Bases, 1992

Introducing robotic 'common sense' in real time dexterous manipulation.

[BibT_eX]

[DOI]

S. P. Ananthanarayanan

David Gershon

Andrew A. Goldenberg

Proceedings of the 1992 IEEE International Conference on Robotics and Automation, 1992

Organizing software repositories modeling requirements and implementation experiences.

[BibT_eX]

[DOI]

Thomas Rose

Proceedings of the Sixteenth Annual International Computer Software and Applications Conference, 1992

1991

Implementing Telos.

[BibT_eX]

[DOI]

SIGART Bull., 1991

From information system requirements to designs: a mapping framework.

[BibT_eX]

[DOI]

Panagiotis Katalagarianos

Inf. Syst., 1991

A conceptual modelling approach to authoring-in-the-large for hypertext documents.

[BibT_eX]

[DOI]

Rick Sobiesiak

Proceedings of the Conference on Organizational Computing Systems, 1991

1990

Telos: Representing Knowledge About Information Systems.

[BibT_eX]

[DOI]

ACM Trans. Inf. Syst., 1990

Knowledge Bases and Databases: Current Trends and Future Directions.

[BibT_eX]

[DOI]

Michael L. Brodie

Proceedings of the Information Systems and Artificial Intelligence: Integration Aspects, 1990

KNOWBEL: a hybrid expert system building tool.

[BibT_eX]

[DOI]

Huaiqing Wang

André Kushniruk

Proceedings of the 2nd International IEEE Conference on Tools for Artificial Intelligence, 1990

Object-Orientation and Knowledge Representation.

[BibT_eX]

Panagiotis Katalagarianos

Proceedings of the Object-Oriented Databases: Analysis, 1990

IRIS - A Mapping Assistant for Generating Designs from Requirements.

[BibT_eX]

[DOI]

Yannis Vassiliou

Manolis Marakakis

Michalis Mertikas

Proceedings of the Advanced Information Systems Engineering, 1990

1989

Database Programming by Formal Refinement of Conceptual Designs.

[BibT_eX]

[DOI]

IEEE Data Eng. Bull., 1989

Support for Data-Intensive Applications: Conceptual Design and Software Development.

[BibT_eX]

Proceedings of the Second International Workshop on Database Programming Languages, 1989

1988

Process Management and Assertion Enforcement for a Semantic Data Model.

[BibT_eX]

[DOI]

Proceedings of the Advances in Database Technology, 1988

1987

Implementation of a Compiler for a Semantic Data Model: Experiences with Taxis.

[BibT_eX]

[DOI]

Proceedings of the Association for Computing Machinery Special Interest Group on Management of Data 1987 Annual Conference, 1987

Integration Issues in Implementing Semantic Data Models.

[BibT_eX]

[DOI]

Brian A. Nixon

Proceedings of the Advances in Database Programming Languages, 1987

1986

A requirements modeling language and its logic.

[BibT_eX]

[DOI]

Inf. Syst., 1986

Environments for the Development of Specifications (Panel).

[BibT_eX]

Proceedings of the Information Processing 86, 1986

1985

Knowledge Representation as the Basis for Requirements Specifications.

[BibT_eX]

[DOI]

Computer, 1985

Knowledge Reperesentation as the Basis for Requirements Specification (Reprint).

[BibT_eX]

[DOI]

Proceedings of the Wissensbasierte Systeme, 1985

Design of a Compiler for a Semantic Data Model.

[BibT_eX]

Proceedings of the Foundations of Knowledge Base Management: Contributions from Logic, 1985

The Need for a Knowledge Representation Framework.

[BibT_eX]

Proceedings of the Foundations of Knowledge Base Management: Contributions from Logic, 1985

On Knowledge Base Management Systems.

[BibT_eX]

Proceedings of the On Knowledge Base Management Systems: Integrating Artificial Intelligence and Database Technologies, 1985

Knowledge Bases vs. Databases.

[BibT_eX]

Michael L. Brodie

Proceedings of the On Knowledge Base Management Systems: Integrating Artificial Intelligence and Database Technologies, 1985

The Software Development Environment as a Knowledge Base Management System.

[BibT_eX]

Proceedings of the Foundations of Knowledge Base Management: Contributions from Logic, 1985

Knowledge Representation: Features of Knowledge.

[BibT_eX]

[DOI]

James P. Delgrande

Proceedings of the Fundamentals of Artificial Intelligence: An Advanced Course, 1985

1984

Information System Design at the Conceptual Level - The Taxis Project.

[BibT_eX]

[DOI]

IEEE Database Eng. Bull., 1984

Knowledge Base Management Systems: Discussions from the Working Group.

[BibT_eX]

Proceedings of the Expert Database Systems, 1984

1983

Building Knowledge-Based Systems: The PSN Experience.

[BibT_eX]

[DOI]

Tetsutaro Shibahara

John K. Tsotsos

Computer, 1983

An Overview of Knowledge Representation.

[BibT_eX]

[DOI]

Hector J. Levesque

Proceedings of the GWAI-83, 1983

CAA: A Knowledge Based System Using Causal Knowledge to Diagnose Cardiac Rhythm Disorders.

[BibT_eX]

[DOI]

Proceedings of the 8th International Joint Conference on Artificial Intelligence. Karlsruhe, 1983

A Panel on AI and Databases.

[BibT_eX]

Proceedings of the 8th International Joint Conference on Artificial Intelligence. Karlsruhe, 1983

1982

Capturing More World Knowledge in the Requirements Specification.

[BibT_eX]

[DOI]

Proceedings of the Proceedings, 1982

Generalization/Specialization as a Basis for Software Specification.

[BibT_eX]

Proceedings of the On Conceptual Modelling, 1982

1981

A region-based formalism for picture processing.

[BibT_eX]

[DOI]

Richard Peacocke

Pattern Recognit., 1981

1980

A Language Facility for Designing Database-Intensive Applications.

[BibT_eX]

[DOI]

Philip A. Bernstein

ACM Trans. Database Syst., 1980

Some Features of the TAXIS Data Model.

[BibT_eX]

Proceedings of the Sixth International Conference on Very Large Data Bases, 1980

Relationships Between and Among Models (discussion).

[BibT_eX]

[DOI]

Proceedings of the Workshop on Data Abstraction, 1980

A Perspective for Research on Conceptual Modelling.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Data Abstraction, 1980

Tutorial on Artificial Intelligence Research.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Data Abstraction, 1980

An Overview of Knowledge Representation.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Data Abstraction, 1980

1979

ALVEN: A Study on Motion Understanding by Computer.

[BibT_eX]

Proceedings of the Sixth International Joint Conference on Artificial Intelligence, 1979

1978

A Language Facility for Designing Interactive Database-Intensive Applications (Abstract).

[BibT_eX]

[DOI]

Philip A. Bernstein

Proceedings of the 1978 ACM SIGMOD International Conference on Management of Data, Austin, Texas, USA, May 31, 1978

1977

An Overview of a Procedural Approach to Semantic Networks.

[BibT_eX]

[DOI]

Hector J. Levesque

Proceedings of the 5th International Joint Conference on Artificial Intelligence. Cambridge, 1977

1976

TORUS: a step towards bridging the gap between data bases and the casual user.

[BibT_eX]

[DOI]

Inf. Syst., 1976

1975

Using Semantic Networks for Database Management.

[BibT_eX]

[DOI]

Nick Roussopoulos

Proceedings of the International Conference on Very Large Data Bases, 1975

Semantic Networks and the Generation of Context.

[BibT_eX]

[DOI]

Proceedings of the Advance Papers of the Fourth International Joint Conference on Artificial Intelligence, 1975

TORUS - A Natural Language Understanding System For Data Management.

[BibT_eX]

[DOI]

Proceedings of the Advance Papers of the Fourth International Joint Conference on Artificial Intelligence, 1975

A multi-level relational system.

[BibT_eX]

[DOI]

Stewart A. Schuster

Dennis Tsichritzis

Proceedings of the American Federation of Information Processing Societies: 1975 National Computer Conference, 1975

1973

Some Results in Computational Topology.

[BibT_eX]

[DOI]

George Tourlakis

J. ACM, 1973

l.Pak: A SNOBOL-Based Programming Language for Artificial Intelligence Applications.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Joint Conference on Artificial Intelligence. Standford, 1973

1972

On the application of formal language and automata theory to pattern recognition.

[BibT_eX]

[DOI]

Pattern Recognit., 1972

On the recognition of topological invariants by 4-way finite automata.

[BibT_eX]

[DOI]

Comput. Graph. Image Process., 1972

On the Relation of Graph Grammars and Graph Automata

[BibT_eX]

[DOI]

Proceedings of the 13th Annual Symposium on Switching and Automata Theory, 1972

1971

On the Topological Properties of Quantized Spaces, II. Connectivity and Order of Connectivity.

[BibT_eX]

[DOI]

Theodosios Pavlidis

J. ACM, 1971

On the Topological Properties of Quantized Spaces, I. The Notion of Dimension.

[BibT_eX]

[DOI]