R.J. Allen
1997
A Formal Approach to Software Architectures
Carnegie Mellon University
S. Andova
L.P.J. Groenewegen
J.H.S. Verschuren
E.P. de Vink
2009
Architecting Security with Paradigm
Architecting Dependable Systems VI
LNCS 5835
255–283
10.1007/978-3-642-10248-6_11
S. Andova
L.P.J. Groenewegen
E.P. de Vink
2010
Dynamic Consistency in Process Algebra: From Paradigm to ACP
Science of Computer Programming
10.1016/j.scico.2010.04.011
S. Andova
L.P.J. Groenewegen
E.P. de Vink
2010
Towards Dynamic Adaptation of Probabilistic Systems
T. Margaria
B. Steffen
Proc. ISOLA 2010
LNCS 6416
143–159
10.1007/978-3-642-16561-0_19
F. Arbab
2004
Reo: A Channel-based Coordination Model for Component Composition
Mathematical Structures in Computer Science
14
329–366
10.1017/S0960129504004153
J.C.M. Baeten
T. Basten
M.A. Reniers
2010
Process Algebra: Equational Theories of Communicating Processes
Cambridge Tracts in Theoretical Computer Science
50
CUP
G. Engels
R. Heckel
J.M. Küster
L. Groenewegen
2002
Consistency-Preserving Model Evolution through Transformations
J.-M. Jézéquel
H. Hußmann
S. Cook
Proc. UML 2002
LNCS 2460
212–226
10.1007/3-540-45800-X_18
R.J. van Glabbeek
P. Weijland
1996
Branching time and abstraction in bisimulation semantics
Journal of the ACM
43
555–600
10.1145/233551.233556
L. Groenewegen
E. de Vink
2002
Operational Semantics for Coordination in Paradigm
F. Arbab
C. Talcott
Proc. Coordination 2002
LNCS 2315
191–206
10.1007/3-540-46000-4_20
L. Groenewegen
E. de Vink
2006
Evolution-On-The-Fly with Paradigm
P. Ciancarini
H. Wiklicky
Proc. Coordination 2006
LNCS 4038
97–112
10.1007/11767954_7
J.F. Groote et al.
2007
The Formal Specification Language mCRL2
E. Brinksma et al.
Methods for Modelling Software Systems
IBFI, Schloss Dagstuhl
N. Kokash
C. Koehler
E.P. de Vink
2010
Time and Data-Aware Analysis of Graphical Service Models in Reo
J.L. Fiadeiro A. Maggiolo-Schettini
S. Gnesi
Proc. SEFM 2010
IEEE
125–134
10.1109/SEFM.2010.26
C. Krause
2011
Reconfigurable Component Connectors
Leiden University
J.M. Küster
2004
Consistency Management of Object-Oriented Behavioral Models
University of Paderborn
M.Z. Kwiatkowska
G. Norman
D. Parker
2009
PRISM: probabilistic model checking for performance and reliability analysis
SIGMETRICS Performance Evaluation Review
36
40–45
10.1145/1530873.1530882
M. Möller
E.-R. Olderog
H. Rasch
H. Wehrheim
2008
Integrating a formal method into a software engineering process with UML and Java
Formal Aspects of Computing
161–204
10.1007/s00165-007-0042-7
M.A. Pérez-Toledano
A. Navasa
J.M. Murillo
C. Canal
2007
TITAN: a Framework for Aspect-Oriented System Evolution
Proc. ICSEA 2007, Cap Esterel
IEEE
10.1109/ICSEA.2007.77
N.F. Rodrigues
L.S. Barbosa
2005
Architectural Prototyping: From CCS to .Net
A. Mota
A.V. Moura
Proc. SBMF 2004
ENTCS 130
151–167
10.1016/j.entcs.2005.03.009
M. Sirjani
A. Movaghar
A. Shali
F.S. de Boer
2004
Modeling and Verification of Reactive Systems using Rebeca
Fundamenta Informaticae
63
385–410
10.1.1.107.2074