John Mylopoulos

According to our database1, John Mylopoulos authored at least 522 papers between 1971 and 2019.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2019
Goal-oriented requirements engineering: an extended systematic mapping study.
Requir. Eng., 2019

Design Thinking and Acceptance Requirements for Designing Gamified Software.
Proceedings of the 13th International Conference on Research Challenges in Information Science, 2019

A Refinement Calculus for Requirements Engineering Based on Argumentation Semantics.
Proceedings of the 13th International Conference on Research Challenges in Information Science, 2019

A Pattern Language for Value Modeling in ArchiMate.
Proceedings of the Advanced Information Systems Engineering, 2019

Taking It to the Next Level: Nicola Guarino, Formal Ontology and Conceptual Modeling.
Proceedings of the Ontology Makes Sense - Essays in honor of Nicola Guarino, 2019

2018
MobiGoal: Flexible Achievement of Personal Goals for Mobile Users.
IEEE Trans. Services Computing, 2018

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

Holistic security requirements analysis for socio-technical systems.
Software and Systems Modeling, 2018

Multi-objective reasoning with constrained goal models.
Requir. Eng., 2018

Analysis of information quality requirements in business processes, revisited.
Requir. Eng., 2018

NómosT: Building large models of law with a tool-supported process.
Data Knowl. Eng., 2018

A Core Ontology for Privacy Requirements Engineering.
CoRR, 2018

Towards an Ontology of Competition.
Proceedings of the 12th International Workshop on Value Modeling and Business Ontologies, 2018

CaRE: A Refinement Calculus for Requirements Engineering Based on Argumentation Semantics.
Proceedings of the 26th IEEE International Requirements Engineering Conference, 2018

The Next Release Problem Revisited: A New Avenue for Goal Models.
Proceedings of the 26th IEEE International Requirements Engineering Conference, 2018

Finding Related Forum Posts through Content Similarity over Intention-Based Segmentation (Extended Abstract).
Proceedings of the 34th IEEE International Conference on Data Engineering, 2018

Ontological Foundations of Competition.
Proceedings of the Formal Ontology in Information Systems, 2018

The Common Ontology of Value and Risk.
Proceedings of the Conceptual Modeling - 37th International Conference, 2018

Planning with Strategic Goals.
Proceedings of the 22nd IEEE International Enterprise Distributed Object Computing Conference, 2018

2017
Finding Related Forum Posts through Content Similarity over Intention-Based Segmentation.
IEEE Trans. Knowl. Data Eng., 2017

Annotating legal documents with GaiusT 2.0.
IJMSO, 2017

Specification and derivation of key performance indicators for business analytics: A semantic approach.
Data Knowl. Eng., 2017

Modeling and Reasoning on Requirements Evolution with Constrained Goal Models.
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.
Proceedings of the 25th IEEE International Requirements Engineering Conference, 2017

Evaluation of MUSER, a holistic security requirements analysis framework.
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.
Proceedings of the 11th International Conference on Research Challenges in Information Science, 2017

A tool-supported compliance process for software systems.
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.
Proceedings of the 11th International Conference on Research Challenges in Information Science, 2017

Goal Models for Acceptance Requirements Analysis and Gamification Design.
Proceedings of the Conceptual Modeling - 36th International Conference, 2017

Towards an Ontology for Privacy Requirements via a Systematic Literature Review.
Proceedings of the Conceptual Modeling - 36th International Conference, 2017

Goal-Oriented Regulatory Intelligence: How Can Watson Analytics Help?
Proceedings of the Conceptual Modeling - 36th International Conference, 2017

An Ontological Analysis of Value Propositions.
Proceedings of the 21st IEEE International Enterprise Distributed Object Computing Conference, 2017

Conceptual Modeling for Indicator Selection.
Proceedings of the Conceptual Modeling Perspectives., 2017

2016
The Goal Behind the Action: Toward Goal-Aware Systems and Applications.
ACM Trans. Database Syst., 2016

Requirements Evolution and Evolution Requirements with Constrained Goal Models.
CoRR, 2016

Multi Object Reasoning with Constrained Goal Model.
CoRR, 2016

Desiree - a Refinement Calculus for Requirements Engineering.
CoRR, 2016

Desiree: a Refinement Calculus for Requirements Problems.
CoRR, 2016

Ontologies for Privacy Requirements Engineering: A Systematic Literature Review.
CoRR, 2016

Acceptance Requirements and Their Gamification Solutions.
Proceedings of the 24th IEEE International Requirements Engineering Conference, 2016

Goal-Oriented Requirements Engineering: A Systematic Literature Map.
Proceedings of the 24th IEEE International Requirements Engineering Conference, 2016

How software changes the world: The role of assumptions.
Proceedings of the Tenth IEEE International Conference on Research Challenges in Information Science, 2016

Security attack analysis using attack patterns.
Proceedings of the Tenth IEEE International Conference on Research Challenges in Information Science, 2016

Multi-objective risk analysis with goal models.
Proceedings of the Tenth IEEE International Conference on Research Challenges in Information Science, 2016

Solving the next adaptation problem with prometheus.
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.
Proceedings of the Metadata and Semantics Research - 10th International Conference, 2016

Similarity-based Reasoning with Quality Goals.
Proceedings of the Ninth International i* Workshop co-located with 24th International Conference on Requirements Engineering (RE 2016), 2016

Strategic Enterprise Architectures.
Proceedings of the Practice of Enterprise Modeling, 2016

Model predictive control for software systems with CobRA.
Proceedings of the 11th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2016

Building Large Models of Law with NómosT.
Proceedings of the Conceptual Modeling - 35th International Conference, 2016

Can Goal Reasoning Techniques Be Used for Strategic Decision-Making?
Proceedings of the Conceptual Modeling - 35th International Conference, 2016

Requirements Evolution and Evolution Requirements with Constrained Goal Models.
Proceedings of the Conceptual Modeling - 35th International Conference, 2016

Key Performance Indicator Elicitation and Selection Through Conceptual Modelling.
Proceedings of the Conceptual Modeling - 35th International Conference, 2016

Modeling Structured and Unstructured Processes: An Empirical Evaluation.
Proceedings of the Conceptual Modeling - 35th International Conference, 2016

Engineering cybersecurity in cyber physical systems.
Proceedings of the 26th Annual International Conference on Computer Science and Software Engineering, 2016

Engineering Requirements with Desiree: An Empirical Evaluation.
Proceedings of the Advanced Information Systems Engineering, 2016

2015
Designing an adaptive computer-aided ambulance dispatch system with Zanshin: an experience report.
Softw., Pract. Exper., 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.
ACM SIGSOFT Software Engineering Notes, 2015

GaiusT: supporting the extraction of rights and obligations for regulatory compliance.
Requir. Eng., 2015

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

Model-Based Management of Strategic Initiatives.
J. Data Semantics, 2015

Special issue on advanced information systems engineering.
Inf. Syst., 2015

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

Adaptive predictive control for software systems.
Proceedings of the 1st International Workshop on Control Theory for Software Engineering, 2015

