GALILEO: a strongly-typed, interactive conceptual language
ACM Transactions on Database Systems (TODS)
Language features for flexible handling of exceptions in information systems
ACM Transactions on Database Systems (TODS)
Modeling class hierarchies with contradictions
SIGMOD '88 Proceedings of the 1988 ACM SIGMOD international conference on Management of data
Deriving specifications from requirements
ICSE '88 Proceedings of the 10th international conference on Software engineering
A language facility for designing database-intensive applications
ACM Transactions on Database Systems (TODS)
A Discipline of Programming
Split-Transactions for Open-Ended Activities
VLDB '88 Proceedings of the 14th International Conference on Very Large Data Bases
“Lazy” consistency: a basis for cooperative software development
CSCW '92 Proceedings of the 1992 ACM conference on Computer-supported cooperative work
Supporting exploratory CSCW with the EGRET framework
CSCW '92 Proceedings of the 1992 ACM conference on Computer-supported cooperative work
An architecture for multi-user software development environments
SDE 5 Proceedings of the fifth ACM SIGSOFT symposium on Software development environments
PARDES: a data-driven oriented active database model
ACM SIGMOD Record
Emerging technologies that support a software process life cycle
IBM Systems Journal
A Framework for Expressing the Relationships Between Multiple Views in Requirements Specification
IEEE Transactions on Software Engineering
APPL/A: a language for software process programming
ACM Transactions on Software Engineering and Methodology (TOSEM)
Decentralised process enactment in a multi-perspective development environment
Proceedings of the 17th international conference on Software engineering
How to deal with deviations during process model enactment
Proceedings of the 17th international conference on Software engineering
A framework for formalizing inconsistencies and deviations in human-centered systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
Modularized exception handling
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 bi-level language for software process modeling
ICSE '93 Proceedings of the 15th international conference on Software Engineering
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 inconsistent specifications: reasoning, analysis, and action
ACM Transactions on Software Engineering and Methodology (TOSEM)
Consistency management for complex applications
Proceedings of the 20th international conference on Software engineering
Proceedings of the Conference on The Future of Software Engineering
Handling of Irregularities in Human Centered Systems: A Unified Framework for Data and Processes
IEEE Transactions on Software Engineering - special section on current trends in exception handling—part II
A framework for multi-valued reasoning over inconsistent viewpoints
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
2nd international workshop on living with inconsistency
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
2nd international workshop on living with inconsistency (IWLWI01)
ACM SIGSOFT Software Engineering Notes
xlinkit: a consistency checking and smart link generation service
ACM Transactions on Internet Technology (TOIT)
A representation for describing and analyzing concerns in source code
Proceedings of the 24th International Conference on Software Engineering
Enterprise Modeling and Decision-Support for Automating the Business Rules Lifecycle
Automated Software Engineering
Inconsistency Handling in Multiperspective Specifications
IEEE Transactions on Software Engineering
Domain Analysis and Queries in Context
NLDB '00 Proceedings of the 5th International Conference on Applications of Natural Language to Information Systems-Revised Papers
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
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
An Approach to Preserving Sufficient Correctness in Open Resource Coalitions
IWSSD '00 Proceedings of the 10th International Workshop on Software Specification and Design
Formal Tools for Managing Inconsistency and Change in RE
IWSSD '00 Proceedings of the 10th 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
IWSSD '96 Proceedings of the 8th International Workshop on Software Specification and Design
Scalable Consistency Checking Between Diagrams-The ViewIntegra Approach
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
IWSSD '93 Proceedings of the 7th international workshop on Software specification and design
A tutorial on default reasoning
The Knowledge Engineering Review
Systematic Reliability Analysis of a Class of Application-Specific Embedded Software Frameworks
IEEE Transactions on Software Engineering
Reasoning about inconsistencies in natural language requirements
ACM Transactions on Software Engineering and Methodology (TOSEM)
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
Model-driven development: the good, the bad, and the ugly
IBM Systems Journal - Model-driven software development
Architectural thinking and modeling with the architects' workbench
IBM Systems Journal - Model-driven software development
Representing concerns in source code
ACM Transactions on Software Engineering and Methodology (TOSEM)
Requirements Reconciliation Using A Computer Supported Collaborative Approach
Journal of Integrated Design & Process Science - Computer Supported Cooperative Work In Design
UML/Analyzer: A Tool for the Instant Consistency Checking of UML Models
ICSE '07 Proceedings of the 29th international conference on Software Engineering
Fixing Inconsistencies in UML Design Models
ICSE '07 Proceedings of the 29th international conference on Software Engineering
Software Design and Architecture The once and future focus of software engineering
FOSE '07 2007 Future of Software Engineering
A deviation-tolerant approach to software process evolution
Ninth international workshop on Principles of software evolution: in conjunction with the 6th ESEC/FSE joint meeting
How knowledge representation meets software engineering (and often databases)
Automated Software Engineering
Information and Software Technology
Answering conceptual queries with Ferret
Proceedings of the 30th international conference on Software engineering
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
A METHOD FOR ONTOLOGY CONFLICT RESOLUTION AND INTEGRATION ON RELATION LEVEL
Cybernetics and Systems
Design Space of Heterogeneous Synchronization
Generative and Transformational Techniques in Software Engineering II
Middleware support for adaptive dependability
Proceedings of the ACM/IFIP/USENIX 2007 International Conference on Middleware
Incremental Detection of Model Inconsistencies Based on Model Operations
CAiSE '09 Proceedings of the 21st International Conference on Advanced Information Systems Engineering
A Language-Theoretic View on Guidelines and Consistency Rules of UML
ECMDA-FA '09 Proceedings of the 5th European Conference on Model Driven Architecture - Foundations and Applications
Heterogeneity in Model Management: A Meta Modeling Approach
Conceptual Modeling: Foundations and Applications
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
Consistency Checking for Component Reuse in Open Systems
ICSR '09 Proceedings of the 11th International Conference on Software Reuse: Formal Foundations of Reuse and Domain Engineering
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
Knowledge and Information Systems
Diagnosis and semi-automatic correction of detected design inconsistencies in source code
IWST '09 Proceedings of the International Workshop on Smalltalk Technologies
Incremental resolution of model inconsistencies
WADT'06 Proceedings of the 18th international conference on Recent trends in algebraic development techniques
Middleware support for adaptive dependability
MIDDLEWARE2007 Proceedings of the 8th ACM/IFIP/USENIX international conference on Middleware
A deviation management system for handling software process enactment evolution
ICSP'08 Proceedings of the Software process, 2008 international conference on Making globally distributed software development a success story
Flexible and scalable consistency checking on product line variability models
Proceedings of the IEEE/ACM international conference on Automated software engineering
C2O: a tool for guided decision-making
Proceedings of the IEEE/ACM international conference on Automated software engineering
Proceedings of the ACM international conference on Object oriented programming systems languages and applications
Towards automated inconsistency handling in design models
CAiSE'10 Proceedings of the 22nd international conference on Advanced information systems engineering
Selective and consistent undoing of model changes
MODELS'10 Proceedings of the 13th international conference on Model driven engineering languages and systems: Part II
Model synchronization: mappings, tiles, and categories
GTTSE'09 Proceedings of the 3rd international summer school conference on Generative and transformational techniques in software engineering III
Software engineering challenges of multi-player outdoor smartphone games
Proceedings of the 1st International Workshop on Games and Software Engineering
Proceedings of the 33rd International Conference on Software Engineering
Diagnosing and correcting design inconsistencies in source code with logical abduction
Science of Computer Programming
Specifying overlaps of heterogeneous models for global consistency checking
MODELS'10 Proceedings of the 2010 international conference on Models in software engineering
ICMT'11 Proceedings of the 4th international conference on Theory and practice of model transformations
Operation based model representation: experiences on inconsistency detection
ECMFA'11 Proceedings of the 7th European conference on Modelling foundations and applications
Managing SAT inconsistencies with HUMUS
Proceedings of the Sixth International Workshop on Variability Modeling of Software-Intensive Systems
Conflicts of ontologies – classification and consensus-based methods for resolving
KES'06 Proceedings of the 10th international conference on Knowledge-Based Intelligent Information and Engineering Systems - Volume Part II
Dealing with changes in service orchestrations
Proceedings of the 27th Annual ACM Symposium on Applied Computing
Does intelligence imply contradiction?
Cognitive Systems Research
Computing repair trees for resolving inconsistencies in design models
Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering
A comparison of strategies for tolerating inconsistencies during decision-making
Proceedings of the 16th International Software Product Line Conference - Volume 1
An introduction to model versioning
SFM'12 Proceedings of the 12th international conference on Formal Methods for the Design of Computer, Communication, and Software Systems: formal methods for model-driven engineering
Incremental consistency checking for complex design rules and larger model changes
MODELS'12 Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems
MODELS'12 Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems
C2O configurator: a tool for guided decision-making
Automated Software Engineering
Hi-index | 0.00 |