A framework for formalizing inconsistencies and deviations in human-centered systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
Managing inconsistent specifications: reasoning, analysis, and action
ACM Transactions on Software Engineering and Methodology (TOSEM)
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
Guest Editorial: Introduction to the Special Section
IEEE Transactions on Software Engineering
Requirements engineering: a roadmap
Proceedings of the Conference on The Future of 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
Enterprise Modeling and Decision-Support for Automating the Business Rules Lifecycle
Automated Software Engineering
A View of Software Development Environments Based on Activity Theory
Computer Supported Cooperative Work
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
Reasoning about inconsistencies in natural language requirements
ACM Transactions on Software Engineering and Methodology (TOSEM)
Rigorous model-based design & verification flow for in-vehicle software
Proceedings of the 48th Design Automation Conference
Hi-index | 0.00 |