Industrial applications of software synthesis via category theory -- case studies using specware

DOI10.1023/A:1008759623876zbMath0963.68559MaRDI QIDQ5935933

No author found.

Publication date: 1 July 2001

Published in: Automated Software Engineering (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1008759623876

zbMATH Keywords

category theory; software synthesis; specware; systems engineering

Mathematics Subject Classification ID

68U99: Computing methodologies and applications

68Q65: Abstract data types; algebraic specification

Related Items

Episodic memory: a hierarchy of spatiotemporal concepts

Uses Software

• Specware