BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × Canada
1 × Germany
1 × Greece
1 × Ireland
1 × Italy
2 × France
2 × USA
Collaborated with:
D.Sannella T.Mossakowski L.Schröder ∅ M.Wieth R.Harper B.Konikowska A.Blikle J.Chrzaszcz P.Czarnik A.Schubert F.Honsell J.Longley B.Klin P.Hoffman
Talks about:
specif (8) program (4) develop (4) algebra (3) toward (3) formal (3) structur (2) calculus (2) abstract (2) foundat (2)

Person: Andrzej Tarlecki

DBLP DBLP: Tarlecki:Andrzej

Facilitated 3 volumes:

ICALP 2007Ed
FM 2005Ed
CSL 2004Ed

Contributed to:

FoSSaCS 20142014
ICST 20122012
FASE 20012001
ICALP 20012001
FoSSaCS 20002000
ESOP 19921992
ICALP 19921992
VDM Europe 19901990
LICS 19891989
VDM Europe 19881988
POPL 19851985
TAPSOFT, Vol.1: CAAP 19851985
TAPSOFT, Vol.1: CAAP 19871987
TAPSOFT, Vol.2: CCIPL 19891989

Wrote 14 papers:

FoSSaCS-2014-MossakowskiT #calculus #specification
A Relatively Complete Calculus for Structured Heterogeneous Specifications (TM, AT), pp. 441–456.
ICST-2012-ChrzaszczCST #evolution #protocol #testing
Testing of Evolving Protocols (JC, PC, AS, AT), pp. 901–906.
FASE-2001-SchroderMTKH #architecture #semantics #specification
Semantics of Architectural Specifications in CASL (LS, TM, AT, BK, PH), pp. 253–268.
ICALP-2001-SchroderMT
Amalgamation in CASL via Enriched Signatures (LS, TM, AT), pp. 993–1004.
FoSSaCS-2000-HonsellLST #refinement #λ-calculus
Constructive Data Refinement in Typed λ Calculus (FH, JL, DS, AT), pp. 161–176.
ESOP-1992-Tarlecki #specification
Modules for an Model-Oriented Specification Language: A Proposal for MetaSoft (AT), pp. 451–472.
ICALP-1992-SannellaT #algebra #development #source code #specification #towards
Towards Formal Development of Programs from Algebraic Specifications: Model-Theoretic Foundations (DS, AT), pp. 656–671.
VDME-1990-TarleckiW
A Naive Domain Universe for VDM (AT, MW), pp. 552–579.
LICS-1989-HarperST #representation
Structure and Representation in LF (RH, DS, AT), pp. 226–237.
VDME-1988-KonikowskaTB #logic #specification #validation
A Three-Valued Logic for Software Specification and Validation (BK, AT, AB), pp. 218–242.
POPL-1985-SannellaT #development #ml #specification #standard
Program Specification and Development in Standard ML (DS, AT), pp. 67–77.
CAAP-1985-SannellaT #algebra #equivalence #on the #specification
On Observational Equivalence and Algebraic Specification (DS, AT), pp. 308–322.
CAAP-1987-SannellaT #algebra #development #implementation #source code #specification #towards
Toward Formal Development of Programs from Algebraic Specifications: Implementations Revisited (Extended Abstract) (DS, AT), pp. 96–110.
CCIPL-1989-SannellaT #development #ml #source code #towards
Toward Formal Development of ML Programs: Foundations and Methodology (Extended Abstract) (DS, AT), pp. 375–389.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.