Analyzing and Enforcing Security Mechanisms on Requirements Specifications.
Proceedings of the Requirements Engineering: Foundation for Software Quality, 2015

From Stakeholder Requirements to Formal Specifications Through Refinement.
Proceedings of the Requirements Engineering: Foundation for Software Quality, 2015

Holistic security requirements analysis: An attacker's perspective.
Proceedings of the 23rd IEEE International Requirements Engineering Conference, 2015

Models for strategic planning: Applying TBIM to the Montreux Jazz Festival case study.
Proceedings of the 9th IEEE International Conference on Research Challenges in Information Science, 2015

Social specifications of business processes with Azzurra.
Proceedings of the 9th IEEE International Conference on Research Challenges in Information Science, 2015

Learning to Rank for Question-Oriented Software Text Retrieval (T).
Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, 2015

A Holistic Approach to Attack Modeling and Analysis.
Proceedings of the Eighth International i*Workshop, 2015

Analyzing Attack Strategies Through Anti-goal Refinement.
Proceedings of the Practice of Enterprise Modeling, 2015

Goals in Social Media, information retrieval and intelligent agents.
Proceedings of the 31st IEEE International Conference on Data Engineering, 2015

The Importance of Teaching Systematic Analysis for Conceptual Models: An Experience Report.
Proceedings of the Advances in Conceptual Modeling, 2015

Stress Testing Strategic Goals with SWOT Analysis.
Proceedings of the Conceptual Modeling - 34th International Conference, 2015

Capturing Variability in Adaptation Spaces: A Three-Peaks Approach.
Proceedings of the Conceptual Modeling - 34th International Conference, 2015

Monitoring Strategic Business Goals with Argus.
Proceedings of the 19th IEEE International Enterprise Distributed Object Computing Conference, 2015

Engineering cyber physical systems.
Proceedings of 25th Annual International Conference on Computer Science and Software Engineering, 2015

The Importance of Teaching Goal-Oriented Analysis Techniques: an Experience Report.
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.
Proceedings of the Art and Science of Analyzing Software Data, 2015

2014
The Requirements Problem for Adaptive Systems.
ACM Trans. Management Inf. Syst., 2014

Strategic business modeling: representation and reasoning.
Software and Systems Modeling, 2014

Agile requirements engineering via paraconsistent reasoning.
Inf. Syst., 2014

From requirements to statecharts via design refinement.
Proceedings of the Symposium on Applied Computing, 2014

Rationalism with a dose of empiricism: Case-based reasoning for requirements-driven self-adaptation.
Proceedings of the IEEE 22nd International Requirements Engineering Conference, 2014

Non-functional requirements as qualities, with a spice of ontology.
Proceedings of the IEEE 22nd International Requirements Engineering Conference, 2014

Nòmos 3: Reasoning about regulatory compliance of requirements.
Proceedings of the IEEE 22nd International Requirements Engineering Conference, 2014

Protos: Foundations for engineering innovative sociotechnical systems.
Proceedings of the IEEE 22nd International Requirements Engineering Conference, 2014

Applying knowledge representation and reasoning to (simple) goal models.
Proceedings of the IEEE 1st International Workshop on Artificial Intelligence for Requirements Engineering, 2014

Taking goal models downstream: A systematic roadmap.
Proceedings of the IEEE 8th International Conference on Research Challenges in Information Science, 2014

Exploring alternative designs for sociotechnical systems.
Proceedings of the IEEE 8th International Conference on Research Challenges in Information Science, 2014

Modeling and Applying Security Patterns Using Contextual Goal Models.
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.
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.
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.
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.
Proceedings of the 9th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2014

Evolving Commitments for Self-Adaptive Socio-technical Systems.
Proceedings of the 2014 19th International Conference on Engineering of Complex Computer Systems, 2014

Towards an Ontology of Software: a Requirements Engineering Perspective.
Proceedings of the Formal Ontology in Information Systems, 2014

An Ontological Interpretation of Non-Functional Requirements.
Proceedings of the Formal Ontology in Information Systems, 2014

Software as a Social Artifact: A Management and Evolution Perspective.
Proceedings of the Conceptual Modeling - 33rd International Conference, 2014

Modeling Regulatory Compliance in Requirements Engineering.
Proceedings of the Advances in Conceptual Modeling, 2014

Evaluating Modeling Languages: An Example from the Requirements Domain.
Proceedings of the Conceptual Modeling - 33rd International Conference, 2014

A systematic approach for dynamic targeted monitoring of KPIs.
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.
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.
Proceedings of the Evolving Software Systems, 2014

2013
Perspectives on Business Intelligence
Synthesis Lectures on Data Management, Morgan & Claypool Publishers, ISBN: 9781627050944, 2013

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

Adaptive socio-technical systems: a requirements-based approach.
Requir. Eng., 2013

Requirements-driven software evolution.
Computer Science - R&D, 2013

Automated topic naming - Supporting cross-project analysis of software maintenance activities.
Empirical Software Engineering, 2013

Arguing regulatory compliance of software requirements.
Data Knowl. Eng., 2013

Choosing Compliance Solutions through Stakeholder Preferences.
Proceedings of the Requirements Engineering: Foundation for Software Quality, 2013

Applying gaiust for extracting requirements from legal documents.
Proceedings of the Sixth International Workshop on Requirements Engineering and Law, 2013

Requirements engineering conferences: Wither industry tracks?
Proceedings of the 21st IEEE International Requirements Engineering Conference, 2013

Requirements Models at Design and Runtime.
Proceedings of Requirements Engineering@Brazil 2013, Rio de Janeiro, Brazil, July 16, 2013, 2013

Modeling laws with nomos 2.
Proceedings of the Sixth International Workshop on Requirements Engineering and Law, 2013

Runtime goal models: Keynote.
Proceedings of the IEEE 7th International Conference on Research Challenges in Information Science, 2013

From Requirements to Architectures for Better Adaptive Software Systems.
Proceedings of the 6th International <i>i*</i> Workshop 2013, 2013

Non-Functional Requirements Revisited.
Proceedings of the 6th International <i>i*</i> Workshop 2013, 2013

Uncertainty in Goal and Law Modeling and Analysis.
Proceedings of the 6th International <i>i*</i> Workshop 2013, 2013

BIM-Tool: Modeling and Reasoning Support for Strategic Business Models.
Proceedings of the 6th International <i>i*</i> Workshop 2013, 2013

Requirements models for design- and runtime: a position paper.
Proceedings of the 5th International Workshop on Modeling in Software Engineering, 2013

Automated Reasoning for Regulatory Compliance.
Proceedings of the Conceptual Modeling - 32th International Conference, 2013

Modeling and Reasoning with Decision-Theoretic Goals.
Proceedings of the Conceptual Modeling - 32th International Conference, 2013

TBIM: A Language for Modeling and Reasoning about Business Plans.
Proceedings of the Conceptual Modeling - 32th International Conference, 2013

Monitoring and diagnosing indicators for business analytics.
Proceedings of the Center for Advanced Studies on Collaborative Research, 2013

