SCOPUS 정보 검색 플랫폼

Science of Computer Programming

Volumn 41, Issue 2, 2001, Pages 105-138

Compatibility and inheritance in software architectures

(3) Canal, Carlos a Pimentel, Ernesto a Troya, José M a

a UNIVERSITY OF MÁLAGA (Spain)

Author keywords

calculus; Compatibility and inheritance of behavior; Process calculi; Software architecture; Theory of concurrency

Indexed keywords

ALGEBRA; COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER ARCHITECTURE; DIFFERENTIATION (CALCULUS); DISTRIBUTED COMPUTER SYSTEMS; NETWORK PROTOCOLS; SOFTWARE PROTOTYPING;

PROCESS ALGEBRAS; SOFTWARE ARCHITECTURES;

COMPUTER SOFTWARE;

EID: 0035479352 PISSN: 01676423 EISSN: None Source Type: Journal
DOI: 10.1016/S0167-6423(01)00002-8 Document Type: Article

Times cited : (81)

References (35)

1
- 44049113210
- A calculus of mobile processes
- (1992) J. Inform. Comput. , vol.100 , pp. 1-77
- Milner, R.¹ Parrow, J.² Walker, D.³

2
- 0033698776
- Extending CORBA interfaces with π-calculus for protocol compatibility
- R. Mitchell, J.-M. Jézéquel, J. Bosch, B. Meyer, A. Camercon Wills, M. Woodman (Eds.), IEEE Computer Society, Mont Saint-Michel, France
- (2000) TOOLS Europe 2000 , pp. 208-225
- Canal, C.¹ Fuentes, L.² Troya, J.M.³ Vallecillo, A.⁴

3
- 0003550262
- Master's Thesis, Department of Computer Systems, Uppsala University, May
- (1994) A verification tool for the polyadic π-calculus
- Victor, B.¹

4
- 0000942145
- Special issue on software architecture
- (1995) IEEE Trans. Software Eng. , vol.21 , pp. 4
- Garlan, D.¹ Perry, D.²

5
- 0003787207
- Prentice-Hall, Englewood Cliffs, NJ
- (1996) Software Architecture. Perspectives of an Emerging Discipline
- Shaw, M.¹ Garlan, D.²

6
- 0031193084
- A formal basis for architectural connection
- (1997) ACM Trans. Software Eng. Methodol. , vol.6 , Issue.3 , pp. 213-249
- Allen, R.¹ Garlan, D.²

7
- 0003560512
- On the composition and extension of software systems
- Zurich, Switzerland
- (1997) FSE'97 Workshop on Foundations of Component-Based Systems , pp. 50-59
- Canal, C.¹ Pimentel, E.² Troya, J.³

8
- 84976750814
- Research directions in software composition
- (1995) ACM Comput. Surveys , vol.27 , Issue.2 , pp. 262-264
- Nierstrasz, O.¹ Meijler, T.²

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

10
- 0003604327
- Tech. Rep., University of Edinburgh, October
- (1991) The Polyadic π-calculus. A tutorial
- Milner, R.¹

11
- 0003440266
- Tech. Rep. ECS-LFCS-93-270, University of Edinburgh, June
- (1993) A theory of bisimulation for the π-calculus
- Sangiorgi, D.¹

12
- 84957635777
- A partition refinement algorithm for the π-calculus
- T.A. Henzinger, R. Alur (Eds.), Computer Aided Verification CAV'96, Springer, Berlin
- (1996) Lecture Notes in Computer Science , vol.1102 , pp. 38-49
- Pistore, M.¹ Sangiorgi, D.²

13
- 0026454612
- Termination, deadlock, and divergence
- (1992) J. ACM , vol.39 , Issue.1 , pp. 147-187
- Aceto, L.¹ Hennessy, M.²

14
- 0347006666
- Notes on algebraic calculi of processes
- NATO ASI Series, K.Apt
- (1987) Logics and Models of Concurrent Systems , vol.13
- Boudol, G.¹

15
- 0003954103
- Prentice-Hall, Englewood Cliffs, NJ
- (1989) Communication and Concurrency
- Milner, R.¹

