A Framework for Expressing the Relationships Between Multiple Views in Requirements Specification
IEEE Transactions on Software Engineering
Models for supporting the redesign of organizational work
COCS '95 Proceedings of conference on Organizational computing systems
Simulation and analysis of business processes using GOLOG
COCS '95 Proceedings of conference on Organizational computing systems
Dealing with non-functional requirements: three experimental studies of a process-oriented approach
Proceedings of the 17th international conference on Software engineering
An integration of scenarios with their purposes in task modeling
Proceedings of the 1st conference on Designing interactive systems: processes, practices, methods, & techniques
Using schematic scenarios to understand user needs
Proceedings of the 1st conference on Designing interactive systems: processes, practices, methods, & techniques
How to identify binary relations for domain models
Proceedings of the 18th international conference on Software engineering
Four dark corners of requirements engineering
ACM Transactions on Software Engineering and Methodology (TOSEM)
Formal refinement patterns for goal-driven requirements elaboration
SIGSOFT '96 Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering
Viewing a DSSA in context: problems versus solutions
ISAW '96 Joint proceedings of the second international software architecture workshop (ISAW-2) and international workshop on multiple perspectives in software development (Viewpoints '96) on SIGSOFT '96 workshops
Tool support for requirements formalisation
ISAW '96 Joint proceedings of the second international software architecture workshop (ISAW-2) and international workshop on multiple perspectives in software development (Viewpoints '96) on SIGSOFT '96 workshops
An architecture for viewpoint environments based on OMG/CORBA
ISAW '96 Joint proceedings of the second international software architecture workshop (ISAW-2) and international workshop on multiple perspectives in software development (Viewpoints '96) on SIGSOFT '96 workshops
A meta-model for restructuring stakeholder requirements
ICSE '97 Proceedings of the 19th international conference on Software engineering
GRAIL/KAOS: an environment for goal-driven requirements engineering
ICSE '97 Proceedings of the 19th international conference on Software engineering
On formal requirements modeling languages: RML revisited
ICSE '94 Proceedings of the 16th international conference on Software engineering
Understanding “why” in software process modelling, analysis, and design
ICSE '94 Proceedings of the 16th international conference on Software engineering
Classification of research efforts in requirements engineering
ACM Computing Surveys (CSUR)
Integration of sequential scenarios
ESEC '97/FSE-5 Proceedings of the 6th European SOFTWARE ENGINEERING conference held jointly with the 5th ACM SIGSOFT international symposium on Foundations of software engineering
The Domain Theory for Requirements Engineering
IEEE Transactions on Software Engineering
Integration of Sequential Scenarios
IEEE Transactions on Software Engineering
An architecture for constructing self-evolving software systems
ISAW '98 Proceedings of the third international workshop on Software architecture
Managing Conflicts in Goal-Driven Requirements Engineering
IEEE Transactions on Software Engineering
From object-oriented to goal-oriented requirements analysis
Communications of the ACM
Requirements Elicitation and Validation with Real World Scenes
IEEE Transactions on Software Engineering
Guiding Goal Modeling Using Scenarios
IEEE Transactions on Software Engineering
Supporting Scenario-Based Requirements Engineering
IEEE Transactions on Software Engineering
Inferring Declarative Requirements Specifications from Operational Scenarios
IEEE Transactions on Software Engineering
Integrating obstacles in goal-driven requirements engineering
Proceedings of the 20th international conference on Software engineering
The use of goals to surface requirements for evolving systems
Proceedings of the 20th international conference on Software engineering
Reusing single system requirements from application family requirements
Proceedings of the 21st international conference on Software engineering
Managing Requirements Inconsistency with Development Goal Monitors
IEEE Transactions on Software Engineering
Conflicts in Policy-Based Distributed Systems Management
IEEE Transactions on Software Engineering
Requirements engineering: a roadmap
Proceedings of the Conference on The Future of Software Engineering
Software engineering and middleware: a roadmap
Proceedings of the Conference on The Future of Software Engineering
Formal specification: a roadmap
Proceedings of the Conference on The Future of Software Engineering
Requirements engineering in the year 00: a research perspective
Proceedings of the 22nd international conference on Software engineering
Management of Performance Requirements for Information Systems
IEEE Transactions on Software Engineering
Handling Obstacles in Goal-Oriented Requirements Engineering
IEEE Transactions on Software Engineering - special section on current trends in exception handling—part II
External attribution of intentional notions to explain and predict agent behaviour
Proceedings of the fifth international conference on Autonomous agents
A knowledge level software engineering methodology for agent oriented programming
Proceedings of the fifth international conference on Autonomous agents
Meta-models for building multi-agent systems
Proceedings of the 2002 ACM symposium on Applied computing
From AOSE methodology to agent implementation
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 1
TRAM: a tool for requirements and architecture management
ACSC '01 Proceedings of the 24th Australasian conference on Computer science
A Guided Tour through the ICARUS Project
ACM SIGSOFT Software Engineering Notes
Information systems development through social structures
SEKE '02 Proceedings of the 14th international conference on Software engineering and knowledge engineering
Handling the knowledge acquired during the requirements engineering process: a case study
SEKE '02 Proceedings of the 14th international conference on Software engineering and knowledge engineering
Challenges in COTS decision-making: a goal-driven requirements engineering perspective
SEKE '02 Proceedings of the 14th international conference on Software engineering and knowledge engineering
Agent-based tactics for goal-oriented requirements elaboration
Proceedings of the 24th International Conference on Software Engineering
Principles of component-based design of intelligent agents
Data & Knowledge Engineering
A micro-economic approach to conflict resolution in mobile computing
Proceedings of the 10th ACM SIGSOFT symposium on Foundations of software engineering
Deriving operational software specifications from system goals
Proceedings of the 10th ACM SIGSOFT symposium on Foundations of software engineering
Annals of Software Engineering
Abstraction and context in requirements engineering: Toward a synthesis
Annals of Software Engineering
A practical approach to combining requirements definition and object-oriented analysis
Annals of Software Engineering
From conceptual modelling to requirements engineering
Annals of Software Engineering
Representing Software Engineering Knowledge
Automated Software Engineering
AbstFinder, A Prototype Natural Language Text Abstraction Finder for Use in Requirements Elicitation
Automated Software Engineering
Developing Knowledge-Based Systems with MIKE
Automated Software Engineering
Desert Island Column: A Trip to Carthea
Automated Software Engineering
Business Process Modelling and Design — A Formal Model and Methodology
BT Technology Journal
A formal framework for business process modelling and design
Information Systems
A micro-economic approach to conflict resolution in mobile computing
ACM SIGSOFT Software Engineering Notes
Deriving operational software specifications from system goals
ACM SIGSOFT Software Engineering Notes
Exploring Alternatives During Requirements Analysis
IEEE Software
New Approach to Requirements Trade-Off Analysis for Complex Systems
IEEE Transactions on Knowledge and Data Engineering
Knowledge-Based Software Architectures: Acquisition, Specification, and Verification
IEEE Transactions on Knowledge and Data Engineering
Introduction to the Special Issue
IEEE Transactions on Software Engineering
Towards requirements-driven information systems engineering: the Tropos project
Information Systems - The 13th international conference on advanced information systems engineering (CAiSE*01)
Modularisation and composition of aspectual requirements
Proceedings of the 2nd international conference on Aspect-oriented software development
Surfacing Root Requirements Interactions from Inquiry Cycle Requirements Documents
ICRE '98 Proceedings of the 3rd International Conference on Requirements Engineering: Putting Requirements Engineering to Practice
A Framework for Requirements Elicitation through Mixed-Initiative Dialogue
ICRE '98 Proceedings of the 3rd International Conference on Requirements Engineering: Putting Requirements Engineering to Practice
A Case Study of Decomposing Functional Requirements Using Scenarios
ICRE '98 Proceedings of the 3rd International Conference on Requirements Engineering: Putting Requirements Engineering to Practice
Agent-Oriented Software Development
SETN '02 Proceedings of the Second Hellenic Conference on AI: Methods and Applications of Artificial Intelligence
Beyond Goal Representation: Checking Goal-Satisfaction by Temporal Reasoning with Business Processes
CAiSE '99 Proceedings of the 11th International Conference on Advanced Information Systems Engineering
A Formal Model for Business Process Modeling and Design
CAiSE '00 Proceedings of the 12th International Conference on Advanced Information Systems Engineering
SNet: A Modeling and Simulation Environment for Agent Networks Based on i* and ConGolog
CAiSE '02 Proceedings of the 14th International Conference on Advanced Information Systems Engineering
Building Formal Requirements Models for Reliable Software
Ada Europe '01 Proceedings of the 6th Ade-Europe International Conference Leuven on Reliable Software Technologies
Goal-Oriented Requirements Specification for Digital Libraries
ECDL '02 Proceedings of the 6th European Conference on Research and Advanced Technology for Digital Libraries
UML for Agent-Oriented Software Development: The Tropos Proposal
«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
ER '02 Proceedings of the 21st International Conference on Conceptual Modeling
A Method for Requirements Elicitation and Formal Specification
ER '99 Proceedings of the 18th International Conference on Conceptual Modeling
Modeling Multiagent Systems with CASL - A Feature Interaction Resolution Application
ATAL '00 Proceedings of the 7th International Workshop on Intelligent Agents VII. Agent Theories Architectures and Languages
A Goal-Based Organizational Perspective on Multi-agent Architectures
ATAL '01 Revised Papers from the 8th International Workshop on Intelligent Agents VIII
Agent-Oriented Modelling: Software versus the World
AOSE '01 Revised Papers and Invited Contributions from the Second International Workshop on Agent-Oriented Software Engineering II
Modeling Early Requirements in Tropos: A Transformation Based Approach
AOSE '01 Revised Papers and Invited Contributions from the Second International Workshop on Agent-Oriented Software Engineering II
Agent Oriented Analysis Using Message/UML
AOSE '01 Revised Papers and Invited Contributions from the Second International Workshop on Agent-Oriented Software Engineering II
A Requirement Specification Language for Configuration Dynamics of Multi-agent Systems
AOSE '01 Revised Papers and Invited Contributions from the Second International Workshop on Agent-Oriented Software Engineering II
A Requirements-Driven Development Methodology
CAiSE '01 Proceedings of the 13th International Conference on Advanced Information Systems Engineering
Diagnosis of the Dynamics within an Organization by Trace Checking of Behavioural Requirements
AOSE '01 Revised Papers and Invited Contributions from the Second International Workshop on Agent-Oriented Software Engineering II
Proceedings of the 25th International Conference on Software Engineering
Refactoring use case models: the metamodel
ACSC '03 Proceedings of the 26th Australasian computer science conference - Volume 16
Agent-Oriented Software Modeling
APSEC '99 Proceedings of the Sixth Asia Pacific Software Engineering Conference
A Web-based requirements analysis tool
WET-ICE '96 Proceedings of the 5th International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WET ICE'96)
Migrating to the Web a Legacy Application: The Sinfor Project
WSE '02 Proceedings of the Fourth International Workshop on Web Site Evolution (WSE'02)
Structuring Requirements Specifications through Goals Interactions
ICTAI '99 Proceedings of the 11th IEEE International Conference on Tools with Artificial Intelligence
Requirements interaction management
ACM Computing Surveys (CSUR)
Formal Tools for Managing Inconsistency and Change in RE
IWSSD '00 Proceedings of the 10th International Workshop on Software Specification and Design
IWSSD '00 Proceedings of the 10th International Workshop on Software Specification and Design
Reconciling System Requirements and Runtime Behavior
IWSSD '98 Proceedings of the 9th international workshop on Software specification and design
From Early to Late Formal Requirements: A Process-Control Case Study
IWSSD '98 Proceedings of the 9th international workshop on Software specification and design
Bridging the requirements gap: policies, goals and domains
IWSSD '93 Proceedings of the 7th international workshop on Software specification and design
Modeling organizational goals: analysis of current methods
Proceedings of the 2004 ACM symposium on Applied computing
Tropos: An Agent-Oriented Software Development Methodology
Autonomous Agents and Multi-Agent Systems
Agent orientation in software engineering
The Knowledge Engineering Review
Elaborating Security Requirements by Construction of Intentional Anti-Models
Proceedings of the 26th International Conference on Software Engineering
Requirements Monitoring for Service-Based Systems: Towards a framework based on Event Calculus
Proceedings of the 19th IEEE international conference on Automated software engineering
A framework for requirents monitoring of service based systems
Proceedings of the 2nd international conference on Service oriented computing
Object Analysis Patterns for Embedded Systems
IEEE Transactions on Software Engineering
Introducing Flexible Quantity Contracts into Distributed SoC and Embedded System Design Processes
Proceedings of the conference on Design, Automation and Test in Europe - Volume 2
Clinical requirements engineering
Proceedings of the 27th international conference on Software engineering
Towards requirements-driven autonomic systems design
DEAS '05 Proceedings of the 2005 workshop on Design and evolution of autonomic application software
A design for evidence - based soft research
REBSE '05 Proceedings of the 2005 workshop on Realising evidence-based software engineering
Capturing visions and goals to inform communication design
Proceedings of the 23rd annual international conference on Design of communication: documenting & designing for pervasive information
Information Systems - Special issue: The 15th international conference on advanced information systems engineering (CAiSE 2003)
Goal-oriented requirement analysis for data warehouse design
Proceedings of the 8th ACM international workshop on Data warehousing and OLAP
Guiding agent-oriented requirements elicitation: HOMER
QSIC '05 Proceedings of the Fifth International Conference on Quality Software
Formal goal generation for intelligent control systems
IEA/AIE'2005 Proceedings of the 18th international conference on Innovations in Applied Artificial Intelligence
Multi-Agent Architectures as Organizational Structures
Autonomous Agents and Multi-Agent Systems
Redesigning legacy applications for the web with UWAT+: a case study
Proceedings of the 28th international conference on Software engineering
Goal-oriented specification of adaptation requirements engineering in adaptive systems
Proceedings of the 2006 international workshop on Self-adaptation and self-managing systems
Problem frame transformations: deriving specifications from requirements
Proceedings of the 2006 international workshop on Advances and applications of problem frames
Journal of Systems and Software
Architecture-based testing using goals and plans
Proceedings of the ISSTA 2006 workshop on Role of software architecture for testing and analysis
On proactivity and maintenance goals
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Integrating agent-oriented methodologies with UML-AT
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Modeling events as entities in object-oriented conceptual modeling languages
Data & Knowledge Engineering - Special issue: ER 2004
Finding and documenting the specialization interface of an application framework
Software—Practice & Experience
Requirements-driven design of autonomic application software
CASCON '06 Proceedings of the 2006 conference of the Center for Advanced Studies on Collaborative research
Using Bayesian belief networks for change impact analysis in architecture design
Journal of Systems and Software
Integrating visual goal models into the Rational Unified Process
Journal of Visual Languages and Computing
A DSS Design Model for complex problems: Lessons from mission critical infrastructure
Decision Support Systems
Web Intelligence and Agent Systems
Modeling and Evolving Crosscutting Concerns in ADORA
EARLYASPECTS '07 Proceedings of the Early Aspects at ICSE: Workshops in Aspect-Oriented Requirements Engineering and Architecture Design
Evaluating User-centric Adaptation with Goal Models
SEPCASE '07 Proceedings of the 1st International Workshop on Software Engineering for Pervasive Computing Applications, Systems, and Environments
Implementation of a Formal Security Policy Refinement Process in WBEM Architecture
Journal of Network and Systems Management
Agent-oriented modeling of the dynamics of biological organisms
Applied Intelligence
Computer-aided Support for Secure Tropos
Automated Software Engineering
Runtime monitoring of web service conversations
CASCON '07 Proceedings of the 2007 conference of the center for advanced studies on Collaborative research
Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
PRiM: An i*-based process reengineering method for information systems specification
Information and Software Technology
A design framework for generating BDI-agents from goal models
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
Model integration in agent-oriented development
International Journal of Agent-Oriented Software Engineering
A knowledge hierarchy model for adaptive multi-agent systems
International Journal of Computer Applications in Technology
GRAnD: A goal-oriented approach to requirement analysis in data warehouses
Decision Support Systems
Integrating goal modeling and execution in adaptive complex enterprises
Proceedings of the 2008 ACM symposium on Applied computing
Configuring features with stakeholder goals
Proceedings of the 2008 ACM symposium on Applied computing
MOBMAS: A methodology for ontology-based multi-agent systems development
Information and Software Technology
Value-driven design for "infosuasive" web applications
Proceedings of the 17th international conference on World Wide Web
Problem frames and business strategy modelling
Proceedings of the 3rd international workshop on Applications and advances of problem frames
Proceedings of the 3rd international workshop on Applications and advances of problem frames
ER '07 Tutorials, posters, panels and industrial contributions at the 26th international conference on Conceptual modeling - Volume 83
ER '07 Tutorials, posters, panels and industrial contributions at the 26th international conference on Conceptual modeling - Volume 83
Deriving event-based transition systems from goal-oriented requirements models
Automated Software Engineering
Visualizing the Analysis of Dynamically Adaptive Systems Using i* and DSLs
REV '07 Proceedings of the Second International Workshop on Requirements Engineering Visualization
Semantic parameterization: A process for modeling domain descriptions
ACM Transactions on Software Engineering and Methodology (TOSEM)
Extracting Requirements from Scenarios with ILP
Inductive Logic Programming
Knowledge Driven Architecture for Home Care
CEEMAS '07 Proceedings of the 5th international Central and Eastern European conference on Multi-Agent Systems and Applications V
Dynamic Requirements Specification for Adaptable and Open Service-Oriented Systems
ICSOC '07 Proceedings of the 5th international conference on Service-Oriented Computing
Modeling and Analyzing Variability for Mobile Information Systems
ICCSA '08 Proceedings of the international conference on Computational Science and Its Applications, Part II
CAiSE '08 Proceedings of the 20th international conference on Advanced Information Systems Engineering
Business Process Modelling and Purpose Analysis for Requirements Analysis of Information Systems
CAiSE '08 Proceedings of the 20th international conference on Advanced Information Systems Engineering
Ontology for Enterprise Modeling
KES '08 Proceedings of the 12th international conference on Knowledge-Based Intelligent Information and Engineering Systems, Part III
Towards Engineering Purposeful Systems: A Requirements Engineering Perspective
DEXA '08 Proceedings of the 19th international conference on Database and Expert Systems Applications
Automating the Trace of Architectural Design Decisions and Rationales Using a MDD Approach
ECSA '08 Proceedings of the 2nd European conference on Software Architecture
Requirements engineering: from craft to discipline
Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering
Consistency preserving co-evolution of formal specifications and agent-oriented conceptual models
Information and Software Technology
Adaptive Agent Model: Software Adaptivity using an Agent-oriented Model-Driven Architecture
Information and Software Technology
A method for modeling service management of e-Learning
WSEAS Transactions on Information Science and Applications
Location-Based Software Modeling and Analysis: Tropos-Based Approach
ER '08 Proceedings of the 27th International Conference on Conceptual Modeling
The intentional relationship of representation between the constructs of a language and reality
Data & Knowledge Engineering
A Model-Driven Approach for the Specification and Analysis of Access Control Policies
OTM '08 Proceedings of the OTM 2008 Confederated International Conferences, CoopIS, DOA, GADA, IS, and ODBASE 2008. Part II on On the Move to Meaningful Internet Systems
A modeling method for service management of e-Learning
AIC'08 Proceedings of the 8th conference on Applied informatics and communications
ServiceWave '08 Proceedings of the 1st European Conference on Towards a Service-Based Internet
Decomposition Structures for Event-B
IFM '09 Proceedings of the 7th International Conference on Integrated Formal Methods
Monitoring and diagnosing software requirements
Automated Software Engineering
AspectKAOS: integrating early-aspects into KAOS
Proceedings of the 15th workshop on Early aspects
Requirements-based Access Control Analysis and Policy Specification (ReCAPS)
Information and Software Technology
Journal of Systems and Software
Attributed Goal-Oriented Analysis Method for Selecting Alternatives of Software Requirements
IEICE - Transactions on Information and Systems
Identifying vulnerabilities and critical requirements using criminal court proceedings
Proceedings of the 2009 ACM symposium on Applied Computing
Eliciting required characteristics for usable requirements engineering approaches
Proceedings of the 2009 ACM symposium on Applied Computing
Idea: Action Refinement for Security Properties Enforcement
ESSoS '09 Proceedings of the 1st International Symposium on Engineering Secure Software and Systems
Supporting Requirements Analysis in Tropos: A Planning-Based Approach
Agent Computing and Multi-Agent Systems
Modeling and analysis of security trade-offs - A goal oriented approach
Data & Knowledge Engineering
Learning operational requirements from goal models
ICSE '09 Proceedings of the 31st International Conference on Software Engineering
Proceedings of the 4th International Conference on Design Science Research in Information Systems and Technology
C3S2E '09 Proceedings of the 2nd Canadian Conference on Computer Science and Software Engineering
Operational semantics of goal models in adaptive agents
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 1
Evolutionary testing of autonomous software agents
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 1
Modelling Multi-Facetted Purposes of Artefacts
Proceedings of the 2005 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the fourth SoMeT_W05
Requirements Engineering Education for Professional Engineers
Proceedings of the 2008 conference on Knowledge-Based Software Engineering: Proceedings of the Eighth Joint Conference on Knowledge-Based Software Engineering
Requirements Tracing to Support Change in Dynamically Adaptive Systems
REFSQ '09 Proceedings of the 15th International Working Conference on Requirements Engineering: Foundation for Software Quality
An Architecture for Requirements-Driven Self-reconfiguration
CAiSE '09 Proceedings of the 21st International Conference on Advanced Information Systems Engineering
Deriving Information Requirements from Responsibility Models
CAiSE '09 Proceedings of the 21st International Conference on Advanced Information Systems Engineering
Communication Analysis: A Requirements Engineering Method for Information Systems
CAiSE '09 Proceedings of the 21st International Conference on Advanced Information Systems Engineering
Software Engineering for Self-Adaptive Systems: A Research Roadmap
Software Engineering for Self-Adaptive Systems
Reasoning About Alternative Requirements Options
Conceptual Modeling: Foundations and Applications
Conceptual Modeling: Foundations and Applications
Enterprise Information Systems - Towards Model-driven Service-oriented Enterprise Computing - 12th International IEEE EDOC Enterprise Computing Conference (EDOC 2008)
Designing for Change: Engineering Adaptable and Adaptive User Interaction by Focusing on User Goals
Proceedings of the 13th International Conference on Human-Computer Interaction. Part I: New Trends
Playful Holistic Support to HCI Requirements Using LEGO Bricks
HCD 09 Proceedings of the 1st International Conference on Human Centered Design: Held as Part of HCI International 2009
Journal of Systems and Software
Integrating top-down and scenario-based methods for constructing software specifications
Information and Software Technology
Runtime monitoring of cross-cutting policy
EA '09 Proceedings of the 2009 ICSE Workshop on Aspect-Oriented Requirements Engineering and Architecture Design
Towards goal-interaction detection during COTS selection
SEA '07 Proceedings of the 11th IASTED International Conference on Software Engineering and Applications
Requirements gathering in a model-based approach for the design of multi-similarity systems
Proceedings of the first international workshop on Model driven service engineering and data quality and security
Requirements elicitation and analysis of multiagent systems using activity theory
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
A core ontology for requirements
Applied Ontology
Goal-oriented testing for MASs
International Journal of Agent-Oriented Software Engineering
OTM '09 Proceedings of the Confederated International Workshops and Posters on On the Move to Meaningful Internet Systems: ADI, CAMS, EI2N, ISDE, IWSSA, MONET, OnToContent, ODIS, ORM, OTM Academy, SWWS, SEMELS, Beyond SAWSDL, and COMBEK 2009
Modeling Domain Variability in Requirements Engineering with Contexts
ER '09 Proceedings of the 28th International Conference on Conceptual Modeling
Early Verification and Validation of Mission Critical Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Goal-oriented requirements analysis and reasoning in the Tropos methodology
Engineering Applications of Artificial Intelligence
Designing multi-agent systems: a framework and application
Expert Systems with Applications: An International Journal
Information Systems - Special issue: The 15th international conference on advanced information systems engineering (CAiSE 2003)
Knowledge and Information Systems
A goal-oriented requirements modelling language for enterprise architecture
EDOC'09 Proceedings of the 13th IEEE international conference on Enterprise Distributed Object Computing
A process for goal oriented requirement engineering
SE '08 Proceedings of the IASTED International Conference on Software Engineering
Constrained rationality: formal goals-reasoning approach to strategic decision & conflict analysis
SMC'09 Proceedings of the 2009 IEEE international conference on Systems, Man and Cybernetics
An architectural description language for secure Multi-Agent Systems
Web Intelligence and Agent Systems
Integration of behavioural requirements specification within compositional knowledge engineering
Knowledge-Based Systems
Multi-agent and software architectures: a comparative case study
AOSE'02 Proceedings of the 3rd international conference on Agent-oriented software engineering III
The Tropos software development methodology: processes, models and diagrams
AOSE'02 Proceedings of the 3rd international conference on Agent-oriented software engineering III
Requirements analysis in tropos: a self-referencing example
NODe'02 Proceedings of the NODe 2002 agent-related conference on Agent technologies, infrastructures, tools, and applications for E-services
A mechanism for dynamic role playing
NODe'02 Proceedings of the NODe 2002 agent-related conference on Agent technologies, infrastructures, tools, and applications for E-services
Integrating security and systems engineering: towards the modelling of secure information systems
CAiSE'03 Proceedings of the 15th international conference on Advanced information systems engineering
Modeling organizational architectural styles in UML
CAiSE'03 Proceedings of the 15th international conference on Advanced information systems engineering
A value-oriented approach to E-business process design
CAiSE'03 Proceedings of the 15th international conference on Advanced information systems engineering
Goal-oriented requirements engineering: a case study in E-government
CAiSE'03 Proceedings of the 15th international conference on Advanced information systems engineering
Organizational patterns for early requirements analysis
CAiSE'03 Proceedings of the 15th international conference on Advanced information systems engineering
Allocating goals to agent roles during MAS requirements engineering
AOSE'06 Proceedings of the 7th international conference on Agent-oriented software engineering VII
Modeling mental states in the analysis of multiagent systems requirements
AOSE'06 Proceedings of the 7th international conference on Agent-oriented software engineering VII
From entities and relationships to social actors and dependencies
ER'00 Proceedings of the 19th international conference on Conceptual modeling
Aligning IS to organization's strategy: the INSTAL method
CAiSE'07 Proceedings of the 19th international conference on Advanced information systems engineering
Goal annotation of process models for semantic enrichment of process knowledge
CAiSE'07 Proceedings of the 19th international conference on Advanced information systems engineering
ReeF: defining a customizable reengineering framework
CAiSE'07 Proceedings of the 19th international conference on Advanced information systems engineering
Towards evidence-based architectural design for safety-critical software applications
Architecting dependable systems IV
Context-oriented domain analysis
CONTEXT'07 Proceedings of the 6th international and interdisciplinary conference on Modeling and using context
A requirements elicitation framework and tool for sourcing business-IT aligned e-services
Proceedings of the 2010 ACM Symposium on Applied Computing
Goal and model driven design of an architecture for a care service platform
Proceedings of the 2010 ACM Symposium on Applied Computing
An empirical study of requirements model understanding: Use Case vs. Tropos models
Proceedings of the 2010 ACM Symposium on Applied Computing
Exploiting assumption-based verification for the adaptation of service-based applications
Proceedings of the 2010 ACM Symposium on Applied Computing
Managing concern interactions in middleware
DAIS'07 Proceedings of the 7th IFIP WG 6.1 international conference on Distributed applications and interoperable systems
A goal oriented approach for modeling and analyzing security trade-offs
ER'07 Proceedings of the 26th international conference on Conceptual modeling
Achieving, satisficing, and excelling
ER'07 Proceedings of the 2007 conference on Advances in conceptual modeling: foundations and applications
Extending argumentation to goal-oriented requirements engineering
ER'07 Proceedings of the 2007 conference on Advances in conceptual modeling: foundations and applications
From goals to high-variability software design
ISMIS'08 Proceedings of the 17th international conference on Foundations of intelligent systems
From early to late requirements: a goal-based approach
AOIS'06 Proceedings of the 8th international Bi conference on Agent-oriented information systems IV
A formal description language for multi-agent architectures
AOIS'06 Proceedings of the 8th international Bi conference on Agent-oriented information systems IV
Integration of aspects with i* models
AOIS'06 Proceedings of the 8th international Bi conference on Agent-oriented information systems IV
Requirements engineering for knowledge management in eGovernment
KMGov'03 Proceedings of the 4th IFIP international working conference on Knowledge management in electronic government
Deriving non-zeno behavior models from goal models using ILP
FASE'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Fundamental approaches to software engineering
A goal-oriented software testing methodology
AOSE'07 Proceedings of the 8th international conference on Agent-oriented software engineering VIII
Requirements-driven design and configuration management of business processes
BPM'07 Proceedings of the 5th international conference on Business process management
Taming agents and objects in software engineering
Software engineering for large-scale multi-agent systems
A meta-model for usable secure requirements engineering
Proceedings of the 2010 ICSE Workshop on Software Engineering for Secure Systems
Synchronous communication media in the software requirements negotiation process
CDVE'09 Proceedings of the 6th international conference on Cooperative design, visualization, and engineering
Modeling social media support for the elicitation of citizen opinion
Proceedings of the International Workshop on Modeling Social Media
A survey of customization support in agent-based business process simulation tools
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Transactions on computational collective intelligence I
Monitoring and analyzing service-based internet systems through a model-aware service environment
CAiSE'10 Proceedings of the 22nd international conference on Advanced information systems engineering
Conditional dependence networks in requirements engineering
COIN'09 Proceedings of the 5th international conference on Coordination, organizations, institutions, and norms in agent systems
Towards interoperability of i* models using iStarML
Computer Standards & Interfaces
User requirements modeling and analysis of software-intensive systems
Journal of Systems and Software
Requirements modeling for embedded realtime systems
MBEERTS'07 Proceedings of the 2007 International Dagstuhl conference on Model-based engineering of embedded real-time systems
Reasoning with optional and preferred requirements
ER'10 Proceedings of the 29th international conference on Conceptual modeling
Goal-oriented security threat mitigation patterns: a case of credit card theft mitigation
Proceedings of the 16th Conference on Pattern Languages of Programs
A three-dimensional abstraction framework to compare multi-agent system models
ICCCI'10 Proceedings of the Second international conference on Computational collective intelligence: technologies and applications - Volume PartI
Formal modelling of organisational goals based on performance indicators
Data & Knowledge Engineering
Survivability-oriented self-tuning of web systems
Proceedings of the 20th international conference companion on World wide web
Conceptual scheduling model and optimized release scheduling for agile environments
Information and Software Technology
Information and Software Technology
Proceedings of the 49th SIGMIS annual conference on Computer personnel research
Analyzing goal models: different approaches and how to choose among them
Proceedings of the 2011 ACM Symposium on Applied Computing
Towards the improvement of use case models: the AIRDoc process
Proceedings of the 2011 ACM Symposium on Applied Computing
IMPULSE: a design framework for multi-agent systems based on model transformation
Proceedings of the 2011 ACM Symposium on Applied Computing
Engineering secure future internet services
The future internet
Tracing requirements for adaptive systems using claims
Proceedings of the 6th International Workshop on Traceability in Emerging Forms of Software Engineering
Adapt cases: extending use cases for adaptive systems
Proceedings of the 6th International Symposium on Software Engineering for Adaptive and Self-Managing Systems
Proceedings of the 6th International Symposium on Software Engineering for Adaptive and Self-Managing Systems
Autonomous Agents and Multi-Agent Systems
A fuzzy service adaptation based on QoS satisfaction
CAiSE'11 Proceedings of the 23rd international conference on Advanced information systems engineering
Goal-based behavioral customization of information systems
CAiSE'11 Proceedings of the 23rd international conference on Advanced information systems engineering
A metamodelling approach for i* model translations
CAiSE'11 Proceedings of the 23rd international conference on Advanced information systems engineering
Visualizing stakeholder concerns with anchored map
HI'11 Proceedings of the 2011 international conference on Human interface and the management of information - Volume Part I
Intentional modeling of social media design knowledge for government-citizen communication
MSM'10/MUSE'10 Proceedings of the 2010 international conference on Analysis of social media and ubiquitous data
Expert Systems with Applications: An International Journal
Generating decision makers' preferences, from their goals, constraints, priorities and emotions
BI'11 Proceedings of the 2011 international conference on Brain informatics
Modeling and analyzing agents' collective options in collaborative decision making
BI'11 Proceedings of the 2011 international conference on Brain informatics
Managing multi-jurisdictional requirements in the cloud: towards a computational legal landscape
Proceedings of the 3rd ACM workshop on Cloud computing security workshop
Engaging stakeholders with agent-oriented requirements modelling
AOSE'10 Proceedings of the 11th international conference on Agent-oriented software engineering
Automatic derivation of utility functions for monitoring software requirements
Proceedings of the 14th international conference on Model driven engineering languages and systems
Strategic models for business intelligence
ER'11 Proceedings of the 30th international conference on Conceptual modeling
Composite indicators for business intelligence
ER'11 Proceedings of the 30th international conference on Conceptual modeling
Reasoning by assumption: formalisation and analysis of human reasoning traces
IWINAC'05 Proceedings of the First international conference on Mechanisms, Symbols, and Models Underlying Cognition: interplay between natural and artificial computation - Volume Part I
Modelling risk and identifying countermeasure in organizations
CRITIS'06 Proceedings of the First international conference on Critical Information Infrastructures Security
Domain models are NOT aspect free
MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
Towards a requirements-driven framework for detecting malicious behavior against software systems
Proceedings of the 2011 Conference of the Center for Advanced Studies on Collaborative Research
Goal decomposition tree: an agent model to generate a validated agent behaviour
DALT'05 Proceedings of the Third international conference on Declarative Agent Languages and Technologies
Requirements analysis of an agent’s reasoning capability
AOIS'05 Proceedings of the 7th international conference on Agent-Oriented Information Systems III
Formalizing agent-oriented enterprise models
AOIS'05 Proceedings of the 7th international conference on Agent-Oriented Information Systems III
Can agent oriented software engineering be used to build MASs product lines?
WRAC'05 Proceedings of the Second international conference on Radical Agent Concepts: innovative Concepts for Autonomic and Agent-Based Systems
Survey Paper: A survey on policy languages in network and security management
Computer Networks: The International Journal of Computer and Telecommunications Networking
Modeling rationale over time to support product line evolution planning
Proceedings of the Sixth International Workshop on Variability Modeling of Software-Intensive Systems
Goal representation for BDI agent systems
ProMAS'04 Proceedings of the Second international conference on Programming Multi-Agent Systems
A process for generating fitness measures
CAiSE'05 Proceedings of the 17th international conference on Advanced Information Systems Engineering
A concern-oriented requirements engineering model
CAiSE'05 Proceedings of the 17th international conference on Advanced Information Systems Engineering
On the lightweight use of goal-oriented models for software package selection
CAiSE'05 Proceedings of the 17th international conference on Advanced Information Systems Engineering
Modeling mental states in agent-oriented requirements engineering
CAiSE'06 Proceedings of the 18th international conference on Advanced Information Systems Engineering
On the quantitative analysis of agent-oriented models
CAiSE'06 Proceedings of the 18th international conference on Advanced Information Systems Engineering
Towards a theory on the role of ontologies in software engineering problem solving
FASE'05 Proceedings of the 8th international conference, held as part of the joint European Conference on Theory and Practice of Software conference on Fundamental Approaches to Software Engineering
SWDB'04 Proceedings of the Second international conference on Semantic Web and Databases
A goal oriented e-learning agent system
KES'05 Proceedings of the 9th international conference on Knowledge-Based Intelligent Information and Engineering Systems - Volume Part I
Designing cooperative IS: exploring and evaluating alternatives
ODBASE'06/OTM'06 Proceedings of the 2006 Confederated international conference on On the Move to Meaningful Internet Systems: CoopIS, DOA, GADA, and ODBASE - Volume Part I
Deriving acceptance tests from goal requirements
MOZ'04 Proceedings of the Second international conference on Multiparadigm Programming in Mozart/Oz
ER'05 Proceedings of the 24th international conference on Conceptual Modeling
XCM: conceptual modeling for dynamic domains
ER'05 Proceedings of the 24th international conference on Conceptual Modeling
From conceptual modeling to requirements engineering
ER'06 Proceedings of the 25th international conference on Conceptual Modeling
A more expressive softgoal conceptualization for quality requirements analysis
ER'06 Proceedings of the 25th international conference on Conceptual Modeling
ER'06 Proceedings of the 25th international conference on Conceptual Modeling
The ANote modeling language for agent-oriented specification
Software Engineering for Multi-Agent Systems III
Requirements elicitation for agent-based applications
AOSE'05 Proceedings of the 6th international conference on Agent-Oriented Software Engineering
Function point extraction method from goal and scenario based requirements text
NLDB'06 Proceedings of the 11th international conference on Applications of Natural Language to Information Systems
Variability in goal-oriented domain requirements
ICSR'06 Proceedings of the 9th international conference on Reuse of Off-the-Shelf Components
Goal-Driven business process derivation
ICSOC'11 Proceedings of the 9th international conference on Service-Oriented Computing
An agent-oriented meta-model for enterprise modelling
ER'05 Proceedings of the 24th international conference on Perspectives in Conceptual Modeling
Goal-Oriented design of domain control panels
DSVIS'05 Proceedings of the 12th international conference on Interactive Systems: design, specification, and verification
A framework for validating task assignment in multiagent systems using requirements importance
PRIMA'10 Proceedings of the 13th international conference on Principles and Practice of Multi-Agent Systems
Evolutionary testing of autonomous software agents
Autonomous Agents and Multi-Agent Systems
Computer aided incremental specification
IW-FM'97 Proceedings of the 1st Irish conference on Formal Methods
Towards a requirements modeling language for self-adaptive systems
REFSQ'12 Proceedings of the 18th international conference on Requirements Engineering: foundation for software quality
Learning from vacuously satisfiable scenario-based specifications
FASE'12 Proceedings of the 15th international conference on Fundamental Approaches to Software Engineering
Behavioral adaptation of information systems through goal models
Information Systems
A temporal modelling environment for internally grounded beliefs, desires and intentions
Cognitive Systems Research
Annotating problem diagrams with architectural tactics for reasoning on quality requirements
Information Processing Letters
Motivation modelling for human-service interaction
Proceedings of the Fourth Workshop on Behaviour Modelling - Foundations and Applications
REInDetector: a framework for knowledge-based requirements engineering
Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering
Agile requirements evolution via paraconsistent reasoning
CAiSE'12 Proceedings of the 24th international conference on Advanced Information Systems Engineering
Declarative description of business process patterns
Proceedings of the 1st Asian Conference on Pattern Languages of Programs
Reasoning with contextual requirements: Detecting inconsistency and conflicts
Information and Software Technology
A goal-oriented approach for the generation and evaluation of alternative architectures
ECSA'07 Proceedings of the First European conference on Software Architecture
Conceptualizing and specifying key performance indicators in business strategy models
CASCON '12 Proceedings of the 2012 Conference of the Center for Advanced Studies on Collaborative Research
Automatically RELAXing a goal model to cope with uncertainty
SSBSE'12 Proceedings of the 4th international conference on Search Based Software Engineering
Ethics and Information Technology
EA-Analyzer: automating conflict detection in a large set of textual aspect-oriented requirements
Automated Software Engineering
Requirements, intentions, goals and applicable norms
ER'12 Proceedings of the 2012 international conference on Advances in Conceptual Modeling
Information requirements for enterprise systems
Proceedings of the 17th Monterey conference on Large-Scale Complex IT Systems: development, operation and management
Model-driven planning and monitoring of long-term software product line evolution
Proceedings of the Seventh International Workshop on Variability Modelling of Software-intensive Systems
Dynamic event subscriptions in distributed event based architectures
Expert Systems with Applications: An International Journal
Summary of the First Workshop on the Analysis of Model Transformations (AMT'12)
Proceedings of the First Workshop on the Analysis of Model Transformations
A Systematic Review of Business and Information Technology Alignment
ACM Transactions on Management Information Systems (TMIS)
Comparing risk identification techniques for safety and security requirements
Journal of Systems and Software
Electronic Notes in Theoretical Computer Science (ENTCS)
Regulatory requirements traceability and analysis using semi-formal specifications
REFSQ'13 Proceedings of the 19th international conference on Requirements Engineering: Foundation for Software Quality
The emergence of mutual and shared understanding in the system development process
REFSQ'13 Proceedings of the 19th international conference on Requirements Engineering: Foundation for Software Quality
Requirements and architectural approaches to adaptive software systems: a comparative study
Proceedings of the 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems
Domain specific languages for the model driven organization
Proceedings of the First Workshop on the Globalization of Domain Specific Languages
Evolving systems of systems: industrial challenges and research perspectives
Proceedings of the First International Workshop on Software Engineering for Systems-of-Systems
A method for modeling of KPIs enabling validation of their properties
Proceedings of the 5th ACM SIGCHI Annual International Workshop on Behaviour Modelling - Foundations and Applications
A middleware framework for urban data management
Proceedings of the 2013 ACM conference on Pervasive and ubiquitous computing adjunct publication
Information and Software Technology
Tracing Links Between Business Processes and Software Systems
International Journal of Information Systems in the Service Sector
Runtime verification of service-oriented systems: a well-rounded survey
International Journal of Web and Grid Services
Countermeasure graphs for software security risk assessment: An action research
Journal of Systems and Software
E-CARe: A Process for Engineering Ubiquitous Information Systems
International Journal of Information System Modeling and Design
A preliminary study on requirements modeling methods for self-adaptive software systems
Proceedings of the 5th Asia-Pacific Symposium on Internetware
Investigating Goal-Oriented Requirements Engineering for Business Processes
Journal of Database Management
Trust-based specification of sociotechnical systems
Data & Knowledge Engineering
PWWM: a personal web workflow methodology
The Personal Web
A DEVS-based M&S method for large-scale multi-agent systems
Proceedings of the 2013 Summer Computer Simulation Conference
Supporting incremental behaviour model elaboration
Computer Science - Research and Development
Requirements-driven software evolution
Computer Science - Research and Development
Supporting incremental behaviour model elaboration
Computer Science - Research and Development
Requirements-driven deployment
Software and Systems Modeling (SoSyM)
Guiding requirements engineering for software-intensive embedded systems in the automotive industry
Computer Science - Research and Development
KBRE: a framework for knowledge-based requirements engineering
Software Quality Control
| Hi-index | 0.02 |