Automated Refinement of First-Order Horn-Clause Domain Theories

By Richards B.L.  

Machine Learning, Vol. 19, Iss. 2, 1995-05 ,pp. : 95-131

Springer Publishing Company

Access to resources Recommend Favorite

A framework for automated and certified refinement steps

By Griesmayer Andreas  

Innovations in Systems and Software Engineering, Vol. 9, Iss. 1, 2013-03 ,pp. : 3-16

Springer Publishing Company

Access to resources Recommend Favorite

Semantic Interoperability Aggregation in Service Requirements Refinement

By He Ke-Qing  

Journal of Computer Science and Technology, Vol. 25, Iss. 6, 2010-11 ,pp. : 1103-1117

Springer Publishing Company

Access to resources Recommend Favorite

Automated verification and refinement for physical-layer protocols

By Brown Geoffrey  

Formal Aspects of Computing, Vol. 23, Iss. 3, 2011-05 ,pp. : 243-266

Springer Publishing Company

Access to resources Recommend Favorite

Requirements traceability: Theory and practice

By Ramesh Balasubramaniam  

Annals of Software Engineering, Vol. 3, Iss. 1, 1997-01 ,pp. : 397-415

Springer Publishing Company

Access to resources Recommend Favorite