Nie jesteś zalogowany | Zaloguj się

Andrzej Tarlecki

Liczba publikacji: 60

2023

Andrzej Tarlecki , Interpolation Is (Not Always) Easy to Spoil, 10th Conference on Algebra and Coalgebra in Computer Science, Bloomington, the United States of America, 19 czerwca 2023 - 23 czerwca 2023. Zobacz w PBN

2017

Mihai Codescu, Till Mossakowski, Donald Sannella, Andrzej Tarlecki , Specification refinements: Calculi, tools, and applications, Science of Computer Programming, 144 2017, s. 1-49. Zobacz w PBN

2015

Grzegorz Marczyński, Donald Sannella, Andrzej Tarlecki , Algebraic Constructions: A Simple Framework for Complex Dependencies and Parameterisation, International Journal of Software and Informatics, 2015. Zobacz w PBN
Yazmin Angélica Ibáñez-García, Till Mossakowski, Donald Sannella, Andrzej Tarlecki , Modularity of Ontologies in an Arbitrary Institution., Logic, Rewriting, and Concurrency - Essays dedicated to José Meseguer on the Occasion of His 65th Birthday., 2015. Zobacz w PBN
Donald Sannella, Andrzej Tarlecki , The Foundational Legacy of ASL., Software, Services, and Systems - Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering., 2015. Zobacz w PBN

2014

Till Mossakowski, Andrzej Tarlecki , A relatively complete calculus for structured heterogeneous specifications, 2014. Zobacz w PBN
Till Mossakowski, Wiesław Pawłowski, Donald Sannella, Andrzej Tarlecki , Parchments for CafeOBJ Logics, 2014. Zobacz w PBN
Donald Sannella, Andrzej Tarlecki , Property-oriented semantics of structured specifications, Mathematical Structures in Computer Science, 2014. Zobacz w PBN
Andrzej Tarlecki , R\uazvan Diaconescu, Institution-independent Model Theory, Studia Logica, 2014. Zobacz w PBN
Razvan Diaconescu, Till Mossakowski, Andrzej Tarlecki , The Institution-Theoretic Scope of Logic Theorems, Logica Universalis, 2014. Zobacz w PBN
Andrzej Tarlecki , Władysław Marek Turski (1938 - 2013), Formal Aspects of Computing, 2014. Zobacz w PBN
Andrzej Tarlecki , Władysław Marek Turski (1938-2013), Information Processing Letters, 2014. Zobacz w PBN

2012

Donald Sannella, Andrzej Tarlecki , Foundations of Algebraic Specification and Formal Software Development, 2012. Zobacz w PBN
Jacek Chrząszcz, Patryk Czarnik, Aleksy Schubert , Andrzej Tarlecki , Testing of Evolving Protocols, IEEE Sixth International ConferIEEE Sixth International Conference on Software Testing, Verification and Validation 2012, Montreal, Canada, 2012. Zobacz w PBN

2011

Joerg Kreiker, Andrzej Tarlecki , Moshe Vardi, Reinhard Wilhelm, Modeling, Analysis, and Verification: The Formal Methods Manifesto 2010, 2011. Zobacz w PBN
Alexander Kurz, Andrzej Tarlecki , Special issue on Algebra and Coalgebra in Computer Science (CALCO 2009), 2011. Zobacz w PBN

2009

Till Mossakowski, Andrzej Tarlecki , Heterogeneous Logical Environments for Distributed Specifications, Lecture Notes in Computer Science, 2009. Zobacz w PBN
Lars Arge, Christian Cachin, Andrzej Tarlecki , Preface, Theoretical Computer Science, 2009. Zobacz w PBN
L. Arge, Ch. Cachin, Andrzej Tarlecki , Special issue on Automata, Languages and Programming (ICALP 2007), 2009. Zobacz w PBN
Alexander Kurz, Marina Lenisa, Andrzej Tarlecki , Third International Conference on Algebra and Coalgebra in Computer Science, 2009. Zobacz w PBN
R. Diaconescu, T. Mossakowski, Andrzej Tarlecki , What is a Logic Translation?, Logica Universalis, 2009. Zobacz w PBN

2008

María Victoria Cengarle, Alexander Knapp, Andrzej Tarlecki , Martin Wirsing, A Heterogeneous Approach to UML Semantics, 2008. Zobacz w PBN
A. Haxthausen, T. Mossakowski, D. Sannella, Andrzej Tarlecki , CASL --- The Common Algebraic Specification Language, Logics of Specification Languages, 2008. Zobacz w PBN
Donald Sannella, Andrzej Tarlecki , Observability Concepts in Abstract Data Type Specification, 30 Years Later, 2008. Zobacz w PBN
Michel Bidoit, Donald Sannella, Andrzej Tarlecki , Observational interpretation of Casl specifications, Mathematical Structures in Computer Science, 2008. Zobacz w PBN

2007

Lars Arge, Christian Cachin, Tomasz Jurdziński, Andrzej Tarlecki , Automata, Languages and Programming, 34th International Colloquium, ICALP 2007, Wroclaw, Poland, July 9-13, 2007, Proceedings., 2007. Zobacz w PBN
Andrzej Tarlecki , Toward specifications for reconfigurable component systems, Lecture Notes in Computer Science, 2007. Zobacz w PBN

2006

