Miguel Alexandre Wermelinger  Home/Search
Context Related
| ctp.di.fct.unl.pt/~mw/pu...thesis.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: ctp.di.fct.unl.pt/~mw/pu...thesis (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Machine", um formalismo de reescrita de multiconjuntos de termos, para uma descric ao uniforme de arquitecturas, computac oes e reconfigurac oes. A ultima abordagem usa uma linguagem de desenho de programas paralelos similar ao UNITY para descrever computac oes, representa as arquitecturas por diagramas no sentido da Teoria das Categorias, e especifica a reconfigurac ao por regras de transformac ao de grafos. (Update)
Context of citations to this paper: More
.... modifications of their operating environment and ever changing human needs [10] The aim of dynamic reconfiguration [8, 9, 7, 1, 4, 11, 2, 10, 14, 18] is to allow a system to evolve at run time [8] as opposed to design time, while introducing little (or ideally no) impact...
.... Current approaches to specifying dynamic software architectures use ADLs with Architecture Modification Languages [Darwin95, OGT99, Rapide95, Werm00] or Co ordination Languages [Cuesta01] Another approach to specifying dynamic software architectures is to use...
Cited by: More
An Approach to Dynamic Reconfiguration of.. - Almeida, Wegdam.. (2001) (Correct)
Transparent Dynamic Reconfiguration for CORBA - Almeida, Wegdam, van.. (2001) (Correct)
Dynamic Software Evolution and The K-Component Model - Dowling, Cahill (2001) (Correct)
Similar documents (at the sentence level):
13.1%: A Hierarchic Architecture Model for Dynamic Reconfiguration - Wermelinger (1997) (Correct)
5.4%: Towards a Chemical Model for Software Architecture Reconfiguration - Wermelinger (1998) (Correct)
Active bibliography (related documents): More All
1.9: Algebraic Software Architecture Reconfiguration - Wermelinger, Fiadeiro (1999) (Correct)
1.9: A Graph Transformation Approach to Software Architecture.. - Wermelinger, Fiadeiro (2000) (Correct)
1.3: Connectors for Mobile Programs - Wermelinger, Fiadeiro (1998) (Correct)
Similar documents based on text: More All
0.8: Concepo e Evoluo de Sistemas Distribudos - Abordagem Rio Em (Correct)
0.6: Combining Classification Algorithms - Gama (1999) (Correct)
0.6: Semantics of Transient Connectors in Rewriting Logic - Fiadeiro, Wermelinger.. (1998) (Correct)
Related documents from co-citation: More All
4: A language for implementing generic dynamic reconfigurations of distributed prog.. (context) - Endler - 1994
4: The Evolving Philosophers Problem: Dynamic Change Management - Kramer, Magee - 1990
3: Consistency preserving dynamic reconfiguration of distributed systems (context) - Moazami-Goudarzi - 1999
BibTeX entry: (Update)
M. Wermelinger. Specification of Software Architecture Reconfiguration. PhD thesis, Universidade Nova de Lisboa, Sept. 1999. http://citeseer.ist.psu.edu/wermelinger99specification.html More
@misc{ wermelinger99specification,
author = "M. Wermelinger",
title = "Specification of Software Architecture Reconfiguration",
text = "M. Wermelinger. Specification of Software Architecture Reconfiguration.
PhD thesis, Universidade Nova de Lisboa, Sept. 1999.",
year = "1999",
url = "citeseer.ist.psu.edu/wermelinger99specification.html" }
Citations (may not include all citations):3972 Introduction to Algorithms (context) - Cormen, Leiserson et al. - 1990
1180 The Temporal Logic of Reactive and Concurrent Systems: Speci.. (context) - Manna, Pnueli - 1991
716 Parallel Program Design---A Foundation (context) - Chandy, Misra - 1996
579 Software Architecture: Perspectives on an Emerging Disciplin.. (context) - Shaw, Garlan - 1996
338 Foundations for the study of software architecture - Perry, Wolf - 1992
254 Theoretical Computer Science (context) - Berry, Boudol et al. - 1992
192 Specifying distributed software architectures - Magee, Dulay et al. - 1995
177 Fundamentals of Algebraic Specification I: Equations and Ini.. (context) - Ehrig, Mahr - 1985
131 An event-based architecture definition language - Luckham, Vera - 1995
123 Constructing distributed systems in CONIC - Magee, Kramer et al. - 1989
117 ACME: An architecture description interchange language - Garlan, Monroe et al. - 1997
114 The evolving philosophers problem: Dynamic change management - Kramer, Magee - 1990
111 Dynamic structure in software architectures (context) - Magee, Kramer - 1996
96 IEEE Computer Society Press (context) - the, Conference et al. - 1998
96 IEEE Computer Society Press (context) - the, Conference et al. - 1996
91 Rewriting logic as a semantic framework for concurrency: a p.. - Meseguer - 1996
86 Formal specification and analysis of software architectures .. - Inverardi, Wolf - 1995
85 Dynamic configuration for distributed systems (context) - Kramer, Magee - 1985
84 Basic Category Theory for Computer Scientists (context) - Peirce - 1991
73 A superimposition control construct for distributed systems (context) - Katz - 1993
59 Graph grammars with negative application conditions - Habel, Heckel et al. - 1996
53 Interacting Processes (context) - Francez, Forman - 1996
46 ELAN: A logical framework based on computational systems (context) - Borovansky, Kirchner et al. - 1996
44 Compositional programming abstractions for mobile computing - McCann, Roman - 1998
41 Specifying and analyzing dynamic software architectures - Allen, Douence et al. - 1998
38 A parallel machine for multiset transformation and its progr.. (context) - Banatre, Coutant et al. - 1988
37 Characteristics of higher-level languages for software archi.. - Shaw, Garlan - 1994
36 Formulations and formalisms in software architecture - Shaw, Garlan - 1996
35 Mobile UNITY: Reasoning and specification in mobile computin.. - Roman, McCann et al. - 1997
28 Checking assumptions in component dynamics at the architectu.. - Inverardi, Wolf et al. - 1997
26 Gamma and the chemical reaction model: Ten years after (context) - Banatre, Le Metayer - 1996
26 ADLs and dynamic architecture changes (context) - Medvidovic - 1996
23 Behaviour analysis of software architectures - Magee, Kramer et al. - 1999
22 Dynamic reconfiguration in distributed systems: Adapting sof.. (context) - Hofmeister, Purtilo - 1993
22 Towards an algebra of architectural connectors: a case study.. - Wermelinger, Fiadeiro - 1998
20 A classification and comparison framework for software archi.. (context) - Medvidovic - 1997
20 Issues in the runtime modification of software architectures - Oreizy - 1996
20 the role of software architectures in runtime system reconfi.. (context) - Oreizy, Taylor - 1998
17 IEEE Transactions on Software Engineering (context) - Wermelinger, Fiadeiro et al. - 1998
17 Towards a chemical model for software architecture reconfigu.. - Wermelinger - 1998
16 A language for implementing generic dynamic reconfigurations.. (context) - Endler - 1994
15 Specification and refinement of dynamic software architectur.. (context) - Canal, Pimentel et al. - 1999
15 On termination of graph rewriting (context) - Plump - 1995
14 Algebraic software architecture reconfiguration - Wermelinger, Fiadeiro - 1999
12 Succeedings of the Second International Software Architectur.. - Wolf - 1997
12 Dynamic change management by distributed graph transformatio.. (context) - Taentzer, Goedicke et al. - 1998
11 MobiS: A specification language for mobile systems - Mascolo - 1999
11 A theory of abstract data types for program development: Bri.. (context) - Maibaum, Veloso et al. - 1985
11 A flexible approach to evolution of reconfigurable systems (context) - Young, Magee - 1992
10 A software architecture reconstruction method - Guo, Atlee et al. - 1999
10 Capturing software architecture design expertise with armani (context) - Monroe - 1998
10 Self organising software architectures (context) - Magee, Kramer - 1996
10 Relating CHAM descriptions of software architectures (context) - Inverardi, Yankelevich - 1996
9 Mobile UNITY: A language and logic for concurrent mobile sys.. (context) - McCann, Roman - 1996
8 Maintaining node consistency in the face of dynamic change - Goudarzi, Kramer
7 Describing software architecture styles using graph grammars (context) - Le Metayer - 1998
7 the emergence of properties in component-based systems - Fiadeiro - 1996
7 State-of-the-art: Software architecture (context) - Perry - 1997
7 Techniques d'analyse et de mise en oeuvre des programmes Gam.. (context) - Creveuil - 1991
7 A coordination model to specify systems including mobile age.. - Ciancarini, Franze et al. - 1998
7 ACM SIGSOFT Software Engineering Notes (context) - EDCS, clusters - 1997
6 Reconfiguring client-server systems - Kindberg - 1993
6 Semantics of transient connectors in rewriting logic - Fiadeiro, Wermelinger et al. - 1999
6 Colimit Library for Graph Transformations and Algebraic Deve.. - Wolz - 1998
6 Composicionalidade na Especificac ao de Sistemas Reactivos (context) - Lopes - 1999
6 Event-based execution architectures for dynamic software sys.. - Vera, Perrochon et al. - 1999
5 Position paper for the Workshop on Compositional Software Ar.. (context) - Garlan - 1998
5 Modelling software architectures and styles with graph gramm.. (context) - Hirsch, Inverardi et al. - 1999
5 A hierarchic architecture model for dynamic reconfiguration - Wermelinger - 1997
5 Communicating and Mobile Processes: the -calculus (context) - Milner - 1999
5 Algebraic approaches to graph transformation part II: Single.. (context) - Ehrig, Heckel et al. - 1996
5 Analysing dynamic change in distributed software architectur.. (context) - Kramer, Magee - 1998
4 Issues in modeling and analyzing dynamic software architectu.. (context) - Oreizy - 1998
4 Semantics of architectural connectors (context) - Fiadeiro, Lopes - 1997
4 and Jose Meseguer (context) - Clavel, Eker et al. - 1996
4 Using explicit state do describe architectures (context) - Lopes, Fiadeiro - 1999
3 Elements of basic category theory - Martini - 1996
3 Interconnecting formalisms: Supporting modularity (context) - Fiadeiro, Maibaum - 1995
3 A mathematical toolbox for the software architect - Fiadeiro, Maibaum - 1996
3 Graph grammars - an introduction to the double-pushout appro.. (context) - Martini, Ehrig et al. - 1996
3 Software architecture evolution and the chemical abstract ma.. - Wermelinger - 1999
3 and Francesca Rossi (context) - Corradini, Montanari - 1996
3 A simple description language for dynamic architectures - Wermelinger - 1998
3 Categorial semantics of parallel program design (context) - Fiadeiro, Maibaum - 1997
2 Category theory for the object technologist (context) - Fiadeiro, Maibaum - 1994
2 Behavioral type checking of architectural components based o.. - Inverardi, Wolf et al. - 1998
2 Welcome to ISAW (context) - Magee, Perry - 1998
1 Formal modelling and analysis of the HLA component integrati.. (context) - Allen, Garlan et al. - 1998
1 Laborat orio de Modelos e Arquitecturas Computacionais (context) - Wermelinger, Neto et al. - 1999
1 software architecture with the chemical abstract machine (context) - Wermelinger, testing et al. - 1998
1 Consistency Preserving Dynamic Reconfiguration of Distribute.. (context) - Moazami-Goudarzi - 1999
1 and David Wile (context) - Monroe, Garlan - 1997
1 Model checking of CHAM descriptions of software architecture.. - Corradini, Inverardi - 1999
The graph only includes citing articles where the year of publication is known.
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