System Design Marc Aiguier, Stefan Beroff, Laurent Freund, Gilles Bernot and...  Home/Search
Context
Related
| ibisc.univevry.fr/~aiguie...ceeda96.ps 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: ibisc.univevry.fr/~aiguier/do... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
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