Don Sannella, Andrzej Tarlecki , Horizontal composability revisited, Lecture Notes in Computer Science, 2006. Zobacz w PBN

2005

Till Mossakowski, Don Sannella, Andrzej Tarlecki , A Simple Refinement Language for CASL, Lecture Notes in Computer Science, 2005. Zobacz w PBN
Piotr Hoffman, Bartek Klin, Till Mossakowski, Lutz Schröder, Andrzej Tarlecki , Amalgamation in the semantics of CASL, Theoretical Computer Science, 2005. Zobacz w PBN
John Fitzgerald, Ian Hayes, Andrzej Tarlecki , FM 2005: Formal Methods, International Symposium of Formal Methods Europe, 2005. Zobacz w PBN
Razvan Diaconescu, Joseph Goguen, Till Mossakowski, Andrzej Tarlecki , What is a logic?, 2005. Zobacz w PBN
R. Diaconescu, J. Goguen, T. Mossakowski, Andrzej Tarlecki , What is a logics?, 2005. Zobacz w PBN

2004

Hubert Baumeister, Maura Cerioli, Anne Haxthausen, Till Mossakowski, Peter Mosses, Don Sannella, Andrzej Tarlecki , CASL Semantics, Lecture Notes in Computer Science, 2004. Zobacz w PBN
Jerzy Marcinkowski, Andrzej Tarlecki , Computer Science Logic. 18th International Workshop, 2004. Zobacz w PBN
Andrzej Tarlecki , Editorial, Information Processing Letters, 2004. Zobacz w PBN
Don Sannella, Andrzej Tarlecki , Foundations. In: CASL User Manual, Lecture Notes in Computer Science, 2004. Zobacz w PBN
Andrzej Tarlecki , Software Specification and Development in Heterogeneous Environments, 2004. Zobacz w PBN
Michel Bidoit, Don Sannella, Andrzej Tarlecki , Toward component-oriented formal software development: an algebraic approach, Lecture Notes in Computer Science, 2004. Zobacz w PBN

2003

Andrzej Tarlecki , Abstract specification theory: an overview, 2003. Zobacz w PBN
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, Artur Zawłocki, AGILE: Software Architecture for Mobility., 16th International Workshop on Algebraic Development Techniques, Frauenchiemsee, Germany, 24 września 2002 - 27 września 2002. Zobacz w PBN
Anne Haxthausen, Till Mossakowski, Donald Sannella, Andrzej Tarlecki , CASL --- The Common Algebraic Specification Language: semantics and proof theory, Computing and Informatics, 2003. Zobacz w PBN
Jose Fiadeiro, Jan Madey, Andrzej Tarlecki , Special Issue to Honour Professor W.M. Turski, 2003. Zobacz w PBN

2002

Michel Bidoit, Don Sannella, Andrzej Tarlecki , Architectural Specifications in CASL, Formal Aspects of Computing, 2002. Zobacz w PBN
E. Astesiano, M. Bidoit, H. Kirchner, B. Krieg-Brueckner, P. Mosses, D. Sannella, Andrzej Tarlecki , CASL: The Common Algebraic Specification Language, Theoretical Computer Science, 2002. Zobacz w PBN
M. Bidoit, D. Sannella, Andrzej Tarlecki , Global Development via Local Observational Construction Steps, Lecture Notes in Computer Science, 2002. Zobacz w PBN
M. Bidoit, D. Sannella, Andrzej Tarlecki , Toward Component-Oriented Formal Software Development: an Algebraic Approach, 2002. Zobacz w PBN

2001

T. Mossakowski, L. Schroeder, Andrzej Tarlecki , Amalgamation in CASL via enriched signatures, Lecture Notes in Computer Science, 2001. Zobacz w PBN
Piotr Hoffman, B. Klin, T. Mossakowski, A. Schroeder, Andrzej Tarlecki , Checking amalgamability conditions for CASL architectural specifications, Lecture Notes in Computer Science, 2001. Zobacz w PBN
Grazyna Mirkowska, Andrzej Salwicki, Marian Srebrny, Andrzej Tarlecki , First order specifications of programmable data types, SIAM Journal on Computing, 2001. Zobacz w PBN
Piotr Hoffman, B. Klin, T. Mossakowski, A. Schroeder, Andrzej Tarlecki , Semantics of architectural specifications in CASL, Lecture Notes in Computer Science, 2001. Zobacz w PBN

2000

F Honsell, J Longley, D Sannella, Andrzej Tarlecki , Constructive data refinement in typed lambda calculus, Lecture Notes in Computer Science, 2000. Zobacz w PBN
Andrzej Tarlecki , Towards heterogeneous specifications, 2000. Zobacz w PBN

1999

Donald Sannella, Andrzej Tarlecki , Algebraic Methods for Specification and Formal Development of Programs, ACM Computing Surveys, 1999. Zobacz w PBN
Donald Sannella, Andrzej Tarlecki , Algebraic Preliminaries, 1999. Zobacz w PBN
Andrzej Tarlecki , Institutions: An Abstract Framework for Formal Specifications, Algebraic Foundations of Systems Specification, 1999. Zobacz w PBN

1997

Stefan Kahrs, Donald Sannella, Andrzej Tarlecki , The definition of Extended ML: A gentle introduction, Theoretical Computer Science, 1997. Zobacz w PBN