Composition of Behavior Models for Systems Architecture

[1]  B. Shneiderman,et al.  Flowchart techniques for structured programming , 1973, SIGP.

[2]  Mikhail Auguston,et al.  Software architecture built from behavior models , 2009, SOEN.

[3]  Clinton Jeffery,et al.  A framework for automatic debugging , 2002, Proceedings 17th IEEE International Conference on Automated Software Engineering,.

[4]  Walter Mann,et al.  Correction to "Specification and Analysis of System Architecture Using Rapide" , 1995, IEEE Trans. Software Eng..

[5]  Amir Pnueli.  The Temporal Semantics of Concurrent Programs , 1981, Theor. Comput. Sci..

[6]  Alexander L. Wolf,et al.  Acm Sigsoft Software Engineering Notes Vol 17 No 4 Foundations for the Study of Software Architecture , 2022 .

[7]  Stephen N. Zilles,et al.  Programming with abstract data types , 1974 .

[8]  Philippe Kruchten,et al.  The 4+1 View Model of Architecture , 1995, IEEE Softw..

[9]  David Garlan,et al.  A formal basis for architectural connection , 1997, TSEM.

[10]  Henry Muccini,et al.  CHARMY: A Framework for Designing and Verifying Architectural Specifications , 2009, IEEE Transactions on Software Engineering.

[11]  David Lorge Parnas,et al.  Simulating the behaviour of software modules by trace rewriting , 1993, ICSE '93.

[12]  Gregory D. Abowd,et al.  Formalizing style to understand descriptions of software architecture , 1995, TSEM.

[13]  James Bret Michael,et al.  Environment behavior models for automation of testing and assessment of system safety , 2006, Inf. Softw. Technol..

[14]  Bernd Brügge,et al.  Generalized path expressions: A high-level debugging mechanism, , 1983, J. Syst. Softw..

[15]  David Harel,et al.  Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..

[16]  Anne Marsden,et al.  International Organization for Standardization , 2014 .

[17]  David C. Luckham,et al.  An Event-Based Architecture Definition Language , 1995, IEEE Trans. Software Eng..

[18]  Roy H. Campbell,et al.  The specification of process synchronization by path expressions , 1974, Symposium on Operating Systems.