Formal specification of evolving distributed software architectures

Proceedings Ninth International Workshop on Database and Expert Systems Applications (Cat. No.98EX130) ◽

10.1109/dexa.1998.707455 ◽

2002 ◽

Author(s):

G.R. Ribeiro Justo ◽

V.C. de Pania ◽

P.R.F. Cunha

Keyword(s):

Formal Specification ◽

Software Architectures ◽

Distributed Software

Download Full-text

Modularity and Variability of Distributed Software Architectures through Multi-view Refinement of AO-Connectors

Lecture Notes in Computer Science - Transactions on Aspect-Oriented Software Development X ◽

10.1007/978-3-642-36964-3_4 ◽

2013 ◽

pp. 109-147

Author(s):

Steven Op de beeck ◽

Marko van Dooren ◽

Bert Lagaisse ◽

Wouter Joosen

Keyword(s):

Software Architectures ◽

Distributed Software

Download Full-text

ON THE CORRECTNESS OF SOFTWARE ARCHITECTURES - Formal Specification of Correctness Properties using π-AAL

Proceedings of the 4th International Conference on Software and Data Technologies ◽

10.5220/0002256302080217 ◽

2009 ◽

Keyword(s):

Formal Specification ◽

Software Architectures

Download Full-text

On the use of connector libraries in distributed software architectures

ACM SIGSOFT Software Engineering Notes ◽

10.1145/566493.1148029 ◽

2002 ◽

Vol 27 (1) ◽

pp. 45-52

Author(s):

Bharath Kumar M ◽

Y. N. Srikant ◽

Lakshminarayanan R

Keyword(s):

Software Architectures ◽

Distributed Software

Download Full-text

Application of mixed distributed software architectures for social-productive projects management in peru

2017 IEEE XXIV International Conference on Electronics, Electrical Engineering and Computing (INTERCON) ◽

10.1109/intercon.2017.8079698 ◽

2017 ◽

Cited By ~ 2

Author(s):

Jorge Valenzuela Posadas

Keyword(s):

Software Architectures ◽

Distributed Software

Download Full-text

Formal specification and analysis of software architectures using the chemical abstract machine model

IEEE Transactions on Software Engineering ◽

10.1109/32.385973 ◽

1995 ◽

Vol 21 (4) ◽

pp. 373-386 ◽

Cited By ~ 138

Author(s):

P. Inverardi ◽

A.L. Wolf

Keyword(s):

Formal Specification ◽

Software Architectures ◽

Chemical Abstract ◽

Abstract Machine ◽

Machine Model

Download Full-text

Decomposing Distributed Software Architectures for the Determination and Incorporation of Security and Other Non-functional Requirements

2013 22nd Australian Software Engineering Conference ◽

10.1109/aswec.2013.14 ◽

2013 ◽

Cited By ~ 2

Author(s):

Anton V. Uzunov ◽

Katrina Falkner ◽

Eduardo B. Fernandez

Keyword(s):

Software Architectures ◽

Functional Requirements ◽

Distributed Software

Download Full-text

Modular construction and composition of distributed software architectures

Proceedings International Symposium on Software Engineering for Parallel and Distributed Systems ◽

10.1109/pdse.1998.668146 ◽

2002 ◽

Cited By ~ 6

Author(s):

M. Astley ◽

G.A. Agha

Keyword(s):

Software Architectures ◽

Modular Construction ◽

Distributed Software

Download Full-text

Analysing the behaviour of distributed software architectures: a case study

Proceedings of the Sixth IEEE Computer Society Workshop on Future Trends of Distributed Computing Systems ◽

10.1109/ftdcs.1997.644733 ◽

2002 ◽

Cited By ~ 21

Author(s):

J. Magee ◽

J. Kramer ◽

D. Giannakopoulou

Keyword(s):

Software Architectures ◽

Distributed Software

Download Full-text

Reusable component interconnection patterns for distributed software architectures

Proceedings of the 2001 symposium on Software reusability putting software reuse in context - SSR '01 ◽

10.1145/375212.375252 ◽

2001 ◽

Cited By ~ 10

Author(s):

Hassan Gomaa ◽

Daniel A. Menascé ◽

Michael E. Shin

Keyword(s):

Software Architectures ◽

Distributed Software ◽

Reusable Component

Download Full-text

Distributed software architectures

Computing & Control Engineering Journal ◽

10.1049/cce:20020409 ◽

2002 ◽

Vol 13 (4) ◽

pp. 214-214

Keyword(s):

Software Architectures ◽

Distributed Software

Download Full-text