Automated consistency checking of requirements specifications
ACM Transactions on Software Engineering and Methodology (TOSEM)
A Software Engineering Tool for Expert System Design
IEEE Expert: Intelligent Systems and Their Applications
Approximation Region-Based Decision Tables
RSCTC '98 Proceedings of the First International Conference on Rough Sets and Current Trends in Computing
Applicability of Non-Specification-Based Approaches to Logic Testing for Software
DSN '01 Proceedings of the 2001 International Conference on Dependable Systems and Networks (formerly: FTCS)
CASCON '03 Proceedings of the 2003 conference of the Centre for Advanced Studies on Collaborative research
Tabular Expressions and Their Relational Semantics
Fundamenta Informaticae
Analysis of techniques for documenting user requirements
ICCSA'12 Proceedings of the 12th international conference on Computational Science and Its Applications - Volume Part IV
Tabular Expressions and Their Relational Semantics
Fundamenta Informaticae
Fundamenta Informaticae
Hi-index | 0.00 |