References

  1. Andreas Bauer (2019): LTL3 Tools. Available at http://ltl3tools.sourceforge.net/.
  2. Andreas Bauer, Martin Leucker & Christian Schallhart (2006): Model-based runtime analysis of distributed reactive systems. In: Software Engineering Conference, 2006. Australian. IEEE, pp. 10–pp, doi:10.1109/aswec.2006.36.
  3. Andreas Bauer, Martin Leucker & Christian Schallhart (2006): Monitoring of real-time properties. In: International Conference on Foundations of Software Technology and Theoretical Computer Science. Springer, pp. 260–272, doi:10.1007/11944836_25.
  4. Andreas Bauer, Martin Leucker & Christian Schallhart (2011): Runtime verification for LTL and TLTL. ACM Transactions on Software Engineering and Methodology (TOSEM) 20(4), pp. 14, doi:10.1145/2000799.2000800.
  5. Lorenzo Bettini (2016): Implementing domain-specific languages with Xtext and Xtend. Packt Publishing Ltd.
  6. Manfred Broy (1996): Algebraic Specification of Reactive Systems. In: Algebraic Methodology and Software Technology. Springer. Springer Berlin Heidelberg, pp. 487–503, doi:10.1007/bfb0014335.
  7. Feng Chen & Grigore Roşu (2005): Java-MOP: A monitoring oriented programming environment for Java. In: International Conference on Tools and Algorithms for the Construction and Analysis of Systems. Springer, pp. 546–550, doi:10.1007/978-3-540-31980-1_36.
  8. Feng Chen & Grigore Roşu (2007): Mop: an efficient and generic runtime verification framework. In: Acm Sigplan Notices 42. ACM, pp. 569–588, doi:10.1145/1297105.1297069.
  9. EM Clarke, Orna Grumberg & Doron A Peled (1999): Model Checking. Cambridge, Mass, MIT Press.
  10. Coverity (2019): Architecture analysis. Available at http://www.coverity.com/products/architectureanalysis.
  11. Florian Deissenboeck, Lars Heinemann, Benjamin Hummel & Elmar Jürgens (2010): Flexible architecture conformance assessment with ConQAT. In: Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 2, ICSE 2010, Cape Town, South Africa, 1-8 May 2010, pp. 247–250, doi:10.1145/1810295.1810343.
  12. S. G. Eick, T. L. Graves, A. F. Karr, J. S. Marron & A. Mockus (2001): Does code decay? Assessing the evidence from change management data. IEEE Transactions on Software Engineering 27(1), pp. 1–12, doi:10.1109/32.895984.
  13. E Allen Emerson (2008): The beginning of model checking: A personal perspective. In: 25 Years of Model Checking. Springer, pp. 27–45, doi:10.1007/978-3-540-69850-0_2.
  14. Eclipse Foundation (2019): AspectJ. https://www.eclipse.org/aspectj/.
  15. David Garlan, Robert Allen & John Ockerbloom (1995): Architectural Mismatch: Why Reuse Is So Hard. IEEE Softw. 12(6), pp. 17–26, doi:10.1109/52.469757.
  16. Michael W. Godfrey & Eric H. S. Lee (2000): Secrets from the Monster: Extracting Mozilla's Software Architecture. In: In Proc. of 2000 Intl. Symposium on Constructing software engineering tools (CoSET 2000, pp. 15–23.
  17. Klocwork (2019): Klockwork Architect. Available at http://www.klocwork.com/products/insight/architect-code-visualization/.
  18. R. Koschke & D. Simon (2003): Hierarchical reflexion models. In: 10th Working Conference on Reverse Engineering, 2003. WCRE 2003. Proceedings., pp. 36–45, doi:10.1109/WCRE.2003.1287235.
  19. Lattix (2019): The Lattix architecture management system. Available at http://www.lattix.com/products.
  20. P. Lavery & T. Watanabe (2017): An actor-based runtime monitoring system for web and desktop applications. In: 2017 18th IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD), pp. 385–390, doi:10.1109/SNPD.2017.8022750.
  21. Marc Léger, Thomas Ledoux & Thierry Coupaye (2010): Reliable dynamic reconfigurations in a reflective component model. In: International Symposium on Component-Based Software Engineering. Springer, pp. 74–92, doi:10.1007/978-3-642-13238-4_5.
  22. Martin Leucker & Christian Schallhart (2009): A brief account of runtime verification. The Journal of Logic and Algebraic Programming 78(5), pp. 293–303, doi:10.1016/j.jlap.2008.08.004.
  23. Headway Software Technologies Ltd. (2019): structure101. Available at https://structure101.com/.
  24. D. Marmsoler & M. Gleirscher (2016): On Activation, Connection, and Behavior in Dynamic Architectures. Scientific Annals of Computer Science 26(2), pp. 187248, doi:10.7561/SACS.2016.2.187.
  25. Diego Marmsoler (2018): Hierarchical Specication and Verication of Architecture Design Patterns. In: Fundamental Approaches to Software Engineering - 21th International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, doi:10.1007/978-3-319-89363-1_9.
  26. Diego Marmsoler (2019): Axiomatic Specification and Interactive Verification of Architectural Design Patterns in FACTum. Dissertation. Technische Universität München, München.
  27. Diego Marmsoler & Habtom Kahsay Gidey (2018): FACTum Studio: A Tool for the Axiomatic Specification and Verification of Architectural Design Patterns. In: Formal Aspects of Component Software - FACS 2018 - 15th International Conference, Proceedings, doi:10.1007/978-3-030-02146-7_14.
  28. Diego Marmsoler & Habtom Kashay Gidey (2019): Interactive verification of architectural design patterns in FACTum. Formal Aspects of Computing, doi:10.1007/s00165-019-00488-x.
  29. Diego Marmsoler & Mario Gleirscher (2016): Specifying Properties of Dynamic Architectures using Configuration Traces. In: International Colloquium on Theoretical Aspects of Computing. Springer, pp. 235–254, doi:10.1007/978-3-319-46750-4_14.
  30. Gail C Murphy, David Notkin & Kevin Sullivan (1995): Software reflexion models: Bridging the gap between source and high-level models. ACM SIGSOFT Software Engineering Notes 20(4), pp. 18–28, doi:10.1145/222132.222136.
  31. Amir Pnueli (1977): The temporal logic of programs. In: Foundations of Computer Science, 1977., 18th Annual Symposium on. IEEE, pp. 46–57, doi:10.1109/sfcs.1977.32.
  32. Martin Robillard (2019): JetUML. Available at https://github.com/prmr/JetUML.
  33. Runtimeverification (2019): JavaMOP. Available at https://github.com/runtimeverification/javamop.
  34. Wasim Said, Jochen Quante & Rainer Koschke (2018): Reflexion Models for State Machine Extraction and Verification. In: 2018 IEEE International Conference on Software Maintenance and Evolution (ICSME). IEEE, pp. 149–159, doi:10.1109/icsme.2018.00025.
  35. Sonargraph (2019): Sonargraph-Architect. Available at http://www.hello2morrow.com/products/sonargraph.
  36. Martin Wirsing (1990): Algebraic Specification. In: Jan van Leeuwen: Handbook of Theoretical Computer Science (Vol. B). MIT Press, Cambridge, MA, USA, pp. 675–788, doi:10.1016/b978-0-444-88074-1.50018-4.
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org