See this document in CiteSeerX!

Using Axiomatic Specifications for Hardware  (Make Corrections)  
System Design Marc Aiguier, Stefan Beroff, Laurent Freund, Gilles Bernot and...



  Home/Search   Context   Related

 
View or download:
ibisc.univevry.fr/~aiguie...ceeda96.ps
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  ibisc.univevry.fr/~aiguier/do... (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: implementation The aim of an abstract implementation is to specify a higher level abstract data type by another lower level data type and to give: ffl an axiomatic specification describing how the lower level data types are used to implement (simulate) the higher level data type under consideration. (Update)

Active bibliography (related documents):   More   All
0.4:   Algebraic System Specification and Development.. - Cerioli, Gogolla, .. (1997)   (Correct)
0.3:   Formal Specification of Telephone Systems in LOTOS: The.. - Faci, al. (1991)   (Correct)
0.3:   Design of Telephony Services In Lotos - Vivas (1994)   (Correct)

Similar documents based on text:
0.0:   Unknown -   (Correct)

BibTeX entry:   (Update)

@misc{ marc-using,
  author = "System Design Marc",
  title = "Using Axiomatic Specifications for Hardware",
  url = "citeseer.ist.psu.edu/763811.html" }
Citations (may not include all citations):
1575   Computer Architecture: A Quantitative Approach (context) - Hennessy, Patterson - 1990
689   Systematic Software Development using VDM - Jones - 1990
384   Simple word problems in universal algebras (context) - Knuth, Bendix - 1970
232   Category Theory for Computing Science (context) - Barr, Wells - 1990
36   Algebraic implementation of abstract data types (context) - Ehrig, Kreowski et al. - 1980
27   An initial algebra approach to the specification, correctnes.. (context) - Goguen, Thatcher et al. - 1976
26   The Z notation: a reference manual (context) - Spivey - 1992
21   Object-Oriented Techniques in Hardware Design (context) - Aylor, Jonhson et al. - 1994
17   How to make algebraic specifications more understanble? an e.. (context) - Bidoit, Gaudel et al. - 1989
16   Algebraic Specifications with implicit state (context) - Dauchy, Gaudel - 1994
15   Unified algebras and action semantics (context) - Mosses - 1989
13   Fundamentals of algebraic specification 1. equations and ini.. (context) - Ehrig, Mahr - 1985
13   Partial abstract data types (context) - Broy, Wirsing - 1982
5   Equational type logic (context) - Manca, Salibra et al. - 1989
4   Algebraic semantics of object type specifications (context) - Aiguier, Bernot - 1995
3   Algebraic specification of synchronization and errors: A tel.. (context) - Biebow, Hagelstein - 1985
1   Ecos: From Formal Specification to Hardware / Software Parti.. (context) - Aiguier, Benzakki et al. - 1994
1   Assigning meaning to programs (context) - Abrial - 1994
1   An algebraic specification of a Pascal compiler (context) - Despeyroux-Savonitto - 1983
1   Label algebras and exception handling (context) - Bernot, Le Gall et al. - 1994
1   Order sorted algebras: exceptions and error sorts, coercion .. (context) - Goguen - 1978
1   ASSPEGIQUE : un environnement d'exceptions... Une s'emantiqu.. (context) - Capy - 1987
1   Computer Organization and Design. The Hardwarw / Software In.. (context) - Hennessy, Patterson - 1990
1   Correctness proofs for abstract implementations (context) - Bernot - 1989

Documents on the same site (http://www.ibisc.univ-evry.fr/~aiguier/documents/publications/):   More
Testing from Algebraic Specifications: Test Data.. - Aiguier, Arnould, .. (2005)   (Correct)
Stratified institutions and elementary homomorphisms - Aiguier, Diaconescu   (Correct)
An algebraic approach for Codesign - Aiguier, Beroff, Schobbens (2004)   (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