ß-calculus Carlos Canal Ernesto Pimentel Jos'e M. Troya Dept. de Lenguajes y...  Home/Search
Context
Related
| fie.us.es/pub/lsi/...nal@sol10.es.ps.gz 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: lsi.us.es/docencia/jids (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The application of formal methods to the development of software depends on the availability of adequate models and formalisms for each of the levels of the development process. In this paper we focus in the level of design called Software Architecture. At this level, the system is described as a collection of interrelated components. Process algebras, such as Milner's ß-calculus seem to be a good candidate for the specification of system's components. However, the relations of bisimilarity... (Update)
Active bibliography (related documents): More All
0.5: Analysing a pi-calculus Specification of a Cache-Coherence.. - Eriksson, Orava (Correct)
0.1: A Formal Approach to Software Architecture - Allen (1997) (Correct)
0.1: A Classification and Comparison Framework for Software.. - Medvidovic, Taylor (1997) (Correct)
Similar documents based on text: More All
0.7: Stochastic Reverse Hillclimbing and Iterated Local Search - Cotta, Alba, Troya (1999) (Correct)
0.3: Conformance and Refinement of Behavior in pi-calculus - Canal, Pimentel, Troya (Correct)
0.3: Information Processing in Transmitting Recombination - Cotta, Troya (2003) (Correct)
BibTeX entry: (Update)
@misc{ canal-software,
author = "Calculus Carlos Canal",
title = "Software Architecture Specification with",
url = "citeseer.ist.psu.edu/225217.html" }
Citations (may not include all citations):244 Abstractions for Software Architecture and Tools to Support .. - Shaw - 1995
193 Specification and Analysis of System Architecture using Rapi.. - Luckham - 1995
192 Specifying Distributed Software Architectures - Magee - 1995
177 Formalizing architectural connection (context) - Allen, Garlan - 1994
121 A Formal Approach to Software Architectures - Allen, Garlan - 1992
86 Formal Specification and Analysis of Software Architectures .. - Inverardi, Wolf - 1995
72 Using Style to Understand Descriptions of Software Architect.. - Abowd, Allen et al. - 1993
59 Introduction to the Special Issue on Software Architecture (context) - Garlan, Perry - 1995
37 Characteristics of Higher-level Languages for Software Archi.. - Shaw, Garlan
36 Formulations and Formalisms in Software Architecture - Shaw, Garlan - 1995
33 A Calculus of Mobile Processes, Parts I and II (context) - Milner, Parrow et al. - 1992
22 A theory of bisimulation for the ß-calculus (context) - Sangiorgi - 1993
14 Formal Connectors - Allen, Garlan - 1994
2 A Verification Tool for the Polyadic ß-calculus (context) - Victor - 1994
1 Information Sciencies Institute (context) - Postel, Reynolds et al. - 1985
Documents on the same site (http://www.lsi.us.es/docencia/jids.html):
Stability: A Criterion for Software Evolution Enhancement - Díaz, Iturrioz, Piattini (Correct)
Using Non-Functional Requirements in Component-Based.. - Botella, Franch, Burgués (1996) (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