The Evolution of Tropos.
Proceedings of the Seminal Contributions to Information Systems Engineering, 2013

2012
On Modeling and Querying Concept Evolution.
J. Data Semantics, 2012

Behavioral adaptation of information systems through goal models.
Inf. Syst., 2012

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

Monitoring strategic goals in data warehouses with awareness requirements.
Proceedings of the ACM Symposium on Applied Computing, 2012

Stateful requirements monitoring for self-repairing socio-technical systems.
Proceedings of the 2012 20th IEEE International Requirements Engineering Conference (RE), 2012

Requirements-Driven Qualitative Adaptation.
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.
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2012, 2012

(Requirement) evolution requirements for adaptive systems.
Proceedings of the 7th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2012

Capturing Variability of Law with Nómos 2.
Proceedings of the Conceptual Modeling, 2012

Requirements, Intentions, Goals and Applicable Norms.
Proceedings of the Advances in Conceptual Modeling, 2012

Experiences in Mapping the Business Intelligence Model to Description Logics, and the Case for Parametric Concepts.
Proceedings of the 2012 International Workshop on Description Logics, 2012

Software Service Evolution: A Requirements Perspective.
Proceedings of the 36th Annual IEEE Computer Software and Applications Conference Workshops, 2012

Conceptualizing and specifying key performance indicators in business strategy models.
Proceedings of the Center for Advanced Studies on Collaborative Research, 2012

Requirements-Driven Root Cause Analysis Using Markov Logic Networks.
Proceedings of the Advanced Information Systems Engineering, 2012

Agile Requirements Evolution via Paraconsistent Reasoning.
Proceedings of the Advanced Information Systems Engineering, 2012

Business Intelligence Modeling in Action: A Hospital Case Study.
Proceedings of the Advanced Information Systems Engineering, 2012

Strategic Management for Real-Time Business Intelligence.
Proceedings of the Enabling Real-Time Business Intelligence - 6th International Workshop, 2012

The Vivification Problem in Real-Time Business Intelligence: A Vision.
Proceedings of the Enabling Real-Time Business Intelligence - 6th International Workshop, 2012

2011
Representing and reasoning about preferences in requirements engineering.
Requir. Eng., 2011

Goal-driven risk assessment in requirements engineering.
Requir. Eng., 2011

Digital privacy: theory, policies and technologies.
Requir. Eng., 2011

The brave new world of design requirements.
Inf. Syst., 2011

From awareness requirements to adaptive systems: A control-theoretic approach.
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.
Proceedings of the 8th International Working Conference on Mining Software Repositories, 2011

Towards Model-Based Support for Managing Organizational Transformation.
Proceedings of the E-Technologies: Transformation in a Connected World, 2011

Requirements evolution drives software evolution.
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.
Proceedings of the 5<sup>th</sup> International <i>i</i>* Workshop 2011, 2011

Nòmos: from Strategic Dependencies to Obligations.
Proceedings of the 5<sup>th</sup> International <i>i</i>* Workshop 2011, 2011

Reasoning with Key Performance Indicators.
Proceedings of the Practice of Enterprise Modeling - 4th IFIP WG 8.1 Working Conference, 2011

Adaptive Service Composition Based on Runtime Requirements Monitoring.
Proceedings of the IEEE International Conference on Web Services, 2011

Awareness requirements for adaptive systems.
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.
Proceedings of the Conceptual Modeling - ER 2011, 30th International Conference, 2011

Strategic Models for Business Intelligence.
Proceedings of the Conceptual Modeling - ER 2011, 30th International Conference, 2011

Establishing Regulatory Compliance for Software Requirements.
Proceedings of the Conceptual Modeling - ER 2011, 30th International Conference, 2011

Composite Indicators for Business Intelligence.
Proceedings of the Conceptual Modeling - ER 2011, 30th International Conference, 2011

Supporting queries spanning across phases of evolving artifacts using Steiner forests.
Proceedings of the 20th ACM Conference on Information and Knowledge Management, 2011

Towards a requirements-driven framework for detecting malicious behavior against software systems.
Proceedings of the Center for Advanced Studies on Collaborative Research, 2011

An Extended Ontology for Security Requirements.
Proceedings of the Advanced Information Systems Engineering Workshops, 2011

Goal-Based Behavioral Customization of Information Systems.
Proceedings of the Advanced Information Systems Engineering, 2011

Modeling Design Patterns with Description Logics: A Case Study.
Proceedings of the Advanced Information Systems Engineering, 2011

2010
Security Requirements Engineering: The SI* Modeling Language and the Secure Tropos Methodology.
Proceedings of the Advances in Intelligent Information Systems, 2010

Peer coordination through distributed triggers.
PVLDB, 2010

Code forking in open-source software: a requirements perspective
CoRR, 2010

Theory of Regulatory Compliance for Requirements Engineering
CoRR, 2010

On the Perception of Software Quality Requirements during the Project Lifecycle.
Proceedings of the Requirements Engineering: Foundation for Software Quality, 2010

Towards a continuous requirements engineering framework for self-adaptive systems.
Proceedings of the First International Workshop on Requirements@Run.Time, 2010

Integrating Preferences into Goal Models for Requirements Engineering.
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.
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.
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.
Proceedings of the 4<sup>th</sup> International <i>i</i>* Workshop, 2010

On Temporally Annotating Goal Models.
Proceedings of the 4<sup>th</sup> International <i>i</i>* Workshop, 2010

The Evolution of Tropos: Contexts, Commitments and Adaptivity.
Proceedings of the 4<sup>th</sup> International <i>i</i>* Workshop, 2010

Enterprise Modeling for Business Intelligence.
Proceedings of the Practice of Enterprise Modeling - Third IFIP WG 8.1 Working Conference, 2010

Log filtering and interpretation for root cause analysis.
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.
Proceedings of the Conceptual Modeling, 2010

The Model Role Level - A Vision.
Proceedings of the Conceptual Modeling, 2010

Extending Organizational Modeling with Business Services Concepts: An Overview of the Proposed Architecture.
Proceedings of the Conceptual Modeling, 2010

Reasoning with Optional and Preferred Requirements.
Proceedings of the Conceptual Modeling, 2010

Adaptation in Open Systems: Giving Interaction Its Rightful Place.
Proceedings of the Conceptual Modeling, 2010

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



Integrated system diagnosis and root cause analysis.
Proceedings of the 2010 conference of the Centre for Advanced Studies on Collaborative Research, 2010

Diagnosing software using statecharts.
Proceedings of the 2010 conference of the Centre for Advanced Studies on Collaborative Research, 2010

Next generation business intelligence (BI) tools.
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.
Proceedings of the Advanced Information Systems Engineering, 22nd International Conference, 2010

Modeling and Reasoning about Service-Oriented Applications via Goals and Commitments.
Proceedings of the Advanced Information Systems Engineering, 22nd International Conference, 2010

Reasoning about agents and protocols via goals and commitments.
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), 2010

