Zobrazeno 1 - 10
of 227
pro vyhledávání: '"Tarlecki, Andrzej"'
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
In Theoretical Computer Science 2005 331(1):215-247
Autor:
Astesiano, Egidio, Bidoit, Michel, Kirchner, Hélène, Krieg-Brückner, Bernd *, Mosses, Peter D., Sannella, Donald, Tarlecki, Andrzej
Publikováno v:
In Theoretical Computer Science 2002 286(2):153-196
Autor:
Tarlecki, Andrzej
Publikováno v:
Studia Logica: An International Journal for Symbolic Logic, 2014 Feb 01. 102(1), 225-229.
Externí odkaz:
https://www.jstor.org/stable/43651797
Publikováno v:
Marczynski, G, Sannella, D & Tarlecki, A 2015, ' Algebraic constructions: a simple framework for complex dependencies and parameterisation ', International Journal of Software and Informatics, vol. 9, no. 2, pp. 117-139 . < http://www.ijsi.org/ch/reader/view_abstract.aspx?file_no=i211&flag=1 >
We propose a simple framework of algebraic constructions for software specification, modular design and development. Algebraic constructions generalise (parameterised) modules by allowing on one hand a rather arbitrary collection of elements to form
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______3094::321818c0477eadd61927a8ad0584f127
https://www.pure.ed.ac.uk/ws/files/19142903/root.pdf
https://www.pure.ed.ac.uk/ws/files/19142903/root.pdf
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Mossakowski, T, Pawlowski, W, Sannella, D & Tarlecki, A 2014, Parchments for CafeOBJ Logics . in Specification, Algebra, and Software : Essays Dedicated to Kokichi Futatsugi . Lecture Notes in Computer Science, vol. 8373, Springer Berlin Heidelberg, pp. 66-91 . https://doi.org/10.1007/978-3-642-54624-2_4
This paper addresses issues arising in the systematic construction of large logical systems. We rely on a model-theoretic view of logical systems, captured by institutions that are in turn presented by parchments. We define their categories, and stud
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______3094::f08063b1f2802bf94a78f30aadecfa42
https://www.pure.ed.ac.uk/ws/files/17920331/Mossakowski_Pawlowski_ET_AL_2014_Parchments_for_Cafe0BJ_Logics.pdf
https://www.pure.ed.ac.uk/ws/files/17920331/Mossakowski_Pawlowski_ET_AL_2014_Parchments_for_Cafe0BJ_Logics.pdf
This manifesto represents the results of the Dagstuhl Perspectives Workshop 10482 "Formal Methods Just a Euro-Science?" held from November 30 to December 3, 2010 at Schloss Dagstuhl, Germany. We strive to clarify the terminology and categorize the
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3e552353fcf2ea37e6a601524ddf8a92
Autor:
Sannella, Donald, Tarlecki, Andrzej
Publikováno v:
Sannella, D & Tarlecki, A 2006, Horizontal Composability Revisited . in Algebra, Meaning, and Computation : Essays Dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday . vol. 4060, Springer Berlin Heidelberg, pp. 296-316 . https://doi.org/10.1007/11780274_16
We recall the contribution of Goguen and Burstall’s 1980 CAT paper and its powerful influence on theories of specification implementation that were emerging at about the same time, via the introduction of the notions of vertical and horizontal comp
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______3094::25de49f67cc0408c9b266aeadf1f787e
https://www.pure.ed.ac.uk/ws/files/17920468/Sannella_Tarlecki_2006_Horizontal_Composability_Revisited.pdf
https://www.pure.ed.ac.uk/ws/files/17920468/Sannella_Tarlecki_2006_Horizontal_Composability_Revisited.pdf