| ||
1. | Heterogeneous Logical Environments for Distributed Specifications
LECTURE NOTES IN COMPUTER SCIENCE Tom 5486 r. 2009, str. 266-289 (Artykuł konferencyjny) Till Mossakowski, Andrzej Tarlecki | |
2. | Preface
THEORETICAL COMPUTER SCIENCE Tom 410 Nr 18 r. 2009, str. (Artykuł) Lars Arge, Christian Cachin, Andrzej Tarlecki | |
3. | Preface
LECTURE NOTES IN COMPUTER SCIENCE Tom 5728 r. 2009, str. 6-8 (Inne) A. Kurz (Autor przedmowy), M. Lenisa (Autor przedmowy), Andrzej Tarlecki (Autor przedmowy) | |
4. | What is a Logic Translation?
LOGICA UNIVERSALIS Tom 3 r. 2009, str. 95-124 (Artykuł) R. Diaconescu, T. Mossakowski, Andrzej Tarlecki | |
5. | Observational interpretation of Casl specifications
MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE Tom 18 Nr 2 r. 2008, str. 325-371 (Artykuł) Michel Bidoit, Donald Sannella, Andrzej Tarlecki | |
6. | Toward specifications for reconfigurable component systems
LECTURE NOTES IN COMPUTER SCIENCE Tom 4546 r. 2007, str. 24-28 (Artykuł konferencyjny) Andrzej Tarlecki | |
7. | Horizontal composability revisited
LECTURE NOTES IN COMPUTER SCIENCE Tom 4060 r. 2006, str. 296-316 (Artykuł) Don Sannella, Andrzej Tarlecki | |
8. | A Simple Refinement Language for CASL
LECTURE NOTES IN COMPUTER SCIENCE Tom 3423 r. 2005, str. 162-185 (Artykuł konferencyjny) Till Mossakowski, Don Sannella, Andrzej Tarlecki | |
9. | Amalgamation in the semantics of CASL
THEORETICAL COMPUTER SCIENCE Tom 331 r. 2005, str. 215-247 (Artykuł) Lutz Schroeder, Till Mossakowski, Andrzej Tarlecki, Piotr Hoffman, Bartosz Klin | |
10. | A Simple Refinement Language for CASL
LECTURE NOTES IN COMPUTER SCIENCE Tom 3423 r. 2004, str. 162-185 (Artykuł konferencyjny) Till Mossakowski, Don Sannella, Andrzej Tarlecki | |
11. | CASL Semantics
LECTURE NOTES IN COMPUTER SCIENCE Tom 2960 r. 2004, str. 115-273 (Artykuł konferencyjny) Hubert Baumeister, Maura Cerioli, Anne Haxthausen, Till Mossakowski, Peter Mosses, Don Sannella, Andrzej Tarlecki | |
12. | Editorial
INFORMATION PROCESSING LETTERS Tom 90 r. 2004, str. 1-2 (Inne) Andrzej Tarlecki | |
13. | Foundations. In: CASL User Manual
LECTURE NOTES IN COMPUTER SCIENCE Tom 2900 r. 2004, str. 125-129 (Artykuł) Don Sannella, Andrzej Tarlecki | |
14. | Toward component-oriented formal software development: an algebraic approach
LECTURE NOTES IN COMPUTER SCIENCE Tom 2941 r. 2004, str. 75-90 (Artykuł konferencyjny) Michel Bidoit, Don Sannella, Andrzej Tarlecki | |
15. | CASL --- The Common Algebraic Specification Language: semantics and proof theory
COMPUTING AND INFORMATICS Tom 22 r. 2003, str. 285-321 (Artykuł) Till Mossakowski, Anne Haxthausen, Donald Sannella, Andrzej Tarlecki | |
16. | Architectural Specifications in CASL
Formal Aspects of Computing Tom 13 r. 2002, str. 252-273 (Artykuł) Andrzej Tarlecki, Michel Bidoit, Don Sannella | |
17. | CASL: The Common Algebraic Specification Language
THEORETICAL COMPUTER SCIENCE Tom 286 Nr 2 r. 2002, str. 153-196 (Artykuł) Andrzej Tarlecki, E. Astesiano, M. Bidoit, H. Kirchner, B. Krieg-Brueckner, P. Mosses, D. Sannella | |
18. | Global Development via Local Observational Construction Steps
LECTURE NOTES IN COMPUTER SCIENCE Tom 2420 r. 2002, str. 1-24 (Artykuł) M. Bidoit, D. Sannella, Andrzej Tarlecki | |
19. | Amalgamation in CASL via enriched signatures
LECTURE NOTES IN COMPUTER SCIENCE Nr 2076 r. 2001, str. 993-1004 (Artykuł) Andrzej Tarlecki, T. Mossakowski, L. Schroeder | |
20. | Checking amalgamability conditions for CASL architectural specifications
LECTURE NOTES IN COMPUTER SCIENCE Nr 2136 r. 2001, str. 451-463 (Artykuł) Andrzej Tarlecki, Piotr Hoffman, B. Klin, A. Schroeder, T. Mossakowski | |
21. | First order specifications of programmable data types
SIAM JOURNAL ON COMPUTING Tom 30 r. 2001, str. 2084-2096 (Artykuł) Grazyna Mirkowska, Andrzej Salwicki, Marian Srebrny, Andrzej Tarlecki | |
22. | Semantics of architectural specifications in CASL
LECTURE NOTES IN COMPUTER SCIENCE Nr 2029 r. 2001, str. 253-266 (Artykuł) Andrzej Tarlecki, Piotr Hoffman, B. Klin, A. Schroeder, T. Mossakowski | |
23. | Constructive data refinement in typed lambda calculus
LECTURE NOTES IN COMPUTER SCIENCE Tom 1784 r. 2000, str. 161-177 (Artykuł) Andrzej Tarlecki, F Honsell, J Longley, D Sannella | |
| ||
24. | Foundations of Algebraic Specification and Formal Software Development
Springer, r. 2012 (Książka) Donald Sannella, Andrzej Tarlecki | |
25. | Special issue on Algebra and Coalgebra in Computer Science (CALCO 2009)
, r. 2011 (Książka) Alexander Kurz (Redaktor), Andrzej Tarlecki (Redaktor) |