Вы здесь

Tarlecki A.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Horizontal Composability Revisited 2006 Sannella D., Tarlecki A. Lecture Notes in Computer Science Lecture Notes in Computer Science 28.09.2006
СТ Toward Component-Oriented Formal Software Development: An Algebraic Approach 2004 Bidoit M., Sannella D., Tarlecki A. Lecture Notes in Computer Science 27.04.2004
СТ 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
СТ 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
СТ Constructive Data Refinement in Typed Lambda Calculus 2000 Honsell F., Longley J., Sannella D., Tarlecki A. Lecture Notes in Computer Science 25.04.2000
СТ Architectural Specifications in CASL 1999 Bidoit M., Sannella D., Tarlecki A. Lecture Notes in Computer Science 05.02.1999
СТ 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
П A Three-valued logic for software specification and validation 1988 Konikowska B., Tarlecki A., Blikle A. PAS 08.06.1995
СТ Interfaces and Extended ML 1994 Kahrs S., Sannella D., Tarlecki A. SIGPLAN Notices 30.08.1994
СТ Toward Formal Development of Programs from Algebraic Specifications: Parameterisation Revisited 1992 Sannella D., Sokolowski S., Tarlecki A. Acta Informatica 04.02.1993
СТ Toward Formal Development of Programs from Algebraic Specifications: Model-Theoretic Foundations 1992 Sannela D., Tarlecki A. Lecture Notes in Computer Science 07.08.1992
П 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
СТ 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
СТ On concervative extensions of syntax in system development 1991 Thorup M., Blikle A., Tarlecki A. Theoretical Computer Science 27.12.1991
СТ 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