Specware: Formal support for composing software

This publication has 15 references indexed in Scilit:

• Constructing specification morphisms
  Journal of Symbolic Computation, 1993
• Applying formal software synthesis
  IEEE Software, 1993
• KIDS: a semiautomatic program development system
  IEEE Transactions on Software Engineering, 1990
• Toward reliable reactive systems
  Published by Association for Computing Machinery (ACM) ,1989
• Toward formal development of programs from algebraic specifications: Implementations revisited
  Acta Informatica, 1988
• Specifications in an arbitrary institution
  Information and Computation, 1988
• An Introduction to the Theory of Lists
  Published by Springer Nature ,1987
• Another look at software design methodology
  ACM SIGSOFT Software Engineering Notes, 1984
• Proof of correctness of data representations
  Acta Informatica, 1972
• Categories for the Working Mathematician
  Published by Springer Nature ,1971