SCOPUS 정보 검색 플랫폼

Science of Computer Programming

Volumn 44, Issue 2, 2002, Pages 133-155

A graph transformation approach to software architecture reconfiguration

(2) Wermelinger, Michel a Fiadeiro, José Luiz b

a UNIVERSIDADE NOVA DE LISBOA (Portugal)

b UNIVERSITY OF LISBON (Portugal)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; COMPUTER SOFTWARE; HIGH LEVEL LANGUAGES; SEMANTICS; SOFTWARE ENGINEERING;

SOFTWARE ARCHITECTURE;

COMPUTER ARCHITECTURE;

EID: 0036642686 PISSN: 01676423 EISSN: None Source Type: Journal
DOI: 10.1016/S0167-6423(02)00036-9 Document Type: Article

Times cited : (86)

References (35)

1
- 84957048411
- Specifying and analyzing dynamic software architectures
- E. Astesiano (Ed.), Fundamental Approaches to Software Engineering, Springer, Berlin
- (1998) Lecture Notes in Computer Science , vol.1382 , pp. 21-37
- Allen, R.¹ Douence, R.² Garlan, D.³

2
- 0002243670
- Specification and refinement of dynamic software architectures
- P. Donohoe (Ed.), Kluwer Academic Publishers, Dordrecht
- (1999) Software Architecture , pp. 107-125
- Canal, C.¹ Pimentel, E.² Troya, J.M.³

3
- 0004159094
- Addison-Wesley, Reading, MA
- (1988) Parallel Program Design - A Foundation
- Chandy, K.M.¹ Misra, J.²

4
- 0030173077
- Graph processes
- (1996) Fund. Inform. , vol.26 , Issue.3-4 , pp. 241-266
- Corradini, A.¹ Montanari, U.² Rossi, F.³

5
- 0006106272
- Description of EDCS technology clusters
- (1997) ACM SIGSOFT Software Eng. Notes , vol.22 , Issue.5 , pp. 33-42

6
- 0000058353
- A language for implementing generic dynamic reconfigurations of distributed programs
- (1994) Proc. 12th Brazilian Symp. on Computer Networks , pp. 175-187
- Endler, M.¹

7
- 84956971857
- Semantics of architectural connectors
- Proc. TAPSOFT'97, Springer, Berlin
- (1997) Lecture Notes in Computer Science , vol.1214 , pp. 505-519
- Fiadeiro, J.L.¹ Lopes, A.²

8
- 0031121767
- Categorial semantics of parallel program design
- (1997) Sci. Comput. Programming , vol.28 , pp. 111-138
- Fiadeiro, J.L.¹ Maibaum, T.²

9
- 84947265907
- Towards a verification logic for rewriting logic
- D. Bert, C. Choppy, P. Mosses (Eds.), Recent Trends in Algebraic Development Techniques, Springer, Berlin
- (2000) Lecture Notes in Computer Science , vol.1827 , pp. 438-458
- Fiadeiro, J.L.¹ Martí-Oliet, N.² Maibaum, T.³ Meseguer, J.⁴ Pita, I.⁵

10
- 0006106273
- Semantics of transient connectors in rewriting logic
- February
- (1999) First IFIP Working Internat. Conf. on Software Architecture
- Fiadeiro, J.L.¹ Wermelinger, M.² Meseguer, J.³

11
- 0004133084
- Addison-Wesley, Reading, MA
- (1996) Interacting Processes
- Francez, N.¹ Forman, I.²

12
- 0035006208
- Tool support for coordination-based software evolution
- IEEE Computer Soc. Press, Silver Spring, MD
- (2001) Proc. of TOOLS Europe , pp. 184-196
- Gouveia, J.¹ Koutsoukos, G.² Andrade, L.³ Fiadeiro, J.L.⁴

13
- 0030172972
- Graph grammars with negative application conditions
- (1996) Fund. Inform. , vol.26 , Issue.3-4 , pp. 287-313
- Habel, A.¹ Heckel, R.² Taentzer, G.³

14
- 84979256211
- Reconfiguration of software architecture styles with name mobility
- A. Porto, G.-C. Roman (Eds.), Coordination Languages and Models, Springer, Berlin
- (2000) Lecture Notes in Computer Science , vol.1906 , pp. 148-163
- Hirsch, D.¹ Inverardi, P.² Montanari, U.³

15
- 0025521832
- The evolving philosophers problem: Dynamic change management
- (1990) IEEE Trans. Software Eng. , vol.16 , Issue.11 , pp. 1293-1306
- Kramer, J.¹ Magee, J.²

