Communicating sequential processes
Communicating sequential processes
Language support for the specification and development of composite systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
Local formalisms: widening the spectrum of wide-spectrum languages
The IFIP TC2/WG 2.1 Working Conference on Program specification and transformation
Software processes are software too
ICSE '87 Proceedings of the 9th international conference on Software Engineering
Constructing Specifications by Combining Parallel Elaborations
IEEE Transactions on Software Engineering
The Z notation: a reference manual
The Z notation: a reference manual
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
A mechanism for environment integration
ACM Transactions on Programming Languages and Systems (TOPLAS)
An Ontological Model of an Information System
IEEE Transactions on Software Engineering
Interoperability of multiple autonomous databases
ACM Computing Surveys (CSUR) - Special issue on heterogeneous databases
The DAMOKLES database system for design applications: its past, its present, and its future
Proceedings of the fourth conference on Software engineering environments: research and practice
Tool integration in software engineering environments
Proceedings of the international workshop on environments on Software engineering environments
Typing in an object management system (OMS)
Proceedings of the international workshop on environments on Software engineering environments
A configurable framework for method and tool integration
Proceedings of the European symposium on Software development environments and CASE technology
Requirements Validation Through Viewpoint Resolution
IEEE Transactions on Software Engineering
A visual software process language
Communications of the ACM
Object-oriented modeling and design
Object-oriented modeling and design
Supporting cooperation in the Marvel process-centered SDE
SDE 5 Proceedings of the fifth ACM SIGSOFT symposium on Software development environments
Goal-directed requirements acquisition
6IWSSD Selected Papers of the Sixth International Workshop on Software Specification and Design
ACM Transactions on Software Engineering and Methodology (TOSEM)
Viewpoints for requirements definition
Software Engineering Journal
Object-oriented development: the fusion method
Object-oriented development: the fusion method
Software process modelling and technology
Software process modelling and technology
ICSE '91 Proceedings of the 13th international conference on Software engineering
A Compositional Approach to Multiparadigm Programming
IEEE Software
Process Integration in CASE Environments
IEEE Software
Strategies for Integrating CASE Environments
IEEE Software
Inconsistency Handling in Multiperspective Specifications
IEEE Transactions 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
A Pluralistic Knowledge-Based Approach to Software Specification
ESEC '89 Proceedings of the 2nd European Software Engineering Conference
An Agenda for Research in Large-Scale Distributed Data Repositories
Proceedings of the International Workshop on Operating Systems of the 90s and Beyond
Distributed Systems: Methods and Tools for Specification, An Advanced Course, April 3-12, 1984 and April 16-25, 1985 Munich
CORE - a method for controlled requirement specification
ICSE '79 Proceedings of the 4th international conference on Software engineering
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 model for composite system design
IWSSD '91 Proceedings of the 6th international workshop on Software specification and design
Reuse-oriented requirements engineering in NATURE
ACM SIGSOFT Software Engineering Notes
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
Multiple view analysis of designs
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
Automated assistance for conflict resolution in multiple perspective systems analysis and operation
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 approach to conceptual feedback in multiple viewed software requirements modeling
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 module concept for ViewPoints
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
Introducing formal specification methods in industrial practice
ICSE '97 Proceedings of the 19th international conference on Software engineering
A meta-model for restructuring stakeholder requirements
ICSE '97 Proceedings of the 19th international conference on Software engineering
Classification of research efforts in requirements engineering
ACM Computing Surveys (CSUR)
Managing Conflicts in Goal-Driven Requirements Engineering
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
Inferring Declarative Requirements Specifications from Operational Scenarios
IEEE Transactions on Software Engineering
The use of goals to surface requirements for evolving systems
Proceedings of the 20th international conference on Software engineering
Consistency management for complex applications
Proceedings of the 20th international conference on Software engineering
N degrees of separation: multi-dimensional separation of concerns
Proceedings of the 21st international conference on Software engineering
Managing Process Inconsistency Using Viewpoints
IEEE Transactions on Software Engineering
Managing Requirements Inconsistency with Development Goal Monitors
IEEE Transactions on Software Engineering
Requirements engineering: 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
Software engineering tools and environments: 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
Workshop on multi-dimensional separation of concerns in software engineering (workshop session)
Proceedings of the 22nd international conference on Software engineering
PIROL: a case study for multidimensional separation of concerns in software engineering environments
OOPSLA '00 Proceedings of the 15th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Violatility analysis framework for product lines
SSR '01 Proceedings of the 2001 symposium on Software reusability: putting software reuse in context
Using multidimensional separation of concerns to (re)shape evolving software
Communications of the ACM
Workshop on multi-dimensional separation of concerns in software engineering
ACM SIGSOFT Software Engineering Notes
Proxy Viewpoints Model-based Requirements engineering
Proceedings of the 2002 ACM symposium on Applied computing
Requirements, domain and specifications: a viewpoint-based approach to requirements engineering
Proceedings of the 24th International Conference on Software Engineering
Proceedings of the 24th International Conference on Software Engineering
Viewpoints: principles, problems and a practical approach to requirements engineering
Annals of Software Engineering
Reconciling requirements: a method for managing interference, inconsistency and conflict
Annals of Software Engineering
Enterprise Modeling and Decision-Support for Automating the Business Rules Lifecycle
Automated Software Engineering
Software requirements validation via task analysis
Journal of Systems and Software
New Approach to Requirements Trade-Off Analysis for Complex Systems
IEEE Transactions on Knowledge and Data Engineering
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
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
Viewpoints for Requirements Elicitation: A Practical Approach
ICRE '98 Proceedings of the 3rd International Conference on Requirements Engineering: Putting Requirements Engineering to Practice
A Framework for Scenario Evolution
ICRE '98 Proceedings of the 3rd International Conference on Requirements Engineering: Putting Requirements Engineering to Practice
Feature Interaction and Dependencies: Modeling Features for Reengineering a Legacy Product Line
SPLC 2 Proceedings of the Second International Conference on Software Product Lines
Soft-Ware 2002 Proceedings of the First International Conference on Computing in an Imperfect World
Building Formal Requirements Models for Reliable Software
Ada Europe '01 Proceedings of the 6th Ade-Europe International Conference Leuven on Reliable Software Technologies
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
Controlling Requirements Evolution: An Avionics Case Study
SAFECOMP '00 Proceedings of the 19th International Conference on Computer Safety, Reliability and Security
IFM '02 Proceedings of the Third International Conference on Integrated Formal Methods
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
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)
Automatic Generation of Formal Specification from Requirements Definition
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
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
A computational mechanism for parallel problem decomposition during requirements engineering
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
Analysis of cultural conflict in the development of web-enabled information systems
E-commerce and cultural values
An approach for supporting aspect-oriented domain modeling
Proceedings of the 2nd international conference on Generative programming and component engineering
Bridging models across the software lifecycle
Journal of Systems and Software - Special issue: Best papers on Software Engineering from the SEKE'01 Conference
Small-Scale Classification Schemes: A Field Study of Requirements Engineering
Computer Supported Cooperative Work
Missing requirements and relationship discovery through proxy viewpoints model
Proceedings of the 2004 ACM symposium on Applied computing
Proceedings of the 3rd international conference on Aspect-oriented software development
A Methodological Framework for Viewpoint-Oriented Conceptual Modeling
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
A domain equation for refinement of partial systems
Mathematical Structures in Computer Science
Mathematics for the exploration of requirements
ACM SIGCSE Bulletin
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
Reconstructing requirements coverage views from design and test using traceability recovery via LSI
TEFSE '05 Proceedings of the 3rd international workshop on Traceability in emerging forms of software engineering
A framework for distributed collaborative conceptual model development
Companion to the 22nd ACM SIGPLAN conference on Object-oriented programming systems and applications companion
Information and Software Technology
e-Business cases assessment: from business value to system feasibility
International Journal of Web Engineering and Technology
International Journal of Metadata, Semantics and Ontologies
Consistency in multi-viewpoint design of enterprise information systems
Information and Software Technology
Model eco-systems: preliminary work
APCCM '08 Proceedings of the fifth Asia-Pacific conference on Conceptual Modelling - Volume 79
Business strategy-IT alignment in a multi-actor setting: a mobile e-service case
Proceedings of the 10th international conference on Electronic commerce
On model checking multiple hybrid views
Theoretical Computer Science
Towards Engineering Purposeful Systems: A Requirements Engineering Perspective
DEXA '08 Proceedings of the 19th international conference on Database and Expert Systems Applications
An industrial case study in reconstructing requirements views
Empirical Software Engineering
A Case for ViewPoints and Documents
Innovations for Requirement Analysis. From Stakeholders' Needs to Formal Designs
Generic middleware substrate through modelware
Proceedings of the ACM/IFIP/USENIX 2005 International Conference on Middleware
Journal of Systems and Software
Quantitative assessment of enterprise resource planning software customisation
International Journal of Information Systems and Change Management
Composing Models for Detecting Inconsistencies: A Requirements Engineering Perspective
REFSQ '09 Proceedings of the 15th International Working Conference on Requirements Engineering: Foundation for Software Quality
Using Macromodels to Manage Collections of Related Models
CAiSE '09 Proceedings of the 21st International Conference on Advanced Information Systems Engineering
Improving Model Quality Using Diagram Coverage Criteria
CAiSE '09 Proceedings of the 21st International Conference on Advanced Information Systems Engineering
Heterogeneity in Model Management: A Meta Modeling Approach
Conceptual Modeling: Foundations and Applications
Runtime monitoring of cross-cutting policy
EA '09 Proceedings of the 2009 ICSE Workshop on Aspect-Oriented Requirements Engineering and Architecture Design
Managing Models through Macromodeling
ASE '08 Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated Software Engineering
Consistent Partial Model Checking
Electronic Notes in Theoretical Computer Science (ENTCS)
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 viewpoint-based framework for discussing the use of multiple modelling representations
ER'00 Proceedings of the 19th international conference on Conceptual modeling
The viewpoint abstraction in object-oriented modeling and the UML
ER'00 Proceedings of the 19th international conference on Conceptual modeling
Using aspects in architectural description
Proceedings of the 10th international conference on Early aspects: current challenges and future directions
Metamodelling with datalog and classes: conceptbase at the age of 21
ICOODB'09 Proceedings of the Second international conference on Object databases
A NUI based multiple perspective variability modeling case tool
ECSA'10 Proceedings of the 4th European conference on Software architecture
The model role level: a vision
ER'10 Proceedings of the 29th international conference on Conceptual modeling
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)
Information and Software Technology
Requirements engineering for embedded systems: an investigation of industry needs
REFSQ'11 Proceedings of the 17th international working conference on Requirements engineering: foundation for software quality
Perceived consistency between process models
Information Systems
An application of uncertain reasoning to requirements engineering
UAI'99 Proceedings of the Fifteenth conference on Uncertainty in artificial intelligence
Business process model abstraction: a definition, catalog, and survey
Distributed and Parallel Databases
Architectural aspects of architectural aspects
EWSA'05 Proceedings of the 2nd European conference on Software Architecture
Managing variability using heterogeneous feature variation patterns
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
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
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
Directives for composing aspect-oriented design class models
Transactions on Aspect-Oriented Software Development I
Generic middleware substrate through modelware
Middleware'05 Proceedings of the ACM/IFIP/USENIX 6th international conference on Middleware
Propagating changes between aligned process models
Journal of Systems and Software
Integrated privacy modeling and validation for business process models
Proceedings of the 2012 Joint EDBT/ICDT Workshops
Managing related models in vehicle control software development
MODELS'12 Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems
PLANT: A pattern language for transforming scenarios into requirements models
International Journal of Human-Computer Studies
Hi-index | 0.02 |
Composite systems are generally comprised of heterogeneous components whose specifications are developed by many development participants. The requirements of such systems are invariably elicited from multiple perspectives that overlap, complement, and contradict each other. Furthermore, these requirements are generally developed and specified using multiple methods and notations, respectively. It is therefore necessary to express and check the relationships between the resultant specification fragments. We deploy multiple ViewPoints that hold partial requirements specifications, described and developed using different representation schemes and development strategies. We discuss the notion of inter-ViewPoint communication in the context of this ViewPoints framework, and propose a general model for ViewPoint interaction and integration. We elaborate on some of the requirements for expressing and enacting inter-ViewPoint relationships-the vehicles for consistency checking and inconsistency management. Finally, though we use simple fragments of the requirements specification method CORE to illustrate various components of our work, we also outline a number of larger case studies that we have used to validate our framework. Our computer-based ViewPoints support environment, The Viewer, is also briefly described.