|
3
|
Applying Category Theory to Derive Engineering Software from Encoded Knowledge
– M Healy, K Williamson
- 2000
|
|
6
|
Formally Specifying Engineering Design Rationale
– K Williamson, M Healy
- 1997
|
|
2
|
2000, ‘Deriving Engineering Software from Requirements
– K Williamson, M Healy
|
|
64
|
Conceptual Mathematics: a first introduction to categories
– F W Lawvere, S H Schanuel
- 1997
|
|
76
|
Categories for types
– R L Crole
- 1993
|
|
83
|
An ontology for engineering mathematics
– T R GRUBER, G R OLSEN
- 1994
|
|
149
|
Basic Category Theory for Computer Scientists
– B Pierce
- 1991
|
|
2
|
Consilience: The Unity of Knowledge, Random
– E O Wilson
- 1999
|
|
1
|
Towards a Provably-Correct Implementation of the JVM
– al
- 1998
|
|
1
|
After the Gold Rush: Creating a True
– S McConnell
- 1999
|
|
1
|
eds.), Program Development by Refinement: Case
– E Sekerinski, K Sere
- 1998
|
|
1
|
Planware -- Domain-Specific Synthesis of High-Performance Schedulers
– al
- 1998
|
|
1
|
Synthesis of Schedulers for Planned Shutdown of
– al
- 1996
|
|
1
|
Industrial Applications of Software Synthesis via Category Theory - Case Studies Using Specware
– al
- 2001
|
|
1
|
Reuse of Knowledge at an Appropriate Level of Abstraction -- Case Studies Using Specware
– al
- 2000
|
|
6
|
Producing More Reliable Software: Mature Software Engineering Process vs. State-of-the-Art Technology
– J Widmaier, C Smidts, X Huang
- 2000
|
|
2
|
et al., Software Specification - A Comparison of Formal Methods
– John Gannon
|
|
2
|
General Logics, Logic Colloquium `87, Eds. Ebbinghaus et al
– Jose Meseguer
- 1989
|
|
64
|
The Usability Engineering Lifecycle
– D J Mayhew
- 1999
|
