Wydział Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego
Publikacje
Andrzej Tarlecki
2015
- Donald Sannella i Andrzej Tarlecki, The Foundational Legacy of ASL., w: Software, Services, and Systems - Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering., Springer, 2015, s. 253–272.zobacz w PBN
- Yazmin Angélica Ibáñez-García, Till Mossakowski, Donald Sannella i Andrzej Tarlecki, Modularity of Ontologies in an Arbitrary Institution., w: Logic, Rewriting, and Concurrency - Essays dedicated to José Meseguer on the Occasion of His 65th Birthday., Springer, 2015, s. 361–379.zobacz w PBN
- Grzegorz Marczyński, Donald Sannella i Andrzej Tarlecki, Algebraic Constructions: A Simple Framework for Complex Dependencies and Parameterisation, International Journal Of Software And Informatics 9 (2) 2015, s. 117–139.zobacz w PBN
2014
- Till Mossawkoski i Andrzej Tarlecki, A Relatively Complete Calculus for Structured Heterogeneous Specifications, w: Foundations of Software Science and Computation Structures - 17th International Conference, FOSSACS 2014, Springer, 2014, s. 441––456.zobacz w PBN
- Andrzej Tarlecki, Władysław Marek Turski (1938 - 2013), Formal Aspects Of Computing 26 (5) 2014, s. 863––864.zobacz w PBN
- Andrzej Tarlecki, Władysław Marek Turski (1938-2013), Information Processing Letters 114 (8) 2014, s. 397–398.zobacz w PBN
- Razvan Diaconescu, Till Mossakowski i Andrzej Tarlecki, The Institution-Theoretic Scope of Logic Theorems, Logica Universalis 8 (3-4) 2014, s. 393–406.zobacz w PBN
- Donald Sannella i Andrzej Tarlecki, Property-oriented semantics of structured specifications, Mathematical Structures In Computer Science 24 (2) 2014.zobacz w PBN
- Andrzej Tarlecki, R\uazvan Diaconescu, Institution-independent Model Theory, Studia Logica 102 (1) 2014, s. 225–229.zobacz w PBN
- Till Mossakowski, Wiesław Pawłowski, Donald Sannella i Andrzej Tarlecki, Parchments for CafeOBJ Logics, w: Specification, Algebra, and Software - Essays Dedicated to Kokichi Futatsugi, Springer, 2014, s. 66––91.zobacz w PBN
2011
- Alexander Kurz i Andrzej Tarlecki (red.), Special issue on Algebra and Coalgebra in Computer Science (CALCO 2009), Braunschweig 2011.zobacz w PBN
- Andrzej Tarlecki, Some Nuances of Many-sorted Universal Algebra: A Review, w: Bulletin of the EATCS, Amsterdam 2011, s. 89–111.zobacz w PBN
- Joerg Kreiker, Andrzej Tarlecki, Moshe Vardi i Reinhard Wilhelm, Modeling, Analysis, and Verification: The Formal Methods Manifesto 2010, w: Dagstuhl Manifestos, Dagstuhl Publishing, Dagstuhl 2011, s. 21–40.zobacz w PBN
2009
- Till Mossakowski i Andrzej Tarlecki, Heterogeneous Logical Environments for Distributed Specifications, Lecture Notes In Computer Science 5486 2009, s. 266–289.zobacz w PBN
- R. Diaconescu, T. Mossakowski i Andrzej Tarlecki, What is a Logic Translation?, Logica Universalis 3 2009, s. 95–124.zobacz w PBN
- Alexander Kurz, Marina Lenisa i Andrzej Tarlecki (red.), Third International Conference on Algebra and Coalgebra in Computer Science, SPRINGER-VERLAG BERLIN, HEIDELBERGER PLATZ 3, BERLIN, GERMANY, D-14197 2009.zobacz w PBN
- Lars Arge, Christian Cachin i Andrzej Tarlecki, Preface, Theoretical Computer Science 410 (18) 2009.zobacz w PBN
- L. Arge, Ch. Cachin i Andrzej Tarlecki (red.), Special issue on Automata, Languages and Programming (ICALP 2007), Elsevier, Amsterdam 2009.zobacz w PBN
2008
- Donald Sannella i Andrzej Tarlecki, Observability Concepts in Abstract Data Type Specification, 30 Years Later, w: Concurrency, Graphs and Models, 2008.zobacz w PBN
- María Victoria Cengarle, Alexander Knapp, Andrzej Tarlecki i Martin Wirsing, A Heterogeneous Approach to UML Semantics, w: Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday, SPRINGER-VERLAG BERLIN, HEIDELBERGER PLATZ 3, BERLIN, GERMANY, D-14197 2008.zobacz w PBN
- Michel Bidoit, Donald Sannella i Andrzej Tarlecki, Observational interpretation of Casl specifications, Mathematical Structures In Computer Science 18 (2) 2008, s. 325–371.zobacz w PBN
- Andrzej Tarlecki, T. Mossakowski, A. Haxthausen i D. Sannella, CASL --- The Common Algebraic Specification Language, w: Logics of Specification Languages, Springer, 2008.zobacz w PBN
2007
- Lars Arge, Christian Cachin, Tomasz Jurdziński i Andrzej Tarlecki (red.), Automata, Languages and Programming, 34th International Colloquium, ICALP 2007, Wroclaw, Poland, July 9-13, 2007, Proceedings., Springer, 2007.zobacz w PBN
- Andrzej Tarlecki, Toward specifications for reconfigurable component systems, Lecture Notes In Computer Science 4546 2007, s. 24–28.zobacz w PBN
2005
- R. Diaconescu, J. Goguen, T. Mossakowski i A. Tarlecki, What is a logics?, Brkhauser, 2005.zobacz w PBN
- Lutz Schroeder, Till Mossakowski, Andrzej Tarlecki, Piotr Hoffman i Bartosz Klin, Amalgamation in the semantics of CASL, Theoretical Computer Science 331 (1) 2005, s. 215–247.zobacz w PBN
- Razvan Diaconescu, Joseph Goguen, Till Mossakowski i Andrzej Tarlecki, What is a logic?, w: Logica Universalis, Birkhauser, Basel 2005.zobacz w PBN
- Ian Hayes, John Fitzgerald i Andrzej Tarlecki (red.), FM 2005: Formal Methods, International Symposium of Formal Methods Europe, Springer-Verlag, Berlin 2005.zobacz w PBN
- Lutz Schröder, Till Mossakowski, Andrzej Tarlecki, Bartek Klin i Piotr Hoffman, Amalgamation in the semantics of CASL, Theoretical Computer Science 331 2005, s. 215–247.zobacz w PBN
- Till Mossakowski, Don Sannella i Andrzej Tarlecki, A Simple Refinement Language for CASL, Lecture Notes In Computer Science 3423 2005, s. 162–185.zobacz w PBN
2004
- Don Sannella i Andrzej Tarlecki, Foundations. In: CASL User Manual, Lecture Notes In Computer Science 2900 2004, s. 125–129.zobacz w PBN
- Andrzej Tarlecki, Software Specification and Development in Heterogeneous Environments, w: Proceedings 1st International Workshop on Combination of Logics: Theoryand Applications CombLog'04, Instituto Superior Tecnico, Lisboa, Lisbon 2004.zobacz w PBN
- Andrzej Tarlecki, Editorial, Information Processing Letters 90 2004, s. 1–2.zobacz w PBN
- Jerzy Marcinkowski i Andrzej Tarlecki (red.), Computer Science Logic. 18th International Workshop, Springer, Berlin 2004.zobacz w PBN
- Hubert Baumeister, Maura Cerioli, Anne Haxthausen, Till Mossakowski, Peter Mosses, Don Sannella i Andrzej Tarlecki, CASL Semantics, Lecture Notes In Computer Science 2960 2004, s. 115–273.zobacz w PBN
- Michel Bidoit, Don Sannella i Andrzej Tarlecki, Toward component-oriented formal software development: an algebraic approach, Lecture Notes In Computer Science 2941 2004, s. 75–90.zobacz w PBN
2003
- Luis Filippe Andrade, Paolo Baldan, Hubert Baumeister, Roberto Bruni, Andrea Corradini, Rocco De Nicolo, Jose Luis Fiadeiro, Fabio Gadducci, Stefania Gnesi, Piotr Hoffman, Nora Koch, Piotr Kosiuczenko, Alessandro Lapadula, Diego Latella, Antonia Lopes, Michele Loreti, Mieke Massink, Franco Mazzanti, Ugo Montanari, Cristovao Oliveira, Rosario Pugliese, Andrzej Tarlecki, Michel Wermelinger, Martin Wirsing i Artur Zawłocki, AGILE: Software Architecture for Mobility., w: Recent Trends in Algebraic Development Techniques, 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers., Springer, 2003, s. 1–33.zobacz w PBN
- Andrzej Tarlecki, Abstract specification theory: an overview, w: Models, Algebras, and Logics of Engineering Software, IOS Press, Washington 2003.zobacz w PBN
- Jan Madey, Jose Fiadeiro i Andrzej Tarlecki (red.), Special Issue to Honour Professor W.M. Turski, Elsevier, Amsterdam 2003.zobacz w PBN
- Till Mossakowski, Anne Haxthausen, Donald Sannella i Andrzej Tarlecki, CASL --- The Common Algebraic Specification Language: semantics and proof theory, Computing And Informatics 22 2003, s. 285–321.zobacz w PBN
2002
- Andrzej Tarlecki, Michel Bidoit i Don Sannella, Architectural Specifications in CASL, Formal Aspects Of Computing 13 2002, s. 252–273.zobacz w PBN
- Andrzej Tarlecki, E. Astesiano, M. Bidoit, H. Kirchner, B. Krieg-Brueckner, P. Mosses i D. Sannella, CASL: The Common Algebraic Specification Language, Theoretical Computer Science 286 (2) 2002, s. 153–196.zobacz w PBN
- M. Bidoit, D. Sannella i Andrzej Tarlecki, Global Development via Local Observational Construction Steps, Lecture Notes In Computer Science 2420 2002, s. 1–24.zobacz w PBN
- M. Bidoit, D. Sannella i Andrzej Tarlecki, Toward Component-Oriented Formal Software Development: an Algebraic Approach, w: Proc. 9th Monterey Software Engineering Workshop 2002"Radical Innovations of Software and System Engineering in the Future", Universita Ca Foscari di Venezia, Venice 2002.zobacz w PBN
- Egidio Astesiano, Michel Bidoit, Hélène Kirchner, Bernd Krieg-Brückner, Peter D. Mosses, Donald Sannella i Andrzej Tarlecki, CASL: the Common Algebraic Specification Language, Theoretical Computer Science 286 2002, s. 153–196.zobacz w PBN
2001
- Andrzej Tarlecki, Piotr Hoffman, B. Klin, A. Schroeder i T. Mossakowski, Checking amalgamability conditions for CASL architectural specifications, Lecture Notes In Computer Science (2136) 2001, s. 451–463.zobacz w PBN
- Andrzej Tarlecki, Piotr Hoffman, B. Klin, A. Schroeder i T. Mossakowski, Semantics of architectural specifications in CASL, Lecture Notes In Computer Science (2029) 2001, s. 253–266.zobacz w PBN
- Andrzej Tarlecki, T. Mossakowski i L. Schroeder, Amalgamation in CASL via enriched signatures, Lecture Notes In Computer Science (2076) 2001, s. 993–1004.zobacz w PBN
- Grazyna Mirkowska, Andrzej Salwicki, Marian Srebrny i Andrzej Tarlecki, First order specifications of programmable data types, Siam Journal On Computing 30 2001, s. 2084–2096.zobacz w PBN
1999
- Donald Sannella i Andrzej Tarlecki, Algebraic Methods for Specification and Formal Development of Programs, Acm Computing Surveys 31 (3es) 1999, s. 10.zobacz w PBN
- Donald Sannella i Andrzej Tarlecki, Algebraic Preliminaries, w: Algebraic Foundations of Systems Specification, Springer, 1999, s. 13–30.zobacz w PBN
- Andrzej Tarlecki, Institutions: An Abstract Framework for Formal Specifications, w: Algebraic Foundations of Systems Specification, Springer, 1999, s. 105–130.zobacz w PBN
Nie jesteś zalogowany | zaloguj się
