A graphical, extensible integrated environment for software development
SDE 2 Proceedings of the second ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
Paraconsistent logic programming
Theoretical Computer Science
METATEM: a framework for programming in temporal logic
REX workshop Proceedings on Stepwise refinement of distributed systems: models, formalisms, correctness
Specification-level interoperability
Communications of the ACM - Special issue on software engineering
Tool integration in software engineering environments
Proceedings of the international workshop on environments on Software engineering environments
VSF and its relationship to open systems and standard repositories
Proceedings of the European symposium on Software development environments and CASE technology
A configurable framework for method and tool integration
Proceedings of the European symposium on Software development environments and CASE technology
Information systems development using a combination of process and rule based approaches
CAiSE '91 Proceedings of the third international conference on Advanced information systems engineering
“Lazy” consistency: a basis for cooperative software development
CSCW '92 Proceedings of the 1992 ACM conference on Computer-supported cooperative work
ACM Transactions on Software Engineering and Methodology (TOSEM)
Software process modelling and technology
Software process modelling and technology
ICSE '91 Proceedings of the 13th international conference on Software engineering
Expressing the relationships between multiple views in requirements specification
ICSE '93 Proceedings of the 15th international conference on Software Engineering
Making inconsistency respectable: a logical framework for inconsistency in reasoning
FAIR '91 Proceedings of the International Workshop on Fundamentals of Artificial Intelligence Research
CASE Support for the Software Process: A Research Viewpoint
ESEC '91 Proceedings of the 3rd European Software Engineering Conference
Making Inconsistency Respectable: Part 2 - Meta-level handling of inconsistency
ECSQARU '93 Proceedings of the European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty
Distributed Systems: Methods and Tools for Specification, An Advanced Course, April 3-12, 1984 and April 16-25, 1985 Munich
The Declarative Past and Imperative Future: Executable Temporal Logic for Interactive Systems
Temporal Logic in Specification
IWSSD '93 Proceedings of the 7th international workshop on Software specification and design
A system for multiparadigm development of software systems
IWSSD '91 Proceedings of the 6th international workshop on Software specification and design
A Framework for Expressing the Relationships Between Multiple Views in Requirements Specification
IEEE Transactions on Software Engineering
Decentralised process enactment in a multi-perspective development environment
Proceedings of the 17th international conference on Software engineering
OPSIS: a view mechanism for software processes which supports their evolution and reuse
Proceedings of the 18th international conference on Software engineering
An analytic framework for specifying and analyzing imprecise requirements
Proceedings of the 18th international conference on Software engineering
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
Towards a framework for managing inconsistency between multiple views
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
Solving conflicts produces new contexts
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
About views for modeling software processes in a role-specific manner
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
Integrating information requirements along processes: a survey and research directions
ACM SIGSOFT Software Engineering Notes
Experiences Using Lightweight Formal Methods for Requirements Modeling
IEEE Transactions on Software Engineering
Inconsistency Management for Multiple-View Software Development Environments
IEEE Transactions on Software Engineering
Managing inconsistent specifications: reasoning, analysis, and action
ACM Transactions on Software Engineering and Methodology (TOSEM)
Requirements Elicitation and Validation with Real World Scenes
IEEE Transactions on Software Engineering
intelligence
Consistency checking for multiple view software architectures
ESEC/FSE-7 Proceedings of the 7th European software engineering conference held jointly with the 7th ACM SIGSOFT international symposium on Foundations of software engineering
PRIME—toward process-integrated modeling environments: 1
ACM Transactions on Software Engineering and Methodology (TOSEM)
IEEE Transactions on Software Engineering
Composing features and resolving interactions
SIGSOFT '00/FSE-8 Proceedings of the 8th ACM SIGSOFT international symposium on Foundations of software engineering: twenty-first century applications
A framework for multi-valued reasoning over inconsistent viewpoints
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
xlinkit: a consistency checking and smart link generation service
ACM Transactions on Internet Technology (TOIT)
Formal methods for distributed processing
Reconciling requirements: a method for managing interference, inconsistency and conflict
Annals of Software Engineering
Overlaps in Requirements Engineering
Automated Software Engineering
Enterprise Modeling and Decision-Support for Automating the Business Rules Lifecycle
Automated Software Engineering
Development of new telecommunications services using an expert system
BT Technology Journal
IEEE Transactions on Software Engineering
Restructuring Requirements Specifications For Managing Inconsistency And Change: A Case Study
ICRE '98 Proceedings of the 3rd International Conference on Requirements Engineering: Putting Requirements Engineering to Practice
ICCS '99 Proceedings of the 7th International Conference on Conceptual Structures: Standards and Practices
Domain Analysis and Queries in Context
NLDB '00 Proceedings of the 5th International Conference on Applications of Natural Language to Information Systems-Revised Papers
Soft-Ware 2002 Proceedings of the First International Conference on Computing in an Imperfect World
Consistency Management of Financial XML Documents
CAiSE '01 Proceedings of the 13th International Conference on Advanced Information Systems Engineering
A Combined Graph Schema and Graph Grammar Approach to Consistency in Distributed Data Modeling
AGTIVE '99 Proceedings of the International Workshop on Applications of Graph Transformations with Industrial Relevance
Handling Inconsistencies in Z Using Quasi-Classical Logic
ZB '02 Proceedings of the 2nd International Conference of B and Z Users on Formal Specification and Development in Z and B
A Foolish Consistency: Technical Challenges in Consistency Management
DEXA '00 Proceedings of the 11th International Conference on Database and Expert Systems Applications
Journal of Systems and Software
ViewPoints: meaningful relationships are difficult!
Proceedings of the 25th International Conference on Software Engineering
A Detecting and Interpreting Method of the Inconsistency of Software Requirements Specifications
APSEC '99 Proceedings of the Sixth Asia Pacific Software Engineering Conference
STAR: A CASE Tool for Requirement Engineering
ASSET '98 Proceedings of the 1998 IEEE Workshop on Application - Specific Software Engineering and Technology
Support for collaborative, integrated software development
SEE '95 Proceedings of the 1995 Software Engineering Environment Conferences
ACM Transactions on Software Engineering and Methodology (TOSEM)
A Formal Basis for Consistency, Evolution and Rationale Management in Requirements Engineering
ICTAI '99 Proceedings of the 11th IEEE International Conference on Tools with Artificial Intelligence
Testing Nondeterminate Systems
ISSRE '00 Proceedings of the 11th International Symposium on Software Reliability Engineering
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
Using XML to Build Consistency Rules for Distributed Specifications
IWSSD '00 Proceedings of the 10th International Workshop on Software Specification and Design
Requirements Elicitation Driven by Interviews: The Use of Viewpoints
IWSSD '96 Proceedings of the 8th International Workshop on Software Specification and Design
To Be and Not to Be: On Managing Inconsistency in Software Development
IWSSD '96 Proceedings of the 8th International Workshop on Software Specification and Design
V & V through Inconsistency Tracking and Analysis
IWSSD '98 Proceedings of the 9th international workshop on Software specification and design
On the Consequences of Acting in the Presence of Inconsistency
IWSSD '98 Proceedings of the 9th international workshop on Software specification and design
Automated Check of Architectural Models Consistency Using SPIN
Proceedings of the 16th IEEE international conference on Automated software engineering
Knowledge Base Approach to Consistency Management of UML Specifications
Proceedings of the 16th IEEE international conference on Automated software engineering
Static Consistency Checking for Distributed Specifications
Proceedings of the 16th IEEE international conference on Automated software engineering
Information management
Reasoning with inconsistency in structured text
The Knowledge Engineering Review
Meta-knowledge in systems design: panacea … or undelivered promise?
The Knowledge Engineering Review
Argument-based applications to knowledge engineering
The Knowledge Engineering Review
Knowledge maintenance: the state of the art
The Knowledge Engineering Review
Systematic Reliability Analysis of a Class of Application-Specific Embedded Software Frameworks
IEEE Transactions on Software Engineering
χ-SCTL/MUS: A Formal Methodology to Evolve Multi-Perspective Software Requirements Specifications
Proceedings of the 26th International Conference on Software Engineering
Desires, Norms and Constraints
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 2
Reasoning about inconsistencies in natural language requirements
ACM Transactions on Software Engineering and Methodology (TOSEM)
Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering
Formal support for merging and negotiation
Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering
On the Systematic Analysis of Natural Language Requirements with CIRCE
Automated Software Engineering
Instant consistency checking for the UML
Proceedings of the 28th international conference on Software engineering
Proceedings of the 28th international conference on Software engineering
Improving the quality of UML models in practice
Proceedings of the 28th international conference on Software engineering
Formalization of the RM-ODP foundations based on the Triune Continuum Paradigm
Computer Standards & Interfaces
Requirements Reconciliation Using A Computer Supported Collaborative Approach
Journal of Integrated Design & Process Science - Computer Supported Cooperative Work In Design
Metamodel-based model conformance and multiview consistency checking
ACM Transactions on Software Engineering and Methodology (TOSEM)
Support for Managing Design-Time Decisions
IEEE Transactions on Software Engineering
Hidden Implementation Dependencies in High Assurance and Critical Computing Systems
IEEE Transactions on Software Engineering
Software Design and Architecture The once and future focus of software engineering
FOSE '07 2007 Future of Software Engineering
Information and Software Technology
Analysing inconsistent first-order knowledgebases
Artificial Intelligence
Consistency between geometric and dynamic views of a mechanical system
Proceedings of the 2007 Summer Computer Simulation Conference
Consistency in multi-viewpoint design of enterprise information systems
Information and Software Technology
Compliance Flow - Managing the compliance of dynamic and complex processes
Knowledge-Based Systems
Detecting model inconsistency through operation-based model construction
Proceedings of the 30th international conference on Software engineering
Model eco-systems: preliminary work
APCCM '08 Proceedings of the fifth Asia-Pacific conference on Conceptual Modelling - Volume 79
Identifying Acceptable Common Proposals for Handling Inconsistent Software Requirements
FORTE '07 Proceedings of the 27th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Second International Workshop on Multi-Paradigm Modeling: Concepts and Tools
Models in Software Engineering
A Rich Services Approach to CoCoME
The Common Component Modeling Example
Modelling and analysing interoperability in service compositions using COSMO
Enterprise Information Systems - Challenges and Solutions in Enterprise Computing - 11th International IEEE EDOC Conference (EDOC 2007)
A scoped approach to traceability management
Journal of Systems and Software
A Landscape of Bidirectional Model Transformations
Generative and Transformational Techniques in Software Engineering II
Journal of Systems and Software
Relationship-based change propagation: A case study
MISE '09 Proceedings of the 2009 ICSE Workshop on Modeling in Software Engineering
Incremental Detection of Model Inconsistencies Based on Model Operations
CAiSE '09 Proceedings of the 21st International Conference on Advanced Information Systems Engineering
Supporting automatic model inconsistency fixing
Proceedings of the the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
Practical first-order argumentation
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 2
Generating and Evaluating Choices for Fixing Inconsistencies in UML Design Models
ASE '08 Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated Software Engineering
Model Checking Temporal Aspects of Inconsistent Concurrent Systems Based on Paraconsistent Logic
Electronic Notes in Theoretical Computer Science (ENTCS)
Knowledge and Information Systems
Detecting implied scenarios analyzing non-local branching choices
FASE'03 Proceedings of the 6th international conference on Fundamental approaches to software engineering
A merging-based approach to handling inconsistency in locally prioritized software requirements
KSEM'07 Proceedings of the 2nd international conference on Knowledge science, engineering and management
Proceedings of the ACM international conference on Object oriented programming systems languages and applications
Concurrent modeling in early phases of the software development life cycle
CRIWG'10 Proceedings of the 16th international conference on Collaboration and technology
Information and Software Technology
Exploring inconsistencies between modal transition systems
Software and Systems Modeling (SoSyM)
Semantics of trace relations in requirements models for consistency checking and inferencing
Software and Systems Modeling (SoSyM)
A semantically rich approach for collaborative model edition
Proceedings of the 2011 ACM Symposium on Applied Computing
Techniques for merging views of software processes
Graph transformations and model-driven engineering
An agent-oriented approach to change propagation in software maintenance
Autonomous Agents and Multi-Agent Systems
Perceived consistency between process models
Information Systems
Business process model abstraction: a definition, catalog, and survey
Distributed and Parallel Databases
Detecting inconsistencies in multi-view models with variability
ECMFA'10 Proceedings of the 6th European conference on Modelling Foundations and Applications
Coping with variability in model-based systems engineering: an experience in green energy
ECMFA'10 Proceedings of the 6th European conference on Modelling Foundations and Applications
Finding a path to model consistency
ECMDA-FA'06 Proceedings of the Second European conference on Model Driven Architecture: foundations and Applications
An approach to generating proposals for handling inconsistent software requirements
KSEM'11 Proceedings of the 5th international conference on Knowledge Science, Engineering and Management
Propagating changes between aligned process models
Journal of Systems and Software
2FACS'97 Proceedings of the 2nd BCS-FACS conference on Northern Formal Methods
Towards evolution of generic variability models
MODELS'11 Proceedings of the 2011th international conference on Models in Software Engineering
Controversy Corner: Towards automated traceability maintenance
Journal of Systems and Software
Improving inconsistency resolution with side-effect evaluation and costs
MODELS'07 Proceedings of the 10th international conference on Model Driven Engineering Languages and Systems
From inconsistency handling to non-canonical requirements management: A logical perspective
International Journal of Approximate Reasoning
From ODP viewpoint consistency to Integrated Formal Methods
Computer Standards & Interfaces
Turning Conflicts into Collaboration
Computer Supported Cooperative Work
Obsolete software requirements
Information and Software Technology
Debugging of inconsistent UML/OCL models
DATE '12 Proceedings of the Conference on Design, Automation and Test in Europe
Enforcement of conceptual schema quality issues in current integrated development environments
CAiSE'13 Proceedings of the 25th international conference on Advanced Information Systems Engineering
Proceedings of the Eleventh ACM International Conference on Embedded Software
Guiding requirements engineering for software-intensive embedded systems in the automotive industry
Computer Science - Research and Development
Hi-index | 0.00 |
The development of most large and complex systems necessarily involves many people-each with their own perspectives on the system defined by their knowledge, responsibilities, and commitments. To address this we have advocated distributed development of specifications from multiple perspectives. However, this leads to problems of identifying and handling inconsistencies between such perspectives. Maintaining absolute consistency is not always possible. Often this is not even desirable since this can unnecessarily constrain the development process, and can lead to the loss of important information. Indeed since the real-world forces us to work with inconsistencies, we should formalize some of the usually informal or extra-logical ways of responding to them. This is not necessarily done by eradicating inconsistencies but rather by supplying logical rules specifying how we should act on them. To achieve this, we combine two lines of existing research: the ViewPoints framework for perspective development, interaction and organization, and a logic-based approach to inconsistency handling. This paper presents our technique for inconsistency handling in the ViewPoints framework by using simple examples.