Automated consistency checking of requirements specifications
ACM Transactions on Software Engineering and Methodology (TOSEM)
HDL code restructuring using timed decision tables
Proceedings of the 6th international workshop on Hardware/software codesign
Validation, Verification, and Testing of Computer Software
ACM Computing Surveys (CSUR)
ACM Computing Surveys (CSUR)
The Activity of a Variable and Its Relation to Decision Trees
ACM Transactions on Programming Languages and Systems (TOPLAS)
On the emulation of flowcharts by decision tables
Communications of the ACM
Optimization of imprecise decision tables
ACM-SE 18 Proceedings of the 18th annual Southeast regional conference
A Software Engineering Tool for Expert System Design
IEEE Expert: Intelligent Systems and Their Applications
Educator's view of structured concepts
ACM '80 Proceedings of the ACM 1980 annual conference
An interpretative implementation of limited entry decision tables in Algol 68
ACM SIGPLAN Notices
A control form for complex iterations
ACM SIGPLAN Notices
On the Properties and Applications of Fuzzy-Valued Switching Functions
IEEE Transactions on Computers
Development tools for bus controller software
AFIPS '83 Proceedings of the May 16-19, 1983, national computer conference
Agent-oriented programming: from prolog to guarded definite clauses
Agent-oriented programming: from prolog to guarded definite clauses
Requirements modeling for embedded realtime systems
MBEERTS'07 Proceedings of the 2007 International Dagstuhl conference on Model-based engineering of embedded real-time systems
Hi-index | 0.02 |