Foster, Simon; Cavalcanti, Ana; Canham, Samuel; Woodcock, Jim; Zeyda, Frank Unifying theories of reactive design contracts. (English) Zbl 1436.68195 Theor. Comput. Sci. 802, 105-140 (2020). MSC: 68Q60 68Q55 68V15 PDF BibTeX XML Cite \textit{S. Foster} et al., Theor. Comput. Sci. 802, 105--140 (2020; Zbl 1436.68195) Full Text: DOI
Cimatti, Alessandro; Demasi, Ramiro; Tonetta, Stefano Tightening the contract refinements of a system architecture. (English) Zbl 1392.68241 Form. Methods Syst. Des. 52, No. 1, 88-116 (2018). MSC: 68Q60 68M07 68M14 68M20 PDF BibTeX XML Cite \textit{A. Cimatti} et al., Form. Methods Syst. Des. 52, No. 1, 88--116 (2018; Zbl 1392.68241) Full Text: DOI
Broy, Manfred Theory and methodology of assumption/commitment based system interface specification and architectural contracts. (English) Zbl 1392.68238 Form. Methods Syst. Des. 52, No. 1, 33-87 (2018). MSC: 68Q60 68M07 68M14 68M20 PDF BibTeX XML Cite \textit{M. Broy}, Form. Methods Syst. Des. 52, No. 1, 33--87 (2018; Zbl 1392.68238) Full Text: DOI
Westman, Jonas; Nyberg, Mattias Conditions of contracts for separating responsibilities in heterogeneous systems. (English) Zbl 1390.68442 Form. Methods Syst. Des. 52, No. 2, 147-192 (2018). MSC: 68Q60 PDF BibTeX XML Cite \textit{J. Westman} and \textit{M. Nyberg}, Form. Methods Syst. Des. 52, No. 2, 147--192 (2018; Zbl 1390.68442) Full Text: DOI
Cimatti, Alessandro; Roveri, Marco; Tonetta, Stefano HRELTL: a temporal logic for hybrid systems. (English) Zbl 1332.68139 Inf. Comput. 245, 54-71 (2015). MSC: 68Q60 03B44 PDF BibTeX XML Cite \textit{A. Cimatti} et al., Inf. Comput. 245, 54--71 (2015; Zbl 1332.68139) Full Text: DOI
Hennicker, Rolf; Knapp, Alexander Moving from interface theories to assembly theories. (English) Zbl 1309.68047 Acta Inf. 52, No. 2-3, 235-268 (2015). MSC: 68N30 PDF BibTeX XML Cite \textit{R. Hennicker} and \textit{A. Knapp}, Acta Inf. 52, No. 2--3, 235--268 (2015; Zbl 1309.68047) Full Text: DOI
Schroeder, Andreas; Bauer, Sebastian S.; Wirsing, Martin A contract-based approach to adaptivity. (English) Zbl 1213.68208 J. Log. Algebr. Program. 80, No. 3-5, 180-193 (2011). MSC: 68N30 03B44 68T05 PDF BibTeX XML Cite \textit{A. Schroeder} et al., J. Log. Algebr. Program. 80, No. 3--5, 180--193 (2011; Zbl 1213.68208) Full Text: DOI
Delahaye, Benoît; Caillaud, Benoît; Legay, Axel Probabilistic contracts: a compositional reasoning methodology for the design of systems with stochastic and/or non-deterministic aspects. (English) Zbl 1210.93068 Form. Methods Syst. Des. 38, No. 1, 1-32 (2011). MSC: 93E03 68Q87 68Q45 68Q60 90B25 PDF BibTeX XML Cite \textit{B. Delahaye} et al., Form. Methods Syst. Des. 38, No. 1, 1--32 (2011; Zbl 1210.93068) Full Text: DOI