Gruia-Catalin Roman, et al.  Home/Search
Context
Related
| wustl.edu/cs/techrepo...wucs9105.ps.Z wustl.edu/mobilab/pubs...wucs9105.pdf edu/doc/techreports/w...wucs9105.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: wustl.edu/cs/cs/publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The design of distributed programs is a difficult task which can greatly benefit from the application of formal methods. Since design solutions are determined not only by functional requirements imposed by the application but also by the structure and behavior of the underlying hardware architecture, a complete formal treatment of the program derivation process becomes a significant challenge. The common approach is to start with a formal specification of the functional requirements and to... (Update)
Active bibliography (related documents): More All
0.3: A UNITY-style Programming Logic for Shared Dataspace Programs - Cunningham, Roman (2003) (Correct)
0.3: Mixed Programming Metaphors in a Shared Dataspace Model of.. - Roman, Cunningham (2003) (Correct)
0.3: Dynamic Synchrony among Atomic Actions - Roman, Plun, Wilcox (1991) (Correct)
Similar documents based on text: More All
1.3: SwarmExec: A Prolog-Based Execution Engine for a.. - Cox, Wilcox, Plun (1991) (Correct)
0.8: Pavane: A System for Declarative Visualization of.. - Roman, Cox, Wilcox, Plun (1991) (Correct)
BibTeX entry: (Update)
@inproceedings{ roman92deriving,
author = "Gruia-Catalin Roman and C. Donald Wilcox and Jerome Y. Plun",
title = "On Deriving Distributed Programs from Formal Specifications of Functional Requirements and Architectural Constraints",
booktitle = "International Conference on Distributed Computing Systems",
pages = "494-501",
year = "1992",
url = "citeseer.ist.psu.edu/roman92deriving.html" }
Citations (may not include all citations):716 Parallel Program Design: A Foundation (context) - Chandy, Misra - 1988
652 A Discipline of Programming (context) - Dijkstra - 1976
275 The Science of Programming (context) - Gries - 1987
232 Linda in Context (context) - Carriero, Gelernter - 1989
203 Distributed Simulation: A Case Study in Design and Verificat.. (context) - Chandy, Misra - 1979
77 Distributed Cooperation with Action Systems (context) - Back, Kurki-Suonio - 1988
35 A UNITY-Style Programming Logic for a Shared Dataspace Langu.. - Cunningham, Roman - 1990
28 Mixed Programming Metaphors in a Shared Dataspace Model of C.. - Roman, Cunningham - 1990
26 A Method of Programming (context) - Dijkstra, Fiejen - 1988
15 The Gamma Model and its Discipline of Programming (context) - Banatre, Coutant et al. - 1990
13 Associons: A Program Notation with Tuples Instead of Variabl.. (context) - Rem - 1981
4 The Synchronic Group: A Concurrent Programming Concept and i.. (context) - Roman, Cunningham - 1990
Documents on the same site (http://www.cs.wustl.edu/cs/cs/publications.html): More
TCP/IP Implementation with Endsystem QoS - Shi, Parulkar, Gopalakrishnan (1998) (Correct)
Ranking Radiotherapy Treatment Plans Using Decision-Analytic.. - Jain, Kahn (1992) (Correct)
Balancing Consistency and Lag in Transaction-Based.. - Kraemer, Hart, Roman (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