Вы здесь

Главная

Tarlecki A.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
П A Three-valued logic for software specification and validation 1988 Konikowska B., Tarlecki A., Blikle A. PAS 08.06.1995
СТ AGILE: Software Architecture for Mobility 2003 Andrade L., Baldan P., Baumeister H., Bruni R., De Nicola R., Fiadeiro J. L., Gadducci F., Gnesi S., Hoffman P., Koch N., Kosiuczenko P., Lapadula A., Latella D., Lopes A., Loreti M., Massink M., Mazzanti U., Montanari U., Oliveira C., Pugliese R., Tarlecki A., Wermelinger M., Wirsing M., Zawlocki A. Lecture Notes in Computer Science 14.01.2004
П Abstract Specification Theory 2002 Tarlecki A. Techn.Univ.Munchen 24.08.2002
СТ Architectural Specifications in CASL 1999 Bidoit M., Sannella D., Tarlecki A. Lecture Notes in Computer Science 05.02.1999
СТ Constructive Data Refinement in Typed Lambda Calculus 2000 Honsell F., Longley J., Sannella D., Tarlecki A. Lecture Notes in Computer Science 25.04.2000
СТ Horizontal Composability Revisited 2006 Sannella D., Tarlecki A. Lecture Notes in Computer Science Lecture Notes in Computer Science 28.09.2006
СТ Interfaces and Extended ML 1994 Kahrs S., Sannella D., Tarlecki A. SIGPLAN Notices 30.08.1994
СТ Mind the Gap! Abstract Versus Concrete Models of Specifications 1996 Sannella D., Tarlecki A. Lecture Notes in Computer Science Mathematical Foundations of Computer Science 1996 11.10.1996
СТ On concervative extensions of syntax in system development 1991 Thorup M., Blikle A., Tarlecki A. Theoretical Computer Science 27.12.1991
СТ On conservative extensions of syntax in system development 1991 Blikle A., Tarlecki A., Thorup M. Images of Programming: Dedicated to the Memory of A.P. Ershov 07.02.1992
СТ Semantics of Architectural Specifications in CASL 2001 Schroder L., Mossakowski T., Tarlecki A., Klin B., Hoffman P. Lecture Notes in Computer Science 05.05.2001
СТ Some fundamental algebraic tools for the semantics of computation: Part 3. Indexed categories 1991 Tarlecki A., Burstall R., Goguen J. Theoretical Computer Science 25.12.1991
П The Dynamic Semantics of the BSI/VDM. Specification Language 1990 Larsen P. G., Tarlecki A., Pawlowski W., Borzyszkowski A., Wieth M. Techn.Univ.Denmark 26.05.1992
СТ Toward Component-Oriented Formal Software Development: An Algebraic Approach 2004 Bidoit M., Sannella D., Tarlecki A. Lecture Notes in Computer Science 27.04.2004
СТ Toward Formal Development of Programs from Algebraic Specifications: Model-Theoretic Foundations 1992 Sannela D., Tarlecki A. Lecture Notes in Computer Science 07.08.1992
СТ Toward Formal Development of Programs from Algebraic Specifications: Parameterisation Revisited 1992 Sannella D., Sokolowski S., Tarlecki A. Acta Informatica 04.02.1993

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Algebra and Coalgebra in Computer Science: Proc./Third International Conference, CALCO 2009, Udine, Italy, September 2009 2009 Lecture Notes in Computer Science
  1. Kurz A.
  2. Lenisa M.
  3. Tarlecki A.
 24.03.2010
СБ Automata, Languages, and Programming: Proc./34th International Colloquium, ICALP 2007. Wroclaw, Poland, July 2007 2007 Lecture Notes in Computer Science
  1. Arge L.
  2. Cachin Ch.
  3. Jurdzinski T.
  4. Tarlecki A.
 19.10.2007
СБ Computer Science Logic: Proc./18th International Workshop, CSL 2004; 13th Annual Conference of the EACSL. Karpacz, Poland, September 2004 2004 Lecture Notes in Computer Science
  1. Marcinkowski J.
  2. Tarlecki A.
 23.12.2004
СБ FM 2005: Formal Methods: International Symposium of Formal Methods Europe. Newcastle, UK, July 2005 2005 Lecture Notes in Computer Science
  1. Fitzgerald J.
  2. Hayes I. J.
  3. Tarlecki A.
 08.11.2005
СБ Recent Trends in Data Type Specification: Selected Papers/10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop. S.Margherita, Italy, May-June 1994 1995 Lecture Notes in Computer Science
  1. Astesiano E.
  2. Reggio G.
  3. Tarlecki A.
 23.05.1995