Cited in
(32)- Episodic memory: a hierarchy of spatiotemporal concepts
- scientific article; zbMATH DE number 1748577 (Why is no real title available?)
- Composition by Colimit and Formal Software Development
- Category localization semantics for specification refinements
- scientific article; zbMATH DE number 1696908 (Why is no real title available?)
- Type safety in the JVM: some problems in Java 2 SDK 1.2 and proposed solutions
- Using formal methods with SysML in aerospace design and engineering
- scientific article; zbMATH DE number 2087400 (Why is no real title available?)
- Certifying optimality of state estimation programs.
- Structured theories and institutions
- Applications of category theory to the area of algebraic specification in computer science
- Industrial applications of software synthesis via category theory -- case studies using specware
- scientific article; zbMATH DE number 1973216 (Why is no real title available?)
- Diagram combinators in MMT
- SciNapse
- SysML
- Systems analysis of life cycle of large-scale information-control systems
- Kit
- DTRE
- EROS
- TAME
- AutoFilter
- Specification, validation, and synthesis of email agent controllers: A case study in function rich reactive system design
- scientific article; zbMATH DE number 1926611 (Why is no real title available?)
- Building reliable, high-performance networks with the Nuprl proof development system
- scientific article; zbMATH DE number 1614693 (Why is no real title available?)
- scientific article; zbMATH DE number 1614694 (Why is no real title available?)
- Defining effectiveness using finite sets. A study on computability
- Theorem Proving in Higher Order Logics
- Category-theoretic approach to software systems design
- Operating system verification---an overview
- Detecting equivalence of modular specifications with categorical diagrams
This page was built for software: Specware
