Yellamraju V. Srinivas, Richard Jüllig  @ NUS Home/Search
Context Related
| kestrel.edu/pub/papers/...specware.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: Specware supports the systematic construction of formal specifications and their stepwise refinement into programs. The fundamental operations in Specware are that of composing specifications (via colimits), the corresponding refinement by composing refinements (via sheaves), and the generation of programs by composing code modules (via colimits). The concept of diagram refinement is introduced as a practical realization of composing refinements via sheaves. Sequential and parallel composition... (Update)
Cited by: More
Trustable Communication between Mathematics Systems - Carette, Farmer, Wajs (2003) (Correct)
Embedding Algebraic Specifications in HOL - Dan Zhou And (Correct)
Certifying Optimality of State Estimation Programs - Rosu, Venkatesan, Whittle.. (2003) (Correct)
Active bibliography (related documents): More All
0.6: Diagrams for Software Synthesis - Jüllig, Srinivas (1993) (Correct)
0.2: Inverse Engineering a simple Real Time program - Younger, Ward (1999) (Correct)
0.2: A Comparison of Three Approaches to Transformational Programming - Läufer (1991) (Correct)
Similar documents based on text: More All
1.2: The Architecture of SPECWARE, a Formal Software Development.. - Srinivas, McDonald (1996) (Correct)
1.0: Refinement of Parameterized Algebraic Specifications - Srinivas (1997) (Correct)
0.8: Planware - Domain-Specific Synthesis of.. - Blaine, Gilham.. (1998) (Correct)
Related documents from co-citation: More All
7: Java is not type-safe - Saraswat - 1997
6: Maude: Specification and programming in rewriting logic - Clavel, Dur'an et al. - 1999
6: KIDS: A Semi-automatic Program Development System - Smith - 1990
BibTeX entry: (Update)
Srinivas, Y. V., and J ullig, R. Specware: Formal support for composing software. Tech. Rep. KES.U.95.5, The Kestrel Institute, Palo Alto, Ca., 1995. http://citeseer.comp.nus.edu.sg/141043.html More
@misc{ srinivas95specware,
author = "Y. Srinivas and R. ullig",
title = "Specware: Formal support for composing software",
text = "Srinivas, Y. V., and J ullig, R. Specware: Formal support for composing
software. Tech. Rep. KES.U.95.5, The Kestrel Institute, Palo Alto, Ca.,
1995.",
year = "1995",
url = "citeseer.comp.nus.edu.sg/141043.html" }
Citations (may not include all citations):689 Systematic Software Development Using VDM - Jones - 1986
562 Categories for the Working Mathematician (context) - Lane - 1971
359 Introduction to Higher Order Categorical Logic (context) - Lambek, Scott - 1986
265 Proof of correctness of data representation (context) - Hoare - 1972
204 KIDS -- a semi-automatic program development system - Smith - 1990
198 Toward formal development of programs from algebraic specifi.. - Sannella, Tarlecki - 1988
127 General logics (context) - Meseguer - 1989
109 Putting theories together to make specifications (context) - Burstall, Goguen - 1977
100 Volume 1: Fundamental Algorithms (context) - Knuth - 1968
83 Sheaves in Geometry and Logic (context) - Lane, Moerdijk - 1992
67 Specifications in an arbitrary institution (context) - Sannella, Tarlecki - 1988
50 The Specification of Computer Programs (context) - Turski, Maibaum - 1987
40 Science of Computer Programming (context) - Smith, Lowry - 1990
36 Constructing specification morphisms - Smith - 1993
30 DTRE -- a semi-automatic transformation system - Blaine, Goldberg - 1991
29 A calculus of functions for program derivation (context) - Bird - 1987
15 SRI International (context) - Goguen, Winkler et al. - 1988
11 Volume I: The Wide Spectrum Language CIP-L (context) - Bauer - 1985
6 Volume II: The Program Transformation System CIP-S (context) - Bauer, Ehler et al. - 1987
6 A sheaf-theoretic approach to pattern matching and related p.. (context) - Srinivas - 1993
5 Another look at software design methodology (context) - Lehman, Stenning et al. - 1984
2 Toward reliable reactive systems (context) - Gilham, Goldberg et al. - 1989
1 A system for the correct elaboration of correct programs fro.. (context) - Goguen, Burstall - 1980
1 11-- 22 (context) - ullig, formal et al. - 1993
1 Synthesis of graphical displays for tabular data (context) - Green - 1987
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.