Requirements as Goals and Commitments Too.
Proceedings of the Intentional Perspectives on Information Systems Engineering., 2010

2009
Database Design.
Proceedings of the Encyclopedia of Database Systems, 2009

Conceptual Schema Design.
Proceedings of the Encyclopedia of Database Systems, 2009

Aspects across Software Life Cycle: A Goal-Driven Approach.
LNCS Trans. Aspect Oriented Softw. Dev., 2009

Designing socio-technical systems: from stakeholder goals to social networks.
Requir. Eng., 2009

Secure-I*: Engineering Secure Software Systems through Social Analysis.
Int. J. Software and Informatics, 2009

Advanced separation of concerns in agent-oriented design patterns.
IJAOSE, 2009

Cerno: Light-weight tool support for semantic annotation of textual documents.
Data Knowl. Eng., 2009

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

Monitoring and diagnosing software requirements.
Autom. Softw. Eng., 2009

A core ontology for requirements.
Applied Ontology, 2009

Complete and Equivalent Query Rewriting Using Views.
Proceedings of the Advances in Data and Web Management, Joint International Conferences, 2009

From Organizational Models to Software Requirements.
Proceedings of the 21st International Conference on Software Engineering & Knowledge Engineering (SEKE'2009), 2009

A Meta-Model for Modelling Law-Compliant Requirements.
Proceedings of the Second International Workshop on Requirements Engineering and Law, 2009

Analysis of Multi-Party Agreement in Requirements Validation.
Proceedings of the RE 2009, 17th IEEE International Requirements Engineering Conference, Atlanta, Georgia, USA, August 31, 2009

Models in Knowledge Management.
Proceedings of the Knowledge Science, 2009

Required Knowledge for Delivering Services.
Proceedings of the Knowledge Science, 2009

Self-Repair through Reconfiguration: A Requirements Engineering Approach.
Proceedings of the ASE 2009, 2009

Towards Augmenting Requirements Models with Preferences.
Proceedings of the ASE 2009, 2009

Requirements-driven Internetware services evaluation.
Proceedings of the First Asia-Pacific Symposium on Internetware, 2009

Towards a framework for law-compliant software requirements.
Proceedings of the 31st International Conference on Software Engineering, 2009

Monitoring and Diagnosing Malicious Attacks with Autonomic Software.
Proceedings of the Conceptual Modeling, 2009

Designing Law-Compliant Software Requirements.
Proceedings of the Conceptual Modeling, 2009

Modeling Concept Evolution: A Historical Perspective.
Proceedings of the Conceptual Modeling, 2009

Conceptual Modeling in the Time of the Revolution: Part II.
Proceedings of the Conceptual Modeling, 2009

Modeling Domain Variability in Requirements Engineering with Contexts.
Proceedings of the Conceptual Modeling, 2009

Using Macromodels to Manage Collections of Related Models.
Proceedings of the Advanced Information Systems Engineering, 21st International Conference, 2009

Improving Model Quality Using Diagram Coverage Criteria.
Proceedings of the Advanced Information Systems Engineering, 21st International Conference, 2009

Measuring and Comparing Effectiveness of Data Quality Techniques.
Proceedings of the Advanced Information Systems Engineering, 21st International Conference, 2009

An Architecture for Requirements-Driven Self-reconfiguration.
Proceedings of the Advanced Information Systems Engineering, 21st International Conference, 2009

Software self-reconfiguration: a BDI-based approach.
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.
JCSE, 2008

Revisiting the Core Ontology and Problem in Requirements Engineering
CoRR, 2008

Configuring features with stakeholder goals.
Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008

From Laws to Requirements.
Proceedings of the First International Workshop on Requirements Engineering and Law, 2008

Revisiting the Core Ontology and Problem in Requirements Engineering.
Proceedings of the 16th IEEE International Requirements Engineering Conference, 2008

Supporting Requirements Model Evolution throughout the System Life-Cycle.
Proceedings of the 16th IEEE International Requirements Engineering Conference, 2008

Automating the Generation of Semantic Annotation Tools Using a Clustering Technique.
Proceedings of the Natural Language and Information Systems, 2008

Managing Models through Macromodeling.
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.
Proceedings of the 3rd International i* Workshop, Recife, Brazil, February 11-12, 2008, 2008

A Service-oriented Approach for the i* Framework.
Proceedings of the 3rd International i* Workshop, Recife, Brazil, February 11-12, 2008, 2008

From Goals to High-Variability Software Design.
Proceedings of the Foundations of Intelligent Systems, 17th International Symposium, 2008

Traceability for the maintenance of secure software.
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.
Proceedings of the Conceptual Modeling, 2008

Towards a Compositional Semantic Account of Data Quality Attributes.
Proceedings of the Conceptual Modeling, 2008

The Logic of Requirements.
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.
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.
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.
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.
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.
Proceedings of the 12th European Conference on Software Maintenance and Reengineering, 2008

Annotating Regulations Using Cerno: An Application to Italian Documents - Extended Abstract.
Proceedings of the The Third International Conference on Availability, 2008

2007
High variability design for software agents: Extending Tropos.
TAAS, 2007

From Hippocratic Databases to Secure Tropos: a Computer-Aided Re-Engineering Approach.
International Journal of Software Engineering and Knowledge Engineering, 2007

Supporting Distributed Event-Condition-Action Rules in a Multidatabase Environment.
Int. J. Cooperative Inf. Syst., 2007

Computer-aided Support for Secure Tropos.
Autom. Softw. Eng., 2007

Exploring the Dimensions of Variability: a Requirements Engineering Perspective.
Proceedings of the First International Workshop on Variability Modelling of Software-Intensive Systems, 2007

Tracing and Validating Goal Aspects.
Proceedings of the 15th IEEE International Requirements Engineering Conference, 2007

Business Process-Based Regulation Compliance: The Case of the Sarbanes-Oxley Act.
Proceedings of the 15th IEEE International Requirements Engineering Conference, 2007

Goal-Oriented Conceptual Database Design.
Proceedings of the 15th IEEE International Requirements Engineering Conference, 2007

Supporting Requirements Analysis in Tropos: A Planning-Based Approach.
Proceedings of the Agent Computing and Multi-Agent Systems, 2007

SWWS 2007 PC Co-chairs' Message.
Proceedings of the On the Move to Meaningful Internet Systems 2007: OTM 2007 Workshops, 2007

A Lightweight Approach to Semantic Annotation of Research Papers.
Proceedings of the Natural Language Processing and Information Systems, 2007

An automated approach to monitoring and diagnosing requirements.
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.
Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), 2007

Goal-oriented Requirements Engineering.
Proceedings of the XII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2007), 2007

Data Quality By Design: A Goal-Oriented Approach.
Proceedings of the 12th International Conference on Information Quality, 2007

A Semantic Approach to Discovering Schema Mapping Expressions.
Proceedings of the 23rd International Conference on Data Engineering, 2007

An Ontology for Requirements.
Proceedings of the Advances in Conceptual Modeling - Foundations and Applications, 2007

