Gregory D Abowd
Robert Allen
David Garlan
1995
Formalizing Style to Understand Descriptions of Software Architecture
TOSEM
10.1145/226241.226244
Robert Allen
Remi Douence
David Garlan
1998
Specifying and Analyzing Dynamic Software Architectures
FASE
10.1007/bfb0053581
Robert J Allen
1997
A Formal Approach to Software Architecture.
Technical Report
DTIC Document
Christel Baier
Joost-Pieter Katoen
2008
Principles of Model Checking (Representation and Mind Series)
The MIT Press
Marco Bernardo
Paolo Ciancarini
Lorenzo Donatiello
2000
On the Formalization of Architectural Types with Process Algebras
ACM SIGSOFT SEN
10.1145/357474.355064
Lars Bratthall
Enrico Johansson
Björn Regnell
2000
Is a Design Rationale Vital when Predicting Change Impact? –A Controlled Experiment on Software Architecture Evolution
PROFES
10.1007/978-3-540-45051-1_14
Manfred Broy
1996
Algebraic Specification of Reactive Systems
AMAST
10.1007/bfb0014335
Manfred Broy
2014
A Model of Dynamic Systems
FPS
10.1007/978-3-642-54848-2_3
Frank Buschmann
Regine Meunier
Hans Rohnert
Peter Sommerlad
Michael Stal
1996
PATTERN-ORIENTED SOFTWARE ARCHITECTURE: A System of Patterns
Roberto Cavada
Alessandro Cimatti
Charles Arthur Jochim
Gavin Keighren
Emanuele Olivetti
Marco Pistore
Marco Roveri
Andrei Tchaltsev
NuSMV 2.5 User Manual, 2010
http://nusmv.fbk.eu/NuSMV/userman/v25/nusmv.pdf
Corporation MITRE
2011
CWE/SANS Top 25 Most Dangerous Software Errors
https://cwe.mitre.org/top25/index.html
Juan de Dalmau
Jacques Gigou
1997
Ariane-5: Learning from Flight 501 and Preparing for 502
http://www.esa.int/esapub/bulletin/bullet89/dalma89.htm
ESA Bulletin Nr. 89
Eric M Dashofy
André Van der Hoek
Richard N Taylor
2001
A Highly-Extensible, XML-Based Architecture Description Language
WICSA
10.1109/wicsa.2001.948416
Jonas Eckhardt
Tobias Mühlbauer
Musab AlTurki
José Meseguer
Martin Wirsing
2012
Stable availability under denial of service attacks through formal patterns
FASE
10.1007/978-3-642-28872-2_6
José Luiz Fiadeiro
Antónia Lopes
2013
A Model for Dynamic Reconfiguration in Service-oriented Architectures
SoSyM
10.1007/s10270-012-0236-1
Erich Gamma
Richard Helm
Ralph Johnson
John Vlissides
1994
Design Patterns: Elements of Reusable Object-Oriented Software
David Garlan
2000
Software Architecture: a Roadmap
FOSE
10.1145/336512.336537
David Garlan
2003
Formal Modeling and Analysis of Software Architecture: Components, Connectors, and Events
Sfm
10.1007/978-3-540-39800-4_1
Paola Inverardi
Alexander L Wolf
1995
Formal Specification and Analysis of Software Architectures Using the Chemical Abstract Machine Model
IEEE TSE
10.1109/32.385973
Daniel Jackson
2002
Alloy: A Lightweight Object Modelling Notation
TOSEM
10.1145/505145.505149
Jung Soo Kim
David Garlan
2006
Analyzing Architectural Styles with Alloy
ROSATEA
10.1145/1147249.1147259
Daniel Le Métayer
1998
Describing Software Architecture Styles Using Graph Grammars
IEEE TSE
10.1109/32.708567
Zengyang Li
Peng Liang
Paris Avgeriou
2015
Architectural Technical Debt Identification Based on Architecture Decisions and Change Scenarios
WICSA
10.1109/WICSA.2015.19
David C Luckham
John J Kenney
Larry M Augustin
James Vera
Doug Bryan
Walter Mann
1995
Specification and Analysis of System Architecture Using Rapide
IEEE TSE
21
4
336–354
10.1109/32.385971
Jeff Magee
Jeff Kramer
1996
Dynamic Structure in Software Architectures
ACM SIGSOFT SEN
10.1145/239098.239104
Zohar Manna
Amir Pnueli
1992
The Temporal Logic of Reactive and Concurrent Systems: Specification
Springer Science & Business Media
10.1007/978-1-4612-0931-7
Diego Marmsoler
DACL - Dynamic Architecture Constraint Language
http://www.marmsoler.com/docs/DACL.pdf
http://www.marmsoler.com/docs/psl.pdf
Diego Marmsoler
Mario Gleirscher
2016
Specifying Properties of Dynamic Architectures using Configuration Traces
ICTAC
Springer
10.1007/978-3-319-46750-4_14
Nikunj R Mehta
Nenad Medvidovic
2003
Composing Architectural Styles From Architectural Primitives
ACM SIGSOFT SEN
ACM
10.1145/949952.940118
Mark Moriconi
Xiaolei Qian
Robert A Riemenschneider
1995
Correct Architecture Refinement
IEEE TSE
10.1109/32.385972
Flavio Oquendo
2004
π-ADL: An Architecture Description Language based on the Higher-Order Typed π-Calculus for Specifying Dynamic and Mobile Software Architectures
ACM SIGSOFT SEN
10.1145/986710.986728
John Penix
Perry Alexander
Klaus Havelund
1997
Declarative Specification of Software Architectures
ASE
10.1109/ase.1997.632840
Mary Shaw
David Garlan
1996
Software Architecture: Perspectives on an Emerging Discipline
1
Prentice Hall Englewood Cliffs
Richard N Taylor
Nenad Medvidovic
Eric M Dashofy
2009
Software Architecture: Foundations, Theory, and Practice
Wiley Publishing
10.1145/1595696.1595754
Michel Wermelinger
José Luiz Fiadeiro
2002
A graph transformation approach to software architecture reconfiguration
SCP
10.1016/s0167-6423(02)00036-9
Michel Wermelinger
Antónia Lopes
José Luiz Fiadeiro
2001
A Graph Based Architectural (Re)configuration Language
ACM SIGSOFT SEN
10.1145/503271.503213
Martin Wirsing
1990
Algebraic Specification
Handbook of Theoretical Computer Science (Vol. B)
10.1016/b978-0-444-88074-1.50018-4
Stephen Wong
Jing Sun
Ian Warren
Jun Sun
2008
A Scalable Approach to Multi-Style Architectural Modeling and Verification
ICECCS 2008
10.1109/iceccs.2008.16
Jiexin Zhang
Yang Liu
Jing Sun
Jin Song Dong
Jun Sun
2012
Model Checking Software Architecture Design
HASE
10.1109/hase.2012.12