Are We There Yet? Analyzing Architecture Description Languages for Formal Analysis, Usability, and Realizability

2013 39th Euromicro Conference on Software Engineering and Advanced Applications ◽

10.1109/seaa.2013.34 ◽

2013 ◽

Cited By ~ 13

Author(s):

Mert Ozkaya ◽

Christos Kloukinas

Keyword(s):

Formal Analysis ◽

Architecture Description Languages ◽

Architecture Description ◽

Description Languages

Download Full-text

A framework for classifying and comparing architecture description languages

ACM SIGSOFT Software Engineering Notes ◽

10.1145/267896.267903 ◽

1997 ◽

Vol 22 (6) ◽

pp. 60-76 ◽

Cited By ~ 20

Author(s):

Nenad Medvidovic ◽

Richard N. Taylor

Keyword(s):

Architecture Description Languages ◽

Architecture Description ◽

Description Languages

Download Full-text

Towards More Flexible Architecture Description Languages for Industrial Applications

Software Architecture - Lecture Notes in Computer Science ◽

10.1007/11966104_16 ◽

2006 ◽

pp. 212-219 ◽

Cited By ~ 4

Author(s):

Rabih Bashroush ◽

Ivor Spence ◽

Peter Kilpatrick ◽

John Brown

Keyword(s):

Industrial Applications ◽

Flexible Architecture ◽

Architecture Description Languages ◽

Architecture Description ◽

Description Languages

Download Full-text

Architecture description languages for high-integrity real-time systems

IEEE Software ◽

10.1109/ms.2006.36 ◽

2006 ◽

Vol 23 (2) ◽

pp. 71-79 ◽

Cited By ~ 5

Author(s):

A. Radjenovic ◽

R. Paige

Keyword(s):

Real Time ◽

Real Time Systems ◽

High Integrity ◽

Architecture Description Languages ◽

Architecture Description ◽

Description Languages ◽

Time Systems

Download Full-text

A classification and comparison framework for software architecture description languages

IEEE Transactions on Software Engineering ◽

10.1109/32.825767 ◽

2000 ◽

Vol 26 (1) ◽

pp. 70-93 ◽

Cited By ~ 988

Author(s):

N. Medvidovic ◽

R.N. Taylor

Keyword(s):

Software Architecture ◽

Architecture Description Languages ◽

Architecture Description ◽

Description Languages

Download Full-text

Introducing Reflection in Architecture Description Languages

Software Architecture - IFIP Advances in Information and Communication Technology ◽

10.1007/978-0-387-35607-5_9 ◽

2002 ◽

pp. 143-156 ◽

Cited By ~ 4

Author(s):

Carlos E. Cuesta ◽

Pablo de la Fuente ◽

Manuel Barrio-Solórzano ◽

M. Encarnación Beato

Keyword(s):

Architecture Description Languages ◽

Architecture Description ◽

Description Languages

Download Full-text

Processor-Centric Architecture Description Languages

Embedded Systems Handbook ◽

10.1201/9781315218281-18 ◽

2018 ◽

pp. 261-296

Keyword(s):

Architecture Description Languages ◽

Architecture Description ◽

Description Languages

Download Full-text

Architecture: Description Languages

Encyclopedia of Software Engineering ◽

10.1081/e-ese-120044218 ◽

2010 ◽

pp. 74-80 ◽

Cited By ~ 1

Author(s):

Jungwoo Ryoo

Keyword(s):

Architecture Description Languages ◽

Architecture Description ◽

Description Languages

Download Full-text

A Study of Architecture Description Languages from a Model-based Perspective

2005 Sixth International Workshop on Microprocessor Test and Verification ◽

10.1109/mtv.2005.2 ◽

2005 ◽

Cited By ~ 3

Author(s):

Wei Qin ◽

Sharad Malik

Keyword(s):

Model Based ◽

Architecture Description Languages ◽

Architecture Description ◽

Description Languages

Download Full-text

Architecture Description Languages

10.1007/b106318 ◽

2005 ◽

Cited By ~ 3

Keyword(s):

Architecture Description Languages ◽

Architecture Description ◽

Description Languages

Download Full-text

Usefulness of Software Architecture Description Languages for Modeling and Analysis of Federates and Federation Architectures

SIMULATION ◽

10.1177/0037549704050185 ◽

2004 ◽

Vol 80 (11) ◽

pp. 559-576 ◽

Cited By ~ 9

Author(s):

Frederic D. McKenzie ◽

Mikel D. Petty ◽

Qingwen Xu

Keyword(s):

Software Architecture ◽

Modeling And Analysis ◽

Architecture Description Languages ◽

Architecture Description ◽

Description Languages

Download Full-text