Annotating Accommodation Advertisements Using CERNO.
Proceedings of the Information and Communication Technologies in Tourism, 2007

Requirements-Driven Design and Configuration Management of Business Processes.
Proceedings of the Business Process Management, 5th International Conference, 2007

A design framework for generating BDI-agents from goal models.
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.
VLDB J., 2006

Discovering the Semantics of Relational Tables Through Mappings.
, 2006

Requirements engineering for trust management: model, methodology, and reasoning.
Int. J. Inf. Sec., 2006

Multi-Agent Architectures as Organizational Structures.
Autonomous Agents and Multi-Agent Systems, 2006

Improving Multi-Agent Architectural Design.
Proceedings of the Software Engineering for Multi-Agent Systems V, 2006

Towards an Ontological Account of Agent-Oriented Goals.
Proceedings of the Software Engineering for Multi-Agent Systems V, 2006

Incorporating Goal Analysis in Database Design: A Case Study from Biological Data Management.
Proceedings of the Fourteenth Italian Symposium on Advanced Database Systems, 2006

Goal-Oriented Requirements Engineering, Part II.
Proceedings of the 14th IEEE International Conference on Requirements Engineering (RE 2006), 2006

On Goal-based Variability Acquisition and Analysis.
Proceedings of the 14th IEEE International Conference on Requirements Engineering (RE 2006), 2006

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

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

Using Aspects to Simplify iModels.
Proceedings of the 14th IEEE International Conference on Requirements Engineering (RE 2006), 2006

Text Mining Through Semi Automatic Semantic Annotation.
Proceedings of the Practical Aspects of Knowledge Management, 6th International Conference, 2006

Distributed Triggers for Peer Data Management.
Proceedings of the On the Move to Meaningful Internet Systems 2006: CoopIS, 2006

Designing Cooperative IS: Exploring and Evaluating Alternatives.
Proceedings of the On the Move to Meaningful Internet Systems 2006: CoopIS, 2006

From Capability Specifications to Code for Multi-Agent Software.
Proceedings of the 21st IEEE/ACM International Conference on Automated Software Engineering (ASE 2006), 2006

Agent Capability: Automating the Design to Code Process.
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.
Proceedings of the Conceptual Modeling, 2006

A Multi-perspective Framework for Organizational Patterns.
Proceedings of the Conceptual Modeling, 2006

An ECA Rule Rewriting Mechanism for Peer Data Management Systems.
Proceedings of the Advances in Database Technology, 2006

Decision Making in Large-Scale Domains: A Case Study.
Proceedings of the ECAI 2006, 17th European Conference on Artificial Intelligence, August 29, 2006

Security Design Based on Social Modeling.
Proceedings of the 30th Annual International Computer Software and Applications Conference, 2006

Requirements-driven design of autonomic application software.
Proceedings of the 2006 conference of the Centre for Advanced Studies on Collaborative Research, 2006

From Stakeholder Intentions to Software Agent Implementations.
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.
Proceedings of the Advanced Information Systems Engineering, 18th International Conference, 2006

Designing Security Requirements Models Through Planning.
Proceedings of the Advanced Information Systems Engineering, 18th International Conference, 2006