16
- 0003681976
- Specification of interacting software components: A case study
- O. Pastor, C. González, I. Trejos, E. Insfrán (Eds.), San José, Costa Rica
- (1999) II Jornadas Iberoamericanas de Ingenieria de Requisitos y Ambientes Software (IDEAS'99) , pp. 381-392
- Canal, C.¹ Pimentel, E.² Troya, J.³

17
- 0029288830
- Abstractions for software architecture and tools to support them
- (1995) IEEE Trans. Software Eng. , vol.21 , Issue.4 , pp. 314-335
- Shaw, M.¹

18
- 0028166453
- Formalizing architectural connection
- Sorrento, Italy
- (1994) 16th International Conference on Software Engineering (ICSE'94) , pp. 71-80
- Allen, R.¹ Garlan, D.²

19
- 0002345878
- Domains of concern in software architectures and architecture description languages
- Santa Barbara, USA
- (1997) USENIX Conf. on Domain-Specific Languages
- Medvidovic, N.¹ Rosenblum, D.S.²

20
- 0033892696
- A classification and comparison framework for software architecture description languages
- (2000) IEEE Trans. Software Eng. , vol.26 , Issue.1 , pp. 70-93
- Medvidovic, N.¹ Taylor, R.N.²

21
- 0030381777
- Dynamic structure in software architectures
- D. Garlan (Ed.), San Francisco, USA
- (1996) ACM Foundations of Software Engineering (FSE'96) , pp. 3-14
- Magee, J.¹ Kramer, J.²

22
- 0032115882
- The discrete time toolbus - A software coordination architecture
- (1998) Sci. Comput. Programming , vol.31 , Issue.2-3 , pp. 179-203
- Bergstra, J.A.¹ Klint, P.²

23
- 0029291267
- Formal specification and analysis of software architectures using the chemical abstract machine model
- (1995) IEEE Trans. Software Eng. , vol.21 , Issue.4 , pp. 373-386
- Inverardi, P.¹ Wolf, A.L.²

24
- 0032120848
- A logic for a coordination model with multiple spaces
- (1998) Sci. Comput. Programming , vol.31 , Issue.2-3 , pp. 205-229
- Ciancarini, P.¹ Mazza, M.² Pazzaglia, L.³

25
- 84981550540
- Using style to understand descriptions of software architecture
- D. Notkin (Ed.)
- (1993) ACM Foundations of Software Engineering (FSE'93)
- Abowd, G.¹ Allen, R.² Garlan, D.³

26
- 0029292854
- Specification and analysis of system architecture using rapide
- (1995) IEEE Trans. Software Eng. , vol.21 , Issue.4 , pp. 336-355
- Luckham, D.C.¹

27
- 0032121142
- Describing software architecture styles using graph grammars
- (1998) IEEE Trans. Software Eng. , vol.24 , Issue.7 , pp. 215-225
- LeMétayer, D.¹

28
- 84948980447
- Modeling darwin in the π-calculus
- A. Schiper, F. Mattern, K.P. Birman (Eds.), Theory and Practice in Distributed Systems, Springer
- (1995) Lecture Notes in Computer Science , vol.938 , pp. 133-152
- Magee, J.¹ Eisenbach, S.² Kramer, J.³

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

30
- 0032657132
- Behaviour analysis of distributed systems using the tracta approach
- (1999) J. Automated Software Eng. , vol.6 , Issue.1 , pp. 7-35
- Giannakopoulou, D.¹ Kramer, J.² Cheung, S.C.³

31
- 0003714820
- Specifying and analyzing dynamic software architectures
- Lisbon, Portugal
- (1998) ETAPS'98
- Allen, R.¹ Doucence, R.² Garlan, D.³

32
- 0033079780
- Uncovering architectural mismatch in component behavior
- (1999) Sci. Comput. Programming , vol.33 , Issue.2 , pp. 101-131
- Compare, D.¹ Inverardi, P.² Wolf, A.³

33
- 0031102173
- Protocol specifications and components adaptors
- (1997) ACM Trans. Programming Languages Systems , vol.19 , Issue.2 , pp. 292-333
- Yellin, D.M.¹ Strom, R.E.²

34
- 0001310784
- Adding action refinement to a finite process algebra
- (1994) Inform. Comput. , vol.115 , Issue.2 , pp. 179-247
- Aceto, L.¹ Hennessy, M.²

35
- 84956994723
- Action refinement as an implementation relation
- M. Dauchet, M. Bidoit (Eds.), FASE'97, Springer, Berlin
- (1997) Lecture Notes in Computer Science , vol.1214 , pp. 772-786
- Gorrieri, R.¹ Rensik, A.²

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