Quantifier structure in search based procedures for QBFs
Proceedings of the conference on Design, automation and test in Europe: Proceedings
Formal analysis of hardware requirements
Proceedings of the 43rd annual Design Automation Conference
Modeling mental states in the analysis of multiagent systems requirements
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Modeling Delegation through an i*-based Approach
IAT '06 Proceedings of the IEEE/WIC/ACM international conference on Intelligent Agent Technology
Integrating visual goal models into the Rational Unified Process
Journal of Visual Languages and Computing
A high-level requirements engineering methodology for electronic system-level design
Computers and Electrical Engineering
Computer-aided Support for Secure Tropos
Automated Software Engineering
High variability design for software agents: Extending Tropos
ACM Transactions on Autonomous and Adaptive Systems (TAAS)
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
Semantic parameterization: A process for modeling domain descriptions
ACM Transactions on Software Engineering and Methodology (TOSEM)
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
Towards a Catalogue of Patterns for Defining Metrics over i* Models
CAiSE '08 Proceedings of the 20th international conference on Advanced Information Systems Engineering
Computational Logic in Multi-Agent Systems
Mapping semantically enriched Formal Tropos to business process models
Proceedings of the 2009 ACM symposium on Applied Computing
Using three AOSE toolkits to develop a sample design
International Journal of Agent-Oriented Software Engineering
Modelling Actor Evolution in Agent-Based Simulations
Organized Adaption in Multi-Agent Systems
Conceptual Modeling: Foundations and Applications
Conceptual Modeling: Foundations and Applications
Goal-oriented testing for MASs
International Journal of Agent-Oriented Software Engineering
Requirements-Driven Collaborative Choreography Customization
ICSOC-ServiceWave '09 Proceedings of the 7th International Joint Conference on Service-Oriented Computing
Requirements-Driven Verification of Web Services
Electronic Notes in Theoretical Computer Science (ENTCS)
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
Automated analysis of compositional multi-agent systems
International Journal of Agent-Oriented Software Engineering
Achieving, satisficing, and excelling
ER'07 Proceedings of the 2007 conference on Advances in conceptual modeling: foundations and applications
Comparing three formal analysis approaches of the tropos family
AOIS'06 Proceedings of the 8th international Bi conference on Agent-oriented information systems IV
A goal-oriented software testing methodology
AOSE'07 Proceedings of the 8th international conference on Agent-oriented software engineering VIII
Tool-supported development with Tropos: the conference management system case study
AOSE'07 Proceedings of the 8th international conference on Agent-oriented software engineering VIII
A Meta-Model for Modelling Law-Compliant Requirements
RELAW '09 Proceedings of the 2009 Second International Workshop on Requirements Engineering and Law
Analyzing agent-based simulations of inter-organizational networks
ADMI'10 Proceedings of the 6th international conference on Agents and data mining interaction
Towards interoperability of i* models using iStarML
Computer Standards & Interfaces
Formal methods in agent-oriented software engineering
AOSE'10 Proceedings of the 10th international conference on Agent-oriented software engineering
Agent-based execution of personalised home care treatments
Applied Intelligence
Deriving business processes with service level agreements from early requirements
Journal of Systems and Software
Autonomous Agents and Multi-Agent Systems
Formalizing requirements with object models and temporal constraints
Software and Systems Modeling (SoSyM)
Managing multi-jurisdictional requirements in the cloud: towards a computational legal landscape
Proceedings of the 3rd ACM workshop on Cloud computing security workshop
Agent-based prototyping of web-based systems
IEA/AIE'06 Proceedings of the 19th international conference on Advances in Applied Artificial Intelligence: industrial, Engineering and Other Applications of Applied Intelligent Systems
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
Combining i* and BPMN for business process model lifecycle management
BPM'06 Proceedings of the 2006 international conference on Business Process Management Workshops
XCM: conceptual modeling for dynamic domains
ER'05 Proceedings of the 24th international conference on Conceptual Modeling
A multi-perspective framework for organizational patterns
ER'06 Proceedings of the 25th international conference on Conceptual Modeling
Goal-Oriented design of domain control panels
DSVIS'05 Proceedings of the 12th international conference on Interactive Systems: design, specification, and verification
Towards design engineering of ubiquitous information systems
DESRIST'12 Proceedings of the 7th international conference on Design Science Research in Information Systems: advances in theory and practice
REInDetector: a framework for knowledge-based requirements engineering
Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering
Validation of requirements for hybrid systems: A formal approach
ACM Transactions on Software Engineering and Methodology (TOSEM)
Maintaining motivation models (in BMM) in the context of a (WSDL-S) service landscape
ICSOC'12 Proceedings of the 10th international conference on Service-Oriented Computing
Regulatory requirements traceability and analysis using semi-formal specifications
REFSQ'13 Proceedings of the 19th international conference on Requirements Engineering: Foundation for Software Quality
Investigating Goal-Oriented Requirements Engineering for Business Processes
Journal of Database Management
PWWM: a personal web workflow methodology
The Personal Web
KBRE: a framework for knowledge-based requirements engineering
Software Quality Control
Hi-index | 0.00 |
We present a framework that supports the formal verification of early requirements specifications. The framework is based on Formal Tropos, a specification language that adopts primitive concepts for modeling early requirements (such as actor, goal, and strategic dependency), along with a rich temporal specification language. We show how existing formal analysis techniques, and in particular model checking, can be adapted for the automatic verification of Formal Tropos specifications. These techniques have been implemented in a tool, called the T-Tool, that maps Formal Tropos specifications into a language that can be handled by the NuSMV model checker. Finally, we evaluate our methodology on a course-exam management case study. Our experiments show that formal analysis reveals gaps and inconsistencies in early requirements specifications that are by no means trivial to discover without the help of formal analysis tools.