A Tropos Model-Driven Development Environment.
Proceedings of the 18th Conference on Advanced Information Systems Engineering (CAiSE '06), 2006

From Early to Late Requirements: A Goal-Based Approach.
Proceedings of the Agent-Oriented Information Systems IV, 2006

Integration of Aspects with i* Models.
Proceedings of the Agent-Oriented Information Systems IV, 2006

Decision Making in Uncertain Real-World Domains Using DT-Golog.
Proceedings of the Proceedings, 2006

Building Semantic Mappings from Databases to Ontologies.
Proceedings of the Proceedings, 2006

Properties of Information Modeling Techniques for Information Systems Engineering.
Proceedings of the Handbook on Architectures of Information Systems, 2006

2005
Editorial.
World Wide Web, 2005

Making XML document markup international.
Softw., Pract. Exper., 2005

Towards requirements-driven autonomic systems design.
ACM SIGSOFT Software Engineering Notes, 2005

DEAS 2005: workshop on the design and evolution of autonomic application software.
ACM SIGSOFT Software Engineering Notes, 2005

The Tropos Metamodel and its Use.
Informatica (Slovenia), 2005

Goal-oriented requirements analysis and reasoning in the Tropos methodology.
Eng. Appl. of AI, 2005

A Lightweight Approach to Semantic Web Service Synthesis.
Proceedings of the 2005 International Workshop on Challenges in Web Information Retrieval and Integration (WIRI 2005), 2005

RETR: Reverse Engineering to Requirements.
Proceedings of the 12th Working Conference on Reverse Engineering, 2005

Data Sharing in the Hyperion Peer Database System.
Proceedings of the 31st International Conference on Very Large Data Bases, Trondheim, Norway, August 30, 2005

Semi-Automatic Semantic Annotations for Web Documents.
Proceedings of the SWAP 2005, 2005

Constructing Complex Semantic Mappings Between XML Data and Ontologies.
Proceedings of the Semantic Web, 2005

Reverse Engineering Goal Models from Legacy Code.
Proceedings of the 13th IEEE International Conference on Requirements Engineering (RE 2005), 29 August, 2005

ST-Tool: A CASE Tool for Security Requirements Engineering.
Proceedings of the 13th IEEE International Conference on Requirements Engineering (RE 2005), 29 August, 2005

Modeling Security Requirements Through Ownership, Permission and Delegation.
Proceedings of the 13th IEEE International Conference on Requirements Engineering (RE 2005), 29 August, 2005

Translating XML Web Data into Ontologies.
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.
Proceedings of the On the Move to Meaningful Internet Systems 2005: CoopIS, 2005

Modeling Social and Individual Trust in Requirements Engineering Methodologies.
Proceedings of the Trust Management, Third International Conference, 2005

ST-Tool: A CASE Tool for Modeling and Analyzing Trust Requirements.
Proceedings of the Trust Management, Third International Conference, 2005

Modeling and Analyzing Context-Aware Composition of Services.
Proceedings of the Service-Oriented Computing, 2005

Reducing Build Time through Precompilations for Evolving Large Software.
Proceedings of the 21st IEEE International Conference on Software Maintenance (ICSM 2005), 2005

A Datawarehouse for Managing Commercial Software Release.
Proceedings of the 21st IEEE International Conference on Software Maintenance (ICSM 2005), 2005

DEAS 2005: workshop on the design and evolution of autonomic application software.
Proceedings of the 27th International Conference on Software Engineering (ICSE 2005), 2005

Representing and Querying Data Transformations.
Proceedings of the 21st International Conference on Data Engineering, 2005

Applying Software Analysis Technology to Lightweight Semantic Markup of Document Text.
Proceedings of the Pattern Recognition and Data Mining, 2005

Improving the Build Architecture of Legacy C/C++ Software Systems.
Proceedings of the Fundamental Approaches to Software Engineering, 2005

Minimal Disclosure in Hierarchical Hippocratic Databases with Delegation.
Proceedings of the Computer Security, 2005

Quality-Based Software Reuse.
Proceedings of the Advanced Information Systems Engineering, 17th International Conference, 2005

Databases and the Semantic Web: Data Semantics Revisited.
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.
J. Web Semant., 2004

Specifying and analyzing early requirements in Tropos.
Requir. Eng., 2004

Ontologies for Knowledge Management: An Information Systems Perspective.
Knowl. Inf. Syst., 2004

Introduction to special issue with best papers from CAiSE 2002.
Inf. Syst., 2004

Introduction.
Autom. Softw. Eng., 2004

Tropos: An Agent-Oriented Software Development Methodology.
Autonomous Agents and Multi-Agent Systems, 2004

A Lightweight Approach to Semantic Tagging.
Proceedings of the WWW2004 Workshop on Application Design, 2004

Data Semantics Revisited.
Proceedings of the Semantic Web and Databases, Second International Workshop, 2004

Refining Semantic Mappings from Relational Tables to Ontologies.
Proceedings of the Semantic Web and Databases, Second International Workshop, 2004

From Goals to Aspects: Discovering Aspects from Requirements Goal Models.
Proceedings of the 12th IEEE International Conference on Requirements Engineering (RE 2004), 2004

Visual Variability Analysis for Goal Models.
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.
Proceedings of the Natural Language Processing and Information Systems, 2004

Requirements Engineering Meets Trust Management: Model, Methodology, and Reasoning.
Proceedings of the Trust Management, Second International Conference, 2004

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

ToMAS: A System for Adapting Mappings while Schemas Evolve.
Proceedings of the 20th International Conference on Data Engineering, 2004

Filling the Gap between Requirements Engineering and Public Key/Trust Management Infrastructures.
Proceedings of the Public Key Infrastructure, 2004

Simple and Minimum-Cost Satisfiability for Goal Models.
Proceedings of the Advanced Information Systems Engineering, 16th International Conference, 2004

2003
Cooperation strategies for agent-based P2P systems.
Web Intelligence and Agent Systems, 2003

The hyperion project: from data integration to data coordination.
SIGMOD Record, 2003

Requirements Engineering editorial.
Requir. Eng., 2003

Quality-driven software re-engineering.
Journal of Systems and Software, 2003

Formal Reasoning Techniques for Goal Models.
J. Data Semantics, 2003

The Migration of Multi-tier E-commerce Applications to an Enterprise Java Environment.
Information Systems Frontiers, 2003

SemanticWeb Services: Facts and Fiction.
Proceedings of the 4th International Conference on Web Information Systems Engineering, 2003

From Task-Oriented to Goal-Oriented Web Requirements Analysis.
Proceedings of the 4th International Conference on Web Information Systems Engineering, 2003

Security and Privacy Requirements Analysis within a Social Setting.
Proceedings of the 11th IEEE International Conference on Requirements Engineering (RE 2003), 2003

Requirements Analysis for Customizable Software Goals-Skills-Preferences Framework.
Proceedings of the 11th IEEE International Conference on Requirements Engineering (RE 2003), 2003

Specifying and Analyzing Early Requirements: Some Experimental Results.
Proceedings of the 11th IEEE International Conference on Requirements Engineering (RE 2003), 2003

Agent Oriented Software Development.
Proceedings of the Object-Oriented Information Systems, 9th International Conference, 2003

Automated EJB Client Code Generation Using Database Query Rewriting.
Proceedings of the 7th International Database Engineering and Applications Symposium (IDEAS 2003), 2003

Detailing Architectural Design in the Tropos Methodology.
Proceedings of the ICSE 2003, 2003

Integrating Organizational Requirements and Socio-Intentional Architectural Styles.
Proceedings of the ICSE 2003, 2003

Requirement Engineering Meets Security: A Case Study on Modelling Secure Electronic Transactions by VISA and Mastercard.
Proceedings of the Conceptual Modeling, 2003

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

Coordinating Peer Databases Using ECA Rules.
Proceedings of the Databases, 2003

Tenth Anniversasy of CoopIS: Cooperative Information Systems Then and Now.
Proceedings of the On The Move to Meaningful Internet Systems 2003: CoopIS, DOA, and ODBASE, 2003

A Distributed Rule Mechanism for Multidatabase Systems.
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.
Proceedings of the Modeling and Using Context, 2003

Removing false code dependencies to speedup software build processes.
Proceedings of the 2003 conference of the Centre for Advanced Studies on Collaborative Research, 2003

Organizational Patterns for Early Requirements Analysis.
Proceedings of the Advanced Information Systems Engineering, 15th International Conference, 2003

Modeling Organizational Architectural Styles in UML.
Proceedings of the Advanced Information Systems Engineering, 15th International Conference, 2003

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

Towards requirements-driven information systems engineering: the Tropos project.
Inf. Syst., 2002

Extensible Information Brokers.
International Journal on Artificial Intelligence Tools, 2002

Intelligent agents and financial risk monitoring systems.
Commun. ACM, 2002

Applying Tropos Methodology to a real case study: Complexity and Criticality Analysis.
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.
Proceedings of the Fifth International Workshop on the Web and Databases, 2002

An Extensible Tool for Source Code Representation Using XML.
Proceedings of the 9th Working Conference on Reverse Engineering (WCRE 2002), 28 October, 2002

Agent-Oriented Software Development.
Proceedings of the Methods and Applications of Artificial Intelligence, 2002

Requirements Traceability in Agent Oriented Development.
Proceedings of the Software Engineering for Large-Scale Multi-Agent Systems, 2002

Information systems development through social structures.
Proceedings of the 14th international conference on Software engineering and knowledge engineering, 2002

Reasoning with Goal Models.
Proceedings of the Conceptual Modeling, 2002

Organizational multi-agent architectures: a mobile robot example.
Proceedings of the First International Joint Conference on Autonomous Agents & Multiagent Systems, 2002

The tropos software development methodology: processes, models and diagrams.
Proceedings of the First International Joint Conference on Autonomous Agents & Multiagent Systems, 2002

Modeling and Evaluating Cooperation Strategies in P2P Agent Systems.
Proceedings of the Agents and Peer-to-Peer Computing, First International Workshop, 2002

Multi-agent and Software Architectures: A Comparative Case Study.
Proceedings of the Agent-Oriented Software Engineering III, Third International Workshop, 2002

Socio-Intentional Architectures for Multi-Agent Systems: the Mobile Robot Control case.
Proceedings of the AOIS '02, 2002

2001
Toward Web-Based Application Management Systems.
IEEE Trans. Knowl. Data Eng., 2001

Exploring Alternatives during Requirements Analysis.
IEEE Software, 2001

Towards an Agent Oriented Approach to Software Engineering.
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.
Proceedings of the 2nd International Conference on Web Information Systems Engineering, 2001

Requirements-Driven Software Re-engineering Framework.
Proceedings of the Eighth Working Conference on Reverse Engineering, 2001

UML for Agent-Oriented Software Development: The Tropos Proposal.
Proceedings of the «UML» 2001, 2001

Agent- Oriented Software Development: A Case Study.
Proceedings of the Thirteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2001), 2001

