Industrial Applications of Software Synthesis via Category Theory—Case Studies Using Specware

Author： Williamson K.  

Publisher： Springer Publishing Company

ISSN： 0928-8910

Source： Automated Software Engineering, Vol.8, Iss.1, 2001-01, pp. : 7-30

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

Force control experiments for industrial applications: a test case using an industrial deburring example

By Pires J. Norberto   Afonso Gabriel   Estrela Nelson  

Assembly Automation, Vol. 27, Iss. 2, 2007-04 ,pp. : 148-156

Emerald Group Publishing Ltd

Access to resources Recommend Favorite

An industrial case study of classifier ensembles for locating software defects

By Mısırlı Ayşe  

Software Quality Journal, Vol. 19, Iss. 3, 2011-09 ,pp. : 515-536

Springer Publishing Company

Access to resources Recommend Favorite

An Industrial Case Study on Managing Variability with Traceability in Software Product Lines

By  

International Journal of Software Innovation (IJSI), Vol. 3, Iss. 1, 2015-01 ,pp. : 1-15

IGI Global_journal

Access to resources Recommend Favorite

Using programming expertise for controlling software synthesis

By Hewett Rattikorn  

Journal of Experimental & Theoretical Artificial Intelligence, Vol. 8, Iss. 3-4, 1996-07 ,pp. : 293-318

Taylor & Francis Ltd

Access to resources Recommend Favorite

Case Studies in Transformation towards Industrial Sustainability

By  

International Journal of Knowledge and Systems Science (IJKSS), Vol. 6, Iss. 3, 2015-07 ,pp. : 1-17

IGI Global_journal

Access to resources Recommend Favorite