Douglas R. Smith  @ NUS Home/Search
Context Related
| kestrel.edu/pub/pa...marktoberdorf.ps.Z Cached: PS.gz PS PDF Image Update Help From: kestrel.edu/HTML/publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: . This paper presents a mechanizable framework for software development by refinement. The framework is based on a category of specifications. The key idea is representing knowledge about programming concepts, such as algorithm design, datatype refinement, and expression simplification, by means of taxonomies of specifications and morphisms. Examples are drawn from working systems Specware, Designware, and Planware. Contents 1. Overview 3 2. Basic Concepts 4 2.1. Specifications . . . . . . ... (Update)
Context of citations to this paper: More
.... that is based on a category of higherorder logical specifications, composition by colimit, and refinement by diagram morphisms [12, 11]. The current work builds on and extends this framework with behavioral specifications (especs) representing state machines as diagrams of...
.... that is based on a category of higherorder logical specifications, composition by colimit, and refinement by diagram morphisms [12, 13]. The current work builds on and extends this framework with behavioral specifications (especs) representing state machines as diagrams of...
Cited by: More
Algorithm Synthesis by Lazy Thinking: Using Problem Schemes - Buchberger, Craciun (2004) (Correct)
Derivation of Glue Code for Agent Interoperation - Burstein, McDermott, Smith.. (1999) (Correct)
Software Development by Refinement - Pavlovic, Smith (2003) (Correct)
Similar documents (at the sentence level):
36.7%: Designware: Software Development by Refinement - Smith (1999) (Correct)
Active bibliography (related documents): More All
0.5: Mechanizing the Development of Software - Smith (1998) (Correct)
0.3: Toward a Classification Approach to Design - Smith (1996) (Correct)
0.2: Towards Semantics of Self-Adaptive Software - Pavlovic (2000) (Correct)
Similar documents based on text: More All
0.4: Systems Synthesis: Towards a new paradigm and discipline for.. - Williamson (2001) (Correct)
0.3: Planware - Domain-Specific Synthesis of.. - Blaine, Gilham.. (1998) (Correct)
0.3: Specifying Concurrent Systems with TLA+ - Lamport (1999) (Correct)
Related documents from co-citation: More All
3: Specware: Formal support for composing software - Srinivas, ullig - 1995
2: Interconnecting Formalisms: supporting modularity (context) - Fiadeiro, Maibaum - 1995
2: Cambridge University Press (context) - Crole, Types - 1994
BibTeX entry: (Update)
Smith, Doug, Mechanizing the Development of Software, in Calculational System Design, Ed. M. Broy NATO ASI series, IOS Press, 1999. http://citeseer.comp.nus.edu.sg/106333.html More
@misc{ doug99mechanizing,
author = "S. Doug",
title = "Mechanizing the Development of Software",
text = "Smith, Doug, Mechanizing the Development of Software, in Calculational
System Design, Ed. M. Broy NATO ASI series, IOS Press, 1999.",
year = "1999",
url = "citeseer.comp.nus.edu.sg/106333.html" }
Citations (may not include all citations):204 KIDS -- a semi-automatic program development system - Smith - 1990
127 General logics (context) - Meseguer - 1989
36 Constructing specification morphisms - Smith - 1993
35 ACM Transactions on Programming Languages and Systems (context) - Paige, Koenig - 1982
16 Toward a classification approach to design - Smith - 1996
13 Structure and design of problem reduction generators - Smith - 1991
11 Planware -- domain-specific synthesis of high-performance sc.. - Blaine, Gilham et al. - 1998
4 Derivation of parallel sorting algorithms - Smith - 1993
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.kestrel.edu/HTML/publications.html): More
Domains of Functions - Mints (1998) (Correct)
Modularization and Interpolation - Mints (1998) (Correct)
Diagrams for Software Synthesis - Jüllig, Srinivas (1993) (Correct)
Online articles have much greater impact More about CiteSeer.IST at NUS Add search form to your site Submit documents Feedback
CiteSeer.IST at NUS - Copyright Penn State and NEC. Hosted by the School of Computing, National University of Singapore.