Michel Bidoit, Donald Sannella, Andrzej Tarlecki  Home/Search
Context
Related
| dcs.ed.ac.uk/pub/dts/monterey.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: dcs.ed.ac.uk/home/dt...SannellaDT (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Michel Bidoit , Donald Sannella , and Andrzej Tarlecki Laboratoire Specification et Verification, CNRS & ENS de Cachan, France Laboratory for Foundations of Computer Science, University of Edinburgh, UK Institute of Informatics, Warsaw University and Institute of Computer Science, Polish Academy of Sciences, Warsaw, Poland Abstract. Component based design and development of software is one of the most challenging issues in software engineering. In this paper, we adopt a... (Update)
Similar documents (at the sentence level):
62.4%: Toward Component-Oriented Formal Software Development.. - Bidoit, Sannella.. (2004) (Correct)
31.2%: Architectural specifications in CASL - Bidoit, Sannella, al. (1999) (Correct)
15.2%: Global Development via Local Observational Construction Steps - Bidoit, Sannella, Tarlecki (2002) (Correct)
Active bibliography (related documents): More All
0.5: Algebraic System Specification and Development.. - Cerioli, Gogolla, .. (1997) (Correct)
0.3: Toward formal development of ML programs: foundations and.. - Sannella, Tarlecki (1989) (Correct)
0.3: From specifications to code in Casl - Aspinall, Sannella (2002) (Correct)
Similar documents based on text: More All
0.5: CASL: The Common Algebraic Specification Language - Astesiano, Bidoit.. (2000) (Correct)
BibTeX entry: (Update)
@misc{ bidoit-toward,
author = "Michel Bidoit and Donald Sannella and Andrzej Tarlecki",
title = "Toward Component-Oriented Formal Software Development: An Algebraic Approach
(Extended Abstract)",
url = "citeseer.ist.psu.edu/536660.html" }
Citations (may not include all citations):537 Component Software: Beyond Object-Oriented Programming (context) - Szyperski - 1998
362 ML for the Working Programmer (context) - Paulson - 1996 ACM
265 Proofs of correctness of data representations (context) - Hoare - 1972
234 Institutions: abstract model theory for specification and pr.. (context) - Goguen, Burstall - 1992 ACM DBLP
198 Toward formal development of programs from algebraic specifi.. - Sannella, Tarlecki - 1988 ACM DBLP
177 Fundamentals of Algebraic Specification I: Equations and Ini.. (context) - Ehrig, Mahr - 1985
106 An algebraic definition of simulation between programs (context) - Milner - 1971 ACM DBLP
69 persistent interconnection and implementation of abstract mo.. (context) - Goguen, Meseguer - 1982
67 Specifications in an arbitrary institution (context) - Sannella, Tarlecki - 1988 ACM DBLP
53 Toward formal development of ML programs: foundations and me.. - Sannella, Tarlecki - 1989
46 Data Abstraction and the Correctness of Modular Programming (context) - Schoett - 1987
44 Algebraic Foundations of Systems Specification (context) - Astesiano, Krieg-Bruckner et al. - 1999 ACM
44 Algorithmic Language and Program Development (context) - Bauer, Wossner - 1982 ACM
43 Science of Computer Programming (context) - Bidoit, Hennicker et al. - 1995
41 Essential concepts of algebraic specification and program de.. - Sannella, Tarlecki - 1997 DBLP
36 Algebraic implementation of abstract data types (context) - Ehrig, Kreowski et al. - 1982 ACM DBLP
34 Behavioural equivalence --- a unifying concept for initial a.. (context) - Reichel - 1981
33 Behavioural correctness of data representations (context) - Schoett - 1990 ACM DBLP
31 Algebraic Theory of Automata (context) - Ginzburg - 1968
28 Observability concepts in abstract data type specifications (context) - Giarratana, Gimona et al. - 1976 DBLP
27 Behavioural satisfaction and equivalence in concrete model c.. - Bidoit, Tarlecki - 1996 ACM DBLP
26 Modular correctness proofs of behavioural implementations - Bidoit, Hennicker - 1998 DBLP
22 Casl: The Common Algebraic Specification Language - Astesiano, Bidoit et al. - 2003 DBLP
16 on Software Engineering SE (context) - Goguen, IEEE - 1984
15 Advanced Course on Abstract Software Specifications (context) - Burstall, Goguen et al. - 1980
15 A general framework for modular implementations of modular s.. - Bidoit, Hennicker - 1993
11 Parameterized specifications: parameter passing and implemen.. (context) - Ganzinger - 1983 ACM DBLP
7 International standard ISOIEC (context) - Reference, Language et al. - 1994
7 A behavioural algebraic framework for modular system design .. - Hennicker, Nickl - 1994
5 Refinement and implementation (context) - Ehrig, Kreowski
5 Fundamental Approaches to Software Engineering FASE (context) - Schroder, Mossakowski et al. - 2001
4 on Semantics. Semantics of the Common Algebraic Specificatio.. (context) - Task - 2002
4 Global development via local observational construction step.. - Bidoit, Sannella et al. - 2002 ACM DBLP
1 Extended abstract: Proc (context) - Bidoit, Sannella et al. - 1999
Documents on the same site (http://www.dcs.ed.ac.uk/home/dts/pub/SannellaDT.html): More
Pre-logical Relations - Honsell, Sannella (1999) (Correct)
Essential Concepts of Algebraic Specification and Program.. - Sannella, Tarlecki (1996) (Correct)
A Compositional Generalisation of Logical Relations - Plotkin, Power, Sannella (1998) (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