Model Checking Early Requirements Specifications in Tropos.
Proceedings of the 5th IEEE International Symposium on Requirements Engineering (RE 2001), 2001

Integrating Organizational Requirements and Object Oriented Modeling.
Proceedings of the 5th IEEE International Symposium on Requirements Engineering (RE 2001), 2001

Information systems as social structures.
Proceedings of the 2nd International Conference on Formal Ontology in Information Systems, 2001

A Semantic Approach to XML-based Data Integration.
Proceedings of the Conceptual Modeling, 2001

A Requirements-Driven Development Methodology.
Proceedings of the Advanced Information Systems Engineering, 13th International Conference, 2001

A Goal-Based Organizational Perspective on Multi-agent Architectures.
Proceedings of the Intelligent Agents VIII, 8th International Workshop, 2001

Modeling Early Requirements in Tropos: A Transformation Based Approach.
Proceedings of the Agent-Oriented Software Engineering II, Second International Workshop, 2001

A knowledge level software engineering methodology for agent oriented programming.
Proceedings of the Fifth International Conference on Autonomous Agents, 2001

2000
Supporting Distributed Autonomous Information Services Using Coordination.
Int. J. Cooperative Inf. Syst., 2000

End-to-end E-commerce Application Development Based on XML Tools.
IEEE Data Eng. Bull., 2000

Desert Island Column: A Trip to Carthea.
Autom. Softw. Eng., 2000

Incremental Iterative Retrieval and Browsing for Efficient Conversational CBR Systems.
Appl. Intell., 2000

Higher order generalization and its application in program verification.
Ann. Math. Artif. Intell., 2000

From Early Requirements Modeled by the i* Technique to Later Requirements Modeled in Precise UML.
Proceedings of the Anais do WER00, 2000

Developing Agent-Oriented Information Systems for the Enterprise.
Proceedings of the ICEIS 2000, 2000

From Entities and Relationships to Social Actors and Dependencies.
Proceedings of the Conceptual Modeling, 2000

Towards Extensible Information Brokers Based on XML.
Proceedings of the Advanced Information Systems Engineering, 2000

Why Is It So Difficult to Introduce RE Research Results into Mainstream RE Practice?
Proceedings of the Advanced Information Systems Engineering, 2000

Non-Functional Requirements in Software Engineering
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.
Int. J. Cooperative Inf. Syst., 1999

From Object-Oriented to Goal-Oriented Requirements Analysis.
Commun. ACM, 1999

Migration of procedural systems to network-centric platforms.
Proceedings of the 1999 conference of the Centre for Advanced Studies on Collaborative Research, 1999

Modeling Dynamic Domains with ConGolog.
Proceedings of the Advanced Information Systems Engineering, 1999

1998
Information Modeling in the Time of the Revolution.
Inf. Syst., 1998

Information Services: Coping with the Information Crisis - Guest Editors' Introduction.
Int. J. Cooperative Inf. Syst., 1998

A Three-Faced View of Information Systems.
Commun. ACM, 1998

Case-based reasoning in IVF: prediction and knowledge mining.
Artificial Intelligence in Medicine, 1998

Panel on Next Generation Database Systems Won't Work Without Semantics!
Proceedings of the SIGMOD 1998, 1998

Why Goal-Oriented Requirements Engineering.
Proceedings of the Requirements Engineering: Foundation for Software Quality, 1998

Information Services for the Web: Building and Maintaining Domain Models.
Proceedings of the 3rd IFCIS International Conference on Cooperative Information Systems, 1998

Code migration through transformations: an experience report.
Proceedings of the 1998 conference of the Centre for Advanced Studies on Collaborative Research, November 30, 1998

1997
The Software Bookshelf.
IBM Systems Journal, 1997

Guest Editors' Introduction.
IEEE Expert, 1997

Representing Software Engineering Knowledge.
Autom. Softw. Eng., 1997

1996
Building Knowledge Base Management Systems.
VLDB J., 1996

Using Goals, Rules and Methods to Support Reasoning in Business Process Reengineering.
Int. Syst. in Accounting, Finance and Management, 1996

AI Models for Business Process Reengineering.
IEEE Expert, 1996

Representing Partial Spatial Information in Databases.
Proceedings of the Conceptual Modeling, 1996

Accomodating Integrity Constraints During Database Design.
Proceedings of the Advances in Database Technology, 1996

Cooperative Information Systems: A Research Agenda (Tutorial).
Proceedings of the CSCW '96, 1996

