Keith Williamson  Home/Search
Context
Related
| kestrel.edu/pub/papers...kwspecware.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: kestrel.edu/HTML/p...techtransfer (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper motivates and describes a new paradigm and discipline for knowledge, software, and system development and maintenance. This paradigm promises to improve system quality and make systems development and maintenance faster and cheaper. (Update)
Active bibliography (related documents): More All
2.9: Industrial Applications of Software Synthesis via Category.. - Keith Williamson Michael (2001) (Correct)
0.3: Software Development by Refinement - Pavlovic, Smith (2003) (Correct)
0.3: Intergenerational Mobility, Siblings' Inequality and Borrowing.. - Gaviria (1998) (Correct)
Similar documents based on text: More All
0.7: SPECWARE: Formal Support for Composing Software - Srinivas, Jüllig (1995) (Correct)
0.6: The Architecture of SPECWARE, a Formal Software Development.. - Srinivas, McDonald (1996) (Correct)
0.4: Mechanizing the Development of Software - Smith (1999) (Correct)
BibTeX entry: (Update)
@misc{ williamson-systems,
author = "Keith Williamson",
title = "Systems Synthesis: Towards a new paradigm and discipline for knowledge,
software, and system development and maintenance",
url = "citeseer.ist.psu.edu/williamson01systems.html" }
Citations (may not include all citations):616 Notation: A Reference Manual (context) - Spivey, The - 1992
236 Categories for the Working Mathematician (context) - Saunders - 1971
234 Institutions: Abstract Model Theory for Specification and Pr.. (context) - Goguen, Burstall - 1992
181 The Object Constraint language -- Precise Modeling with UML (context) - Warmer, Kleppe - 1999
165 Generative Programming: Methods (context) - Czarnecki, Eisenecker - 2000
84 Basic Category Theory for Computer Scientists (context) - Benjamin - 1994
67 KIDS: A Knowledge Based Software Development System - Doug - 1991
41 An Ontology for Engineering Mathematics (context) - Tom - 1994
35 Cambridge University Press (context) - Roy, Types - 1993
35 a Specification Language (context) - Burstall, Goguen
31 Towards a Provably-Correct Implementation of the JVM Bytecod.. - Coglio - 1998
30 DTRE -- A Semi-Automatic Transformation System - Lee, Allen - 1991
26 with Applications to User Interface Design (context) - Goguen - 1999
19 Mathematical Representation of Hierarchically Organized Syst.. (context) - Goguen - 1970
14 Conceptual Mathematics: A First Introduction to Categories (context) - Lawvere, Schanuel - 1997
12 Diagrams for Software Synthesis - Jullig, Srinivas - 1993
11 Prentice-Hall International (context) - Dines, Cliff et al. - 1982
11 Program Development by Refinement: Case Studies Using the B .. (context) - Sekerinski, Sere - 1998
9 The Usability Engineering Lifecycle (context) - Debra - 1999
9 and Computation (context) - Denning - 1979
9 Software Specification - A Comparison of Formal Methods - John
8 UML Distilled -- Second Edition (context) - Fowler, Scott - 2000
7 Mechanizing the Development of Software - Doug - 1999
6 Formally Specifying Engineering Design Rationale (context) - Williamson, Healy - 1997
5 TM: Formal Support for Composing Software (context) - Srinivas - 1995
5 Synthesis of Schedulers for Planned Shutdown of Power Plants - Doug - 1996
4 Producing More Reliable Software: Mature Software: Engineeri.. (context) - Widmaier, Smidts et al.
4 Reuse of Knowledge at an Appropriate Level of Abstraction --.. (context) - Williamson - 2000
3 Consilience: The Unity of Knowledge (context) - Wilson - 1999
3 Corporate Memory: Strategies for Knowledge Management (context) - Brooking - 1999
2 Deriving Engineering Software from Requirements (context) - Williamson, Healy - 2000
2 Industrial Applications of Software Synthesis via Category T.. - Williamson, Healy - 1999
2 Elsevier Science Publishers (context) - Jose, Logics et al. - 1989
2 TM Language Manual (context) - Richard - 1996
2 A Mechanical Verifier for Supporting the Design of Reliable .. (context) - Wang - 1991
2 Industrial Applications of Software Synthesis via Category T.. - Williamson - 2001
1 After the Gold Rush: Creating a True Profession of Software .. (context) - McConnell - 1999
1 Planware -- Domain-Specific Synthesis of High-Performance Sc.. (context) - Doug - 1998
1 Models in the Mind -- Theory (context) - Yvonne - 1992
1 US Department of Defense (context) - Program, Processes - 1996
1 Category Theory Applied to Neural Modeling and Graphical Rep.. - Healy
1 Algebraic Foundations of Systems Specification#Springer- Ve.. (context) - Astesiano - 1999
1 Applying Category Theory to Derive Engineering Software from.. (context) - Williamson, Healy - 2000
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC