Generating interesting scenarios from system descriptions
IEA/AIE '88 Proceedings of the 1st international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 1
Validating system requirements by functional decomposition and dynamic analysis
ICSE '89 Proceedings of the 11th international conference on Software engineering
Representing first order logic-based specifications in Petri-net-like graphs
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
Selected AI-related dissertations
ACM SIGART Bulletin
Hi-index | 0.00 |