A Generic Integration Architecture for Cooperative Information Systems.
Proceedings of the First IFCIS International Conference on Cooperative Information Systems (CoopIS'96), 1996

Semantics, Features, and Applications of the Viewpoint Abstraction.
Proceedings of the Advances Information System Engineering, 8th International Conference, 1996

Developing an Expert System Technology for Industrial Process Control: An Experience Report.
Proceedings of the Advances in Artificial Intelligence, 1996

1995
The Software Information Base: A Server for Reuse
VLDB J., 1995

On the Frame Problem in Procedure Specifications.
IEEE Trans. Software Eng., 1995

From E-R to "A-R" - Modelling Strategic Actor Relationships for Business Process Reengineering.
Int. J. Cooperative Inf. Syst., 1995

Requirements Engineering: An Educational Dilemma.
Autom. Softw. Eng., 1995

Efficient Algorithms and Performance Results for Multi-User Knowledge Bases.
Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, 1995

From Organization Models to System Requirements: A 'Cooperating Agents' Approach.
Proceedings of the Third International Conference on Cooperative Information Systems (CoopIS-95), 1995

Partitioning Information Bases with Contexts.
Proceedings of the Third International Conference on Cooperative Information Systems (CoopIS-95), 1995

Using an integrated toolset for program understanding.
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.
Robotica, 1994

Preface.
Int. J. Cooperative Inf. Syst., 1994

Investigating Reverse Engineering Technologies for the CAS Program Understanding Project.
IBM Systems Journal, 1994

Introduction.
Appl. Intell., 1994

Understanding "Why" in Software Process Modelling, Analysis, and Design.
Proceedings of the 16th International Conference on Software Engineering, 1994

On Formal Requirements Modeling Languages: RML Revisited.
Proceedings of the 16th International Conference on Software Engineering, 1994

Using Goals, Rules, and Methods to Support Reasoning in Business Process Re-engineering.
Proceedings of the 27th Annual Hawaii International Conference on System Sciences (HICSS-27), 1994

From E-R to "A-R" - Modelling Strategic Actor Relationships for Business Process Reengineering.
Proceedings of the Entity-Relationship Approach, 1994

Expert Systems for Industrial Process Control: A Study in Technology Transfer.
Proceedings of the Database and Expert Systems Applications, 5th International Conference, 1994

Quantitative Evaluation of a Transaction Facility for a Knowledge Base Management System.
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.
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.
IEEE Expert, 1993

Aligning Information Strategy with Business Strategy - A Technical Perspective.
Proceedings of the NGITS' 93, 1993

The Future Direction of AI Tools (Panel).
Proceedings of the Fifth International Conference on Tools with Artificial Intelligence, 1993

"...And Nothing Else Changes": The Frame Problem in Procedure Specifications.
Proceedings of the 15th International Conference on Software Engineering, 1993

An actor dependency model of organizational work: with application to business process reengineering.
Proceedings of the Conference on Organizational Computing Systems, 1993

Task-Oriented Development of Intelligent Information Systems.
Proceedings of the International Conference on Intelligent and Cooperative Information Systems, 1993

1992
Representing and Using Nonfunctional Requirements: A Process-Oriented Approach.
IEEE Trans. Software Eng., 1992

DAIDA: An Environment for Evolving Information Systems.
ACM Trans. Inf. Syst., 1992

Classes and Instances.
Int. J. Cooperative Inf. Syst., 1992

Developing Intelligent Information Systems: A Workshop Summary.
Int. J. Cooperative Inf. Syst., 1992

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

Concurrency Control for Knowledge Bases.
Proceedings of the 3rd International Conference on Principles of Knowledge Representation and Reasoning (KR'92). Cambridge, 1992

Introducing robotic 'common sense' in real time dexterous manipulation.
Proceedings of the 1992 IEEE International Conference on Robotics and Automation, 1992

Organizing software repositories modeling requirements and implementation experiences.
Proceedings of the Sixteenth Annual International Computer Software and Applications Conference, 1992

1991
Implementing Telos.
SIGART Bulletin, 1991

From information system requirements to designs: a mapping framework.
Inf. Syst., 1991

A conceptual modelling approach to authoring-in-the-large for hypertext documents.
Proceedings of the Conference on Organizational Computing Systems, 1991

1990
Telos: Representing Knowledge About Information Systems.
ACM Trans. Inf. Syst., 1990

Knowledge Bases and Databases: Current Trends and Future Directions.
Proceedings of the Information Systems and Artificial Intelligence: Integration Aspects, 1990

KNOWBEL: a hybrid expert system building tool.
Proceedings of the 2nd International IEEE Conference on Tools for Artificial Intelligence, 1990

Object-Orientation and Knowledge Representation.
Proceedings of the Object-Oriented Databases: Analysis, 1990

IRIS - A Mapping Assistant for Generating Designs from Requirements.
Proceedings of the Advanced Information Systems Engineering, 1990

1989
Database Programming by Formal Refinement of Conceptual Designs.
IEEE Data Eng. Bull., 1989

Support for Data-Intensive Applications: Conceptual Design and Software Development.
Proceedings of the Second International Workshop on Database Programming Languages, 1989

1988
Process Management and Assertion Enforcement for a Semantic Data Model.
Proceedings of the Advances in Database Technology, 1988

1987
Implementation of a Compiler for a Semantic Data Model: Experiences with Taxis.
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.
Proceedings of the Advances in Database Programming Languages, 1987

1986
A requirements modeling language and its logic.
Inf. Syst., 1986

Environments for the Development of Specifications (Panel).
Proceedings of the Information Processing 86, 1986

1985
Knowledge Representation as the Basis for Requirements Specifications.
IEEE Computer, 1985

Knowledge Reperesentation as the Basis for Requirements Specification (Reprint).
Proceedings of the Wissensbasierte Systeme, 1985

Design of a Compiler for a Semantic Data Model.
Proceedings of the Foundations of Knowledge Base Management: Contributions from Logic, 1985

The Need for a Knowledge Representation Framework.
Proceedings of the Foundations of Knowledge Base Management: Contributions from Logic, 1985

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

A Requirements Modeling Language and Its Logic.
Proceedings of the On Knowledge Base Management Systems: Integrating Artificial Intelligence and Database Technologies, 1985

Knowledge Bases vs. Databases.
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.
Proceedings of the Foundations of Knowledge Base Management: Contributions from Logic, 1985

Knowledge Representation: Features of Knowledge.
Proceedings of the Fundamentals of Artificial Intelligence: An Advanced Course, 1985

1984
Information System Design at the Conceptual Level - The Taxis Project.
IEEE Database Eng. Bull., 1984

Knowledge Base Management Systems: Discussions from the Working Group.
Proceedings of the Expert Database Systems, 1984

1983
Building Knowledge-Based Systems: The PSN Experience.
IEEE Computer, 1983

CAA: A Knowledge Based System Using Causal Knowledge to Diagnose Cardiac Rhythm Disorders.
Proceedings of the 8th International Joint Conference on Artificial Intelligence. Karlsruhe, 1983

A Panel on AI and Databases.
Proceedings of the 8th International Joint Conference on Artificial Intelligence. Karlsruhe, 1983

1982
Capturing More World Knowledge in the Requirements Specification.
Proceedings of the Proceedings, 1982

An Overview of Knowledge Representation.
Proceedings of the On Conceptual Modelling, 1982

Generalization/Specialization as a Basis for Software Specification.
Proceedings of the On Conceptual Modelling, 1982

1981
A region-based formalism for picture processing.
Pattern Recognition, 1981

1980
A Language Facility for Designing Database-Intensive Applications.
ACM Trans. Database Syst., 1980

Some Features of the TAXIS Data Model.
Proceedings of the Sixth International Conference on Very Large Data Bases, 1980

Relationships Between and Among Models (discussion).
Proceedings of the Workshop on Data Abstraction, 1980

A Perspective for Research on Conceptual Modelling.
Proceedings of the Workshop on Data Abstraction, 1980

Tutorial on Artificial Intelligence Research.
Proceedings of the Workshop on Data Abstraction, 1980

An Overview of Knowledge Representation.
Proceedings of the Workshop on Data Abstraction, 1980

1979
ALVEN: A Study on Motion Understanding by Computer.
Proceedings of the Sixth International Joint Conference on Artificial Intelligence, 1979

1978
A Language Facility for Designing Interactive Database-Intensive Applications (Abstract).
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.
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.
Inf. Syst., 1976

1975
Using Semantic Networks for Database Management.
Proceedings of the International Conference on Very Large Data Bases, 1975

Semantic Networks and the Generation of Context.
Proceedings of the Advance Papers of the Fourth International Joint Conference on Artificial Intelligence, 1975

TORUS - A Natural Language Understanding System For Data Management.
Proceedings of the Advance Papers of the Fourth International Joint Conference on Artificial Intelligence, 1975

A multi-level relational system.
Proceedings of the American Federation of Information Processing Societies: 1975 National Computer Conference, 1975

1973
Some Results in Computational Topology.
J. ACM, 1973

l.Pak: A SNOBOL-Based Programming Language for Artificial Intelligence Applications.
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.
Pattern Recognition, 1972

On the recognition of topological invariants by 4-way finite automata.
Computer Graphics and Image Processing, 1972

Some Results in Computational Topology
Proceedings of the 13th Annual Symposium on Switching and Automata Theory, 1972

On the Relation of Graph Grammars and Graph Automata
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.
J. ACM, 1971

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


  Loading...