A Hybrid Knowledge Representation as a Basis of Requirement Specification and Specification Analysis
IEEE Transactions on Software Engineering - Special issue on software maintenance
A Computationally Tractable Nonmonotonic Logic
IEEE Transactions on Knowledge and Data Engineering
Journal of Systems and Software
Hi-index | 0.00 |