Structuring Z specifications with views
ACM Transactions on Software Engineering and Methodology (TOSEM)
Managing inconsistent specifications: reasoning, analysis, and action
ACM Transactions on Software Engineering and Methodology (TOSEM)
Requirements engineering: a roadmap
Proceedings of the Conference on The Future of Software 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
Heterogeneous Modeling Support for Embedded Systems Design
EMSOFT '01 Proceedings of the First International Workshop on Embedded Software
Enterprise Knowledge Management and Conceptual Modelling
Selected Papers from the Symposium on Conceptual Modeling, Current Issues and Future Directions
On the Dynamics of Default Reasoning
ECSQARU '95 Proceedings of the European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty
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
On the Consequences of Acting in the Presence of Inconsistency
IWSSD '98 Proceedings of the 9th international workshop on Software specification and design
Information and Software Technology
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
An industrial case study in reconstructing requirements views
Empirical Software Engineering
Proceedings of the 33rd International Conference on Software Engineering
Agile requirements evolution via paraconsistent reasoning
CAiSE'12 Proceedings of the 24th international conference on Advanced Information Systems Engineering
Hi-index | 0.00 |
Requirements, specifications, and programs are distinguished by the phenomena they concern. Requirements are about phenomena of the application domain and describe properties of the domain that the machine is required to bring about and maintain. The ...