Language support for the specification and development of composite systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
The IFIP TC2/WG 2.1 Working Conference on Program specification and transformation
Statecharts: A visual formalism for complex systems
Science of Computer Programming
The synthesizer generator: a system for constructing language-based editors
The synthesizer generator: a system for constructing language-based editors
A proposed perspective shift: viewing specification design as a planning problem
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
Integrating multiple specifications using domain goals
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
Systematic software development using VDM (2nd ed.)
Systematic software development using VDM (2nd ed.)
The Requirements Apprentice: Automated Assistance for Requirements Acquisition
IEEE Transactions on Software Engineering
The temporal logic of reactive and concurrent systems
The temporal logic of reactive and concurrent systems
A model parametric real-time logic
ACM Transactions on Programming Languages and Systems (TOPLAS)
Knowledge Representation and Reasoning in the Design of Composite Systems
IEEE Transactions on Software Engineering - Special issue on knowledge representation and reasoning in software development
Representing and using nonfunctional requirements: a process-oriented approach
IEEE Transactions on Software Engineering - Special issue on knowledge representation and reasoning in software development
An introduction to formal specification and Z
An introduction to formal specification and Z
Software testing based on formal specifications: a theory and a tool
Software Engineering Journal
A formal language for the requirements engineering of computer systems
From natural language processing to logic for expert systems
Larch: languages and tools for formal specification
Larch: languages and tools for formal specification
Goal-directed requirements acquisition
6IWSSD Selected Papers of the Sixth International Workshop on Software Specification and Design
Aslantest: a symbolic execution tool for testing Aslan formal specifications
ISSTA '94 Proceedings of the 1994 ACM SIGSOFT international symposium on Software testing and analysis
Design patterns: elements of reusable object-oriented software
Design patterns: elements of reusable object-oriented software
Goal decomposition and scenario analysis in business process reengineering
CAiSE '94 Proceedings of the 6th international conference on Advanced information systems engineering
Signature matching: a tool for using software libraries
ACM Transactions on Software Engineering and Methodology (TOSEM)
Software requirements negotiation and renegotiation aids
Proceedings of the 17th international conference on Software engineering
Elements of style: analyzing a software design feature with a counterexample detector
ISSTA '96 Proceedings of the 1996 ACM SIGSOFT international symposium on Software testing and analysis
Formal Object-Oriented Development
Formal Object-Oriented Development
Specifying Message Passing and Time-Critical Systems with Temporal Logic
Specifying Message Passing and Time-Critical Systems with Temporal Logic
Software Prototyping, Formal Methods, and VDM
Software Prototyping, Formal Methods, and VDM
Readings in Knowledge Representation
Readings in Knowledge Representation
STACS '92 Proceedings of the 9th Annual Symposium on Theoretical Aspects of Computer Science
Classification of research efforts in requirements engineering
RE '95 Proceedings of the Second IEEE International Symposium on Requirements Engineering
Goal-directed elaboration of requirements for a meeting scheduler: problems and lessons learnt
RE '95 Proceedings of the Second IEEE International Symposium on Requirements Engineering
Analogical Reuse of Requirements Frameworks
RE '97 Proceedings of the 3rd IEEE International Symposium on Requirements Engineering
Operational specification as the basis for rapid prototyping
Proceedings of the workshop on Rapid prototyping
Problem-Solving Methods in Artificial Intelligence
Problem-Solving Methods in Artificial Intelligence
The design of a next-generation process language
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
Managing Conflicts in Goal-Driven 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
Patterns in property specifications for finite-state verification
Proceedings of the 21st international conference on 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
Handling Obstacles in Goal-Oriented Requirements Engineering
IEEE Transactions on Software Engineering - special section on current trends in exception handling—part II
PROPEL: an approach supporting property elucidation
Proceedings of the 24th International Conference on Software 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
Deriving operational software specifications from system goals
Proceedings of the 10th ACM SIGSOFT symposium on Foundations of software engineering
Deriving operational software specifications from system goals
ACM SIGSOFT Software Engineering Notes
How Culture Might Impact on the Implementation of Enterprise Resource Planning Packages
CAiSE '00 Proceedings of the 12th 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
Rethinking Process Guidance for Selecting Software Components
ICCBSS '02 Proceedings of the First International Conference on COTS-Based Software Systems
A Method for Requirements Elicitation and Formal Specification
ER '99 Proceedings of the 18th International Conference on Conceptual Modeling
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
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
Requirements interaction management
ACM Computing Surveys (CSUR)
Using XML to Build Consistency Rules for Distributed Specifications
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
Compositional Verification of a Multi-Agent System for One-to-Many Negotiation
Applied Intelligence
Theme: An Approach for Aspect-Oriented Analysis and Design
Proceedings of the 26th International Conference on Software Engineering
Elaborating Security Requirements by Construction of Intentional Anti-Models
Proceedings of the 26th International Conference on Software Engineering
Reasoning about partial goal satisfaction for requirements and design engineering
Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering
Object Analysis Patterns for Embedded Systems
IEEE Transactions on Software Engineering
Real-time specification patterns
Proceedings of the 27th international conference on Software engineering
Fluent-based web animation: exploring goals for requirements validation
Proceedings of the 27th 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
Architecture and Design Intent: An Experience Report
SHARK-ADI '07 Proceedings of the Second Workshop on SHAring and Reusing architectural Knowledge Architecture, Rationale, and Design Intent
Integrating B-SCP and MAP to manage the evolution of strategic IT requirements
Information and Software Technology
Deriving event-based transition systems from goal-oriented requirements models
Automated Software Engineering
Formal derivation of security design specifications from security requirements
Proceedings of the 4th annual workshop on Cyber security and information intelligence research: developing strategies to meet the cyber security and information intelligence challenges ahead
Can Patterns Improve i* Modeling? Two Exploratory Studies
REFSQ '08 Proceedings of the 14th international conference on Requirements Engineering: Foundation for Software Quality
A First Attempt to Express KAOS Refinement Patterns with Event B
ABZ '08 Proceedings of the 1st international conference on Abstract State Machines, B and Z
Requirements engineering: from craft to discipline
Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering
Requirements Engineering for Distributed Development Using Software Agents
ER '08 Proceedings of the ER 2008 Workshops (CMLSA, ECDM, FP-UML, M2AS, RIGiM, SeCoGIS, WISM) on Advances in Conceptual Modeling: Challenges and Opportunities
Original papers: Model-checking for adventure videogames
Information and Software Technology
The Name and Nature of Software Engineering
Advances in Software Engineering
Learning operational requirements from goal models
ICSE '09 Proceedings of the 31st International Conference on Software Engineering
Reasoning About Alternative Requirements Options
Conceptual Modeling: Foundations and Applications
Framework for Supporting Decision Making in Learning Management System Selection
Proceedings of the Symposium on Human Interface 2009 on Human Interface and the Management of Information. Information and Interaction. Part II: Held as part of HCI International 2009
A pattern-driven security advisor for service-oriented architectures
Proceedings of the 2009 ACM workshop on Secure web services
A core ontology for requirements
Applied Ontology
One Is Not Enough: A Hybrid Approach for IT Change Planning
DSOM '09 Proceedings of the 20th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management: Integrated Management of Systems, Services, Processes and People in IT
Goal-Based Service Creation Using Autonomic Entities
MACE '09 Proceedings of the 4th IEEE International Workshop on Modelling Autonomic Communications Environments
Achieving High-Level Directives Using Strategy-Trees
MACE '09 Proceedings of the 4th IEEE International Workshop on Modelling Autonomic Communications Environments
Supporting Reuse of Event-B Developments through Generic Instantiation
ICFEM '09 Proceedings of the 11th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Early Verification and Validation of Mission Critical Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Integration of behavioural requirements specification within compositional knowledge engineering
Knowledge-Based Systems
Allocating goals to agent roles during MAS requirements engineering
AOSE'06 Proceedings of the 7th international conference on Agent-oriented software engineering VII
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
Conceptual application domain modelling
APCCM '09 Proceedings of the Sixth Asia-Pacific Conference on Conceptual Modeling - Volume 96
Requirements modeling for embedded realtime systems
MBEERTS'07 Proceedings of the 2007 International Dagstuhl conference on Model-based engineering of embedded real-time systems
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
Quantifying requirements elaboration to improve early software cost estimation
Information Sciences: an International Journal
IMPULSE: a design framework for multi-agent systems based on model transformation
Proceedings of the 2011 ACM Symposium on Applied Computing
Proceedings of the 6th International Symposium on Software Engineering for Adaptive and Self-Managing Systems
Specification of interlevel relations for agent models in multiple abstraction dimensions
IEA/AIE'11 Proceedings of the 24th international conference on Industrial engineering and other applications of applied intelligent systems conference on Modern approaches in applied intelligence - Volume Part II
Automatic derivation of utility functions for monitoring software requirements
Proceedings of the 14th international conference on Model driven engineering languages and systems
Ontology-based policy refinement using SWRL rules for management information definitions in OWL
DSOM'06 Proceedings of the 17th IFIP/IEEE international conference on Distributed Systems: operations and management
Security requirements model for grid data management systems
CRITIS'06 Proceedings of the First international conference on Critical Information Infrastructures Security
On the refinement of use case models with variability support
Innovations in Systems and Software Engineering
Deriving architecture specifications from KAOS specifications: a research case study
EWSA'05 Proceedings of the 2nd European conference on Software Architecture
Discovering remote software services that satisfy requirements: patterns for query reformulation
CAiSE'06 Proceedings of the 18th international conference on Advanced Information Systems Engineering
Policy refinement: decomposition and operationalization for dynamic domains
Proceedings of the 7th International Conference on Network and Services Management
Deriving acceptance tests from goal requirements
MOZ'04 Proceedings of the Second international conference on Multiparadigm Programming in Mozart/Oz
Defining and decomposing safety policy for systems of systems
SAFECOMP'05 Proceedings of the 24th international conference on Computer Safety, Reliability, and Security
Analysis and verification of time requirements applied to the web services composition
WS-FM'06 Proceedings of the Third international conference on Web Services and Formal Methods
A formal template language enabling metaproof
FM'06 Proceedings of the 14th international conference on Formal Methods
A multi-perspective framework for organizational patterns
ER'06 Proceedings of the 25th international conference on Conceptual Modeling
Goal-Driven business process derivation
ICSOC'11 Proceedings of the 9th international conference on Service-Oriented Computing
Goal-Oriented design of domain control panels
DSVIS'05 Proceedings of the 12th international conference on Interactive Systems: design, specification, and verification
On constructing software environment ontology for time-continuous environment
KSEM'11 Proceedings of the 5th international conference on Knowledge Science, Engineering and Management
Automatically exploring how uncertainty impacts behavior of dynamically adaptive systems
ASE '11 Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering
Nonmonotonic reasoning and formal software development
IW-FM'97 Proceedings of the 1st Irish conference on Formal Methods
A formal security requirements model for a grid-based operating system
FACS-FMI'07 Proceedings of the 2007th internatioanal conference on Formal Methods in Industry
Using requirements engineering in an automatic security policy derivation process
DPM'11 Proceedings of the 6th international conference, and 4th international conference on Data Privacy Management and Autonomous Spontaneus Security
A temporal modelling environment for internally grounded beliefs, desires and intentions
Cognitive Systems Research
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
Position paper: towards a requirements-driven design of ensemble-based component systems
Proceedings of the 2013 international workshop on Hot topics in cloud services
Design of ensemble-based component systems by invariant refinement
Proceedings of the 16th International ACM Sigsoft symposium on Component-based software engineering
Supporting incremental behaviour model elaboration
Computer Science - Research and Development
Supporting incremental behaviour model elaboration
Computer Science - Research and Development
Hi-index | 0.00 |
Requirements engineering is concerned with the identification of high-level goals to be achieved by the system envisioned, the refinement of such goals, the operationalization of goals into services and constraints, and the assignment of responsibilities for the resulting requirements to agents such as humans, devices and programs. Goal refinement and operationalization is a complex process which is not well supported by current requirements engineering technology. Ideally some form of formal support should be provided, but formal methods are difficult and costly to apply at this stage.This paper presents an approach to goal refinement and operationalization which is aimed at providing constructive formal support while hiding the underlying mathematics. The principle is to reuse generic refinement patterns from a library structured according to strengthening/weakening relationships among patterns. The patterns are once for all proved correct and complete. They can be used for guiding the refinement process or for pointing out missing elements in a refinement. The cost inherent to the use of a formal method is thus reduced significantly. Tactics are proposed to the requirements engineer for grounding pattern selection on semantic criteria.The approach is discussed in the context of the multi-paradigm language used in the KAOS method; this language has an external semantic net layer for capturing goals, constraints, agents, objects and actions together with their links, and an inner formal assertion layer that includes a real-time temporal logic for the specification of goals and constraints. Some frequent refinement patterns are high-lighted and illustrated through a variety of examples.The general principle is somewhat similar in spirit to the increasingly popular idea of design patterns, although it is grounded on a formal framework here.