Richard Jüllig, Yellamraju V. Srinivas  Home/Search
Context Related
| kestrel.edu/pub/papers/k...kbse93.ps.Z 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/publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We describe the formal environment at Kestrel for synthesizing programs. We show that straightforward formalization, persistently applied at all levels of system description and system derivation, produces a scalable architecture for a synthesis environment. The primitive building blocks of our framework are specifications, which encapsulate types and operations, and specification arrows, which are relations between specifications. The design of a system is represented as a diagram of... (Update)
Context of citations to this paper: More
.... of composition one has to provide for refining specifications) An analogous treatment for the parallel composition of refinements [38, 39] is attempted in [11] where sufficient conditions for obtaining distributivity between the sequential and parallel compositionoperators...
.... in [Vel85, VMS85] and [TM87] In 1 addition, some recent tools for formal software development (e.g. Smi90] and composition (e.g. [SJ93, SJ94]) seem to spring from the same initiative. As practical aspects of computing are concerned, that viewpoint supports a better...
Cited by: More
The VDM+B project: Objectives and Progress - Bicarregui Th Dimitrakos (Correct)
Systems Synthesis: Towards a new paradigm and discipline for.. - Williamson (2001) (Correct)
Category Theory Approach to Fusion of Wavelet-Based Features.. - DeLoach, Kokar (1999) (Correct)
Active bibliography (related documents): More All
0.6: SPECWARE: Formal Support for Composing Software - Srinivas, Jüllig (1995) (Correct)
0.5: Synthesis of High-Performance Transportation Schedulers - Smith, Parra, Westfold (1995) (Correct)
0.5: Augmenting Algebraic Specifications with Structured Sorts and.. - Srinivas (1994) (Correct)
Similar documents based on text: More All
0.3: Refinement of Parameterized Algebraic Specifications - Srinivas (1997) (Correct)
0.3: The Architecture of SPECWARE, a Formal Software Development.. - Srinivas, McDonald (1996) (Correct)
0.2: The Kestrel Interface to the NEOS Server - Dolan, Munson (2001) (Correct)
Related documents from co-citation: More All
5: KIDS: A Semi-automatic Program Development System - Smith - 1990
4: Generalising interpretations between theories in the context (context) - Fiadeiro, Maibaum - 1993
4: Axiomatising specification theory (context) - Maibaum, Sadler - 1985
BibTeX entry: (Update)
R. Jullig and Y. V. Srinivas, "Diagrams for Software Synthesis," in KBSE '93, IEEE, 1993. http://citeseer.ist.psu.edu/77603.html More
@misc{ jullig93diagrams,
author = "R. Jullig and Y. Srinivas",
title = "Diagrams for Software Synthesis",
text = "R. Jullig and Y. V. Srinivas, Diagrams for Software Synthesis, in KBSE
'93, IEEE, 1993.",
year = "1993",
url = "citeseer.ist.psu.edu/77603.html" }
Citations (may not include all citations):232 Category Theory for Computing Science (context) - Barr, Wells - 1990
224 Algebraic specification (context) - Wirsing - 1990
109 Putting theories together to make specifications (context) - Burstall, Goguen - 1977
50 The Specification of Computer Programs (context) - Turski, Maibaum - 1987
42 Top-down synthesis of divide-andconquer algorithms (context) - Smith - 1985
31 DEC Systems Research Center (context) - Guttag, Horning et al. - 1985
30 DTRE---a semi-automatic transformation system - Blaine, Goldberg - 1991
17 Scientific programming by automated synthesis (context) - Kant, Daube et al. - 1991
15 SRI International (context) - Goguen, Winkler et al. - 1988
13 Structure and design of problem reduction generators - Smith - 1991
9 On recent trends in algebraic specification (context) - Ehrig, Pepper et al. - 1989
7 Automating the design of local search algorithms (context) - Lowry - 1991
6 Algebraic specification for domains (context) - Srinivas - 1991
3 Algebraic specification: Syntax (context) - Srinivas - 1990
2 Formal specification of a graphical user interface (context) - Srinivas, ullig - 1993
2 Toward reliable reactive systems (context) - Gilham, Goldberg et al. - 1989
1 Applying formal software synthesis (context) - ullig - 1993
1 Track assignment in an air traffic control system: A rationa.. (context) - Smith - 1992
1 A theory of automated design of visual information presentat.. (context) - Westfold, Green - 1991
1 VDM'87: VDM---A Formal Method at Work (context) - Bjorner, Jones - 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)
Refinement of Parameterized Algebraic Specifications - Srinivas (1997) (Correct)
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