The following pages link to Specware (Q23655):
Displayed 25 items.
- Category-theoretic approach to software systems design (Q289772) (← links)
- Systems analysis of life cycle of large-scale information-control systems (Q386928) (← links)
- Using formal methods with SysML in aerospace design and engineering (Q434438) (← links)
- Defining effectiveness using finite sets. A study on computability (Q529651) (← links)
- Operating system verification---an overview (Q1040002) (← links)
- Applications of category theory to the area of algebraic specification in computer science (Q1383220) (← links)
- Detecting equivalence of modular specifications with categorical diagrams (Q1583247) (← links)
- Specification, validation, and synthesis of email agent controllers: A case study in function rich reactive system design (Q1857286) (← links)
- Structured theories and institutions (Q1884906) (← links)
- Episodic memory: a hierarchy of spatiotemporal concepts (Q2185664) (← links)
- Diagram combinators in MMT (Q2287911) (← links)
- Category localization semantics for specification refinements (Q2385430) (← links)
- (Q2723416) (← links)
- (Q2723417) (← links)
- (Q2767197) (← links)
- Type safety in the JVM: some problems in Java 2 SDK 1.2 and proposed solutions (Q4329633) (← links)
- (Q4421869) (← links)
- (Q4530462) (← links)
- (Q4707743) (← links)
- (Q4738187) (← links)
- Building reliable, high-performance networks with the Nuprl proof development system (Q4819652) (← links)
- Theorem Proving in Higher Order Logics (Q5464644) (← links)
- Composition by Colimit and Formal Software Development (Q5757940) (← links)
- Computer Aided Verification (Q5900686) (← links)
- Industrial applications of software synthesis via category theory -- case studies using specware (Q5935933) (← links)