16
- 0004094407
- Ph.D. Thesis, Universidade de Lisboa, January
- (1999) Não-determinismo e Composicionalidade na Especificação de Sistemas Reactivos
- Lopes, A.¹

17
- 0030381777
- Dynamic structure in software architectures
- ACM Press, New York
- (1996) Proc. 4th ACM SIGSOFT Symp. on the Foundations of Software Engineering , pp. 3-14
- Magee, J.¹ Kramer, J.²

18
- 0002662152
- Behaviour analysis of software architectures
- P. Donohoe (Ed.), Kluwer Academic Publishers, Dordrecht
- (1999) Software Architecture , pp. 35-50
- Magee, J.¹ Kramer, J.² Giannakopoulou, D.³

19
- 0006076559
- Welcome to ISAW-3
- ACM Press, New York
- (1998) Proc. Third Internat. Software Architecture Workshop
- Magee, J.N.¹ Perry, D.E.²

20
- 0032000565
- Compositional programming abstractions for mobile computing
- (1998) IEEE Trans. Software Eng. , vol.24 , Issue.2 , pp. 97-110
- McCann, P.J.¹ Roman, G.-C.²

21
- 0030385482
- ADLs and dynamic architecture changes
- ACM Press, New York
- (1996) Joint Proc. SIGSOFT'96 Workshops , pp. 24-27
- Medvidovic, N.¹

22
- 0032121142
- Describing software architecture styles using graph grammars
- (1998) IEEE Trans. Software Eng. , vol.24 , Issue.7 , pp. 521-553
- Métayer, D.L.¹

23
- 0004225136
- November
- (1997) Acme StrawManual
- Monroe, R.T.¹ Garlan, D.² Wile, D.³

24
- 0004138370
- Technical Report UCI-ICS-TR-96-35, Department of Information and Computer Science, University of California, Irvine, August
- (1996) Issues in the runtime modification of software architectures
- Oreizy, P.¹

25
- 0030615540
- State-of-the-art: Software architecture
- ACM Press, New York
- (1997) Proc. 19th Internat. Conf. on Software Engineering , pp. 590-591
- Perry, D.E.¹

26
- 84948969290
- On termination of graph rewriting
- Proc. 21st Internat. Workshop on Graph-Theoretic Concepts in Computer Science, Springer, Berlin
- (1995) Lecture Notes in Computer Science , vol.1017 , pp. 88-100
- Plump, D.¹

27
- 0031189708
- Mobile UNITY: Reasoning and specification in mobile computing
- (1997) ACM TOSEM , vol.6 , Issue.3 , pp. 250-282
- Roman, G.-C.¹ McCann, P.J.² Plun, J.Y.³

28
- 22844456345
- Dynamic change management by distributed graph transformation: Towards configurable distributed systems
- (1998) Proc. Sixth Internat. Workshop on Theory and Application of Graph Transformation
- Taentzer, G.¹ Goedicke, M.² Meyer, T.³

29
- 0032182702
- Towards a chemical model for software architecture reconfiguration
- (1998) IEE Proc. - Software , vol.145 , Issue.5 , pp. 130-136
- Wermelinger, M.¹

30
- 0006125298
- Ph.D. Thesis, Universidade Nova de Lisboa, September
- (1999) Specification of Software Architecture Reconfiguration
- Wermelinger, M.¹

31
- 0000898130
- Connectors for mobile programs
- (1998) IEEE Trans. Software Eng. , vol.24 , Issue.5 , pp. 331-341
- Wermelinger, M.¹ Fiadeiro, J.L.²

32
- 84954165018
- Superposing connectors
- IEEE Computer Society Press, Silver Spring, MD
- (2000) Proc. 10th Internat. Workshop of Software Specification and Design , pp. 87-94
- Wermelinger, M.¹ Lopes, A.² Fiadeiro, J.L.³

33
- 0035783734
- A graph based architectural (re)configuration language
- ACM Press, New York
- (2001) Proc. ESEC/FSE , pp. 21-32
- Wermelinger, M.¹ Lopes, A.² Fiadeiro, J.L.³

34
- 0006110303
- Succeedings of the second internat
- Software Architecture Workshop
- (1997) ACM SIGSOFT Software Eng. Notes , vol.22 , Issue.1 , pp. 42-56
- Wolf, A.L.¹

35
- 4243800265
- Ph.D. Thesis, Technische Universität, Berlin
- (1998) Colimit library for graph transformations and algebraic development techniques
- Wolz, D.¹

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.