Andrzej Tarlecki

Proceedings of the 10th Conference on Algebra and Coalgebra in Computer Science, 2023

2018

On Normal Forms for Structured Specifications with Generating Constraints.

[BibT_eX]

[DOI]

Proceedings of the Graph Transformation, Specifications, and Nets, 2018

2017

Specification refinements: Calculi, tools, and applications.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2017

2015

Algebraic Constructions: A Simple Framework for Complex Dependencies and Parameterisation.

[BibT_eX]

[DOI]

Grzegorz Marczynski

Int. J. Softw. Informatics, 2015

The Foundational Legacy of ASL.

[BibT_eX]

[DOI]

Yazmín Angélica Ibáñez-García

Proceedings of the Software, 2015

Modularity of Ontologies in an Arbitrary Institution.

[BibT_eX]

[DOI]

Proceedings of the Logic, Rewriting, and Concurrency, 2015

2014

Răzvan Diaconescu, Institution-independent Model Theory.

[BibT_eX]

[DOI]

Stud Logica, 2014

Property-oriented semantics of structured specifications.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 2014

The Institution-Theoretic Scope of Logic Theorems.

[BibT_eX]

[DOI]

Razvan Diaconescu

Logica Universalis, 2014

Władysław Marek Turski (1938-2013).

[BibT_eX]

[DOI]

Inf. Process. Lett., 2014

A Relatively Complete Calculus for Structured Heterogeneous Specifications.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Software Science and Computation Structures, 2014

Parchments for CafeOBJ Logics.

[BibT_eX]

[DOI]

Proceedings of the Specification, Algebra, and Software, 2014

2012

Testing of Evolving Protocols.

[BibT_eX]

[DOI]

Proceedings of the Fifth IEEE International Conference on Software Testing, 2012

Foundations of Algebraic Specification and Formal Software Development.

[BibT_eX]

[DOI]

Monographs in Theoretical Computer Science. An EATCS Series, Springer, ISBN: 978-3-642-17335-6, 2012

2011

Some Nuances of Many-sorted Universal Algebra: A Review.

[BibT_eX]

[DOI]

Bull. EATCS, 2011

Modeling, Analysis, and Verification - The Formal Methods Manifesto 2010 (Dagstuhl Perspectives Workshop 10482).

[BibT_eX]

[DOI]

Dagstuhl Manifestos, 2011

2009

Preface.

[BibT_eX]

[DOI]

Lars Arge

Christian Cachin

Theor. Comput. Sci., 2009

What is a Logic Translation?

[BibT_eX]

[DOI]

Razvan Diaconescu

Logica Universalis, 2009

2008

Observational interpretation of Casl specifications.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 2008

Heterogeneous Logical Environments for Distributed Specifications.

[BibT_eX]

[DOI]

Proceedings of the Recent Trends in Algebraic Development Techniques, 2008

Observability Concepts in Abstract Data Type Specification, 30 Years Later.

[BibT_eX]

[DOI]

Proceedings of the Concurrency, 2008

A Heterogeneous Approach to UML Semantics.

[BibT_eX]

[DOI]

María Victoria Cengarle

Alexander Knapp

Proceedings of the Concurrency, 2008

2007

Toward Specifications for Reconfigurable Component Systems.

[BibT_eX]

[DOI]

Proceedings of the Petri Nets and Other Models of Concurrency, 2007

2006

Horizontal Composability Revisited.

[BibT_eX]

[DOI]

Proceedings of the Algebra, Meaning, and Computation, 2006

2005

Amalgamation in the semantics of CASL.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2005

2004

Editorial.

[BibT_eX]

[DOI]

Inf. Process. Lett., 2004

A Simple Refinement Language for Casl.

[BibT_eX]

[DOI]

Proceedings of the Recent Trends in Algebraic Development Techniques, 2004

2003

Foreword.

[BibT_eX]

[DOI]

José Luiz Fiadeiro

Jan Madey

Inf. Process. Lett., 2003

Casl - The Common Algebraic Specification Language: Semantics and Proof Theory.

[BibT_eX]

[DOI]

Comput. Artif. Intell., 2003

2002

CASL: the Common Algebraic Specification Language.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2002

Architectural Specifications in CASL.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2002

AGILE: Software Architecture for Mobility.

[BibT_eX]

[DOI]

Proceedings of the Recent Trends in Algebraic Development Techniques, 2002

Toward Component-Oriented Formal Software Development: An Algebraic Approach.

[BibT_eX]

[DOI]

Proceedings of the Radical Innovations of Software and Systems Engineering in the Future, 2002

Global Development via Local Observational Construction Steps.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Foundations of Computer Science 2002, 2002

2001

Checking Amalgamability Conditions for C ASL Architectural Specifications.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Foundations of Computer Science 2001, 2001

Amalgamation in CASL via Enriched Signatures.

[BibT_eX]

[DOI]

Lutz Schröder

Proceedings of the Automata, Languages and Programming, 28th International Colloquium, 2001

Semantics of Architectural Specifications in CASL.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2001

2000

First-Order Specifications of Programmable Data Types.

[BibT_eX]

[DOI]

SIAM J. Comput., 2000

Constructive Data Refinement in Typed Lambda Calculus.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Software Science and Computation Structures, 2000

1999

Institutions: An Abstract Framework for Formal Specifications.

[BibT_eX]

[DOI]

Proceedings of the Algebraic Foundations of Systems Specification, 1999

Algebraic Preliminaries.

[BibT_eX]

[DOI]

Proceedings of the Algebraic Foundations of Systems Specification, 1999

Algebraic Methods for Specification and Formal Development of Programs.

[BibT_eX]

[DOI]

ACM Comput. Surv., 1999

1998

Towards Heterogeneous Specifications.

[BibT_eX]

Proceedings of the Frontiers of Combining Systems, Second International Workshop, 1998

1997

The Definition of Extended ML: A Gentle Introduction.

[BibT_eX]

[DOI]

Stefan Kahrs

Theor. Comput. Sci., 1997

Foreword.

[BibT_eX]

[DOI]

Jan Madey

Wladyslaw M. Turski

Sci. Comput. Program., 1997

Essential Concepts of Algebraic Specification and Program Development.

[BibT_eX]

[DOI]

Formal Aspects Comput., 1997

Combining and representing logical systems using model-theoretic parchments.

[BibT_eX]

[DOI]

Wieslaw Pawlowski

Proceedings of the Recent Trends in Algebraic Development Techniques, 1997

Combining and Representing Logical Systems.

[BibT_eX]

[DOI]

Wieslaw Pawlowski

Proceedings of the Category Theory and Computer Science, 7th International Conference, 1997

1996

Mind the Gap! Abstract Versus Concrete Models of Specifications.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Foundations of Computer Science 1996, 1996

Behavioural Satisfaction and Equivalence in Concrete Model Categories.

[BibT_eX]

[DOI]

Proceedings of the Trees in Algebra and Programming, 1996

1995

Moving Between Logical Systems.

[BibT_eX]

[DOI]

Proceedings of the Recent Trends in Data Type Specification, 1995

1994

Structured Theory Presentations and Logic Representations.

[BibT_eX]

[DOI]

Robert Harper

Ann. Pure Appl. Log., 1994

Interfaces and Extended ML.

[BibT_eX]

[DOI]

Stefan Kahrs

Proceedings of the Workshop on Interface Definition Languages, 1994

1993

Algebraic specification and formal methods for program development: what are the real problems?

[BibT_eX]

[DOI]

Proceedings of the Current Trends in Theoretical Computer Science - Essays and Tutorials, 1993

The Semantics of Extended ML: A Gentle Introduction.

[BibT_eX]

[DOI]

Stefan Kahrs

Proceedings of the Semantics of Specification Languages (SoSL), 1993

1992

Toward Formal Development of Programs from Algebraic Specifications: Parameterisation Revisited.

[BibT_eX]

[DOI]

Stefan Sokolowski

Acta Informatica, 1992

Towards Formal Development of Programs from Algebraic Specifications: Model-Theoretic Foundations.

[BibT_eX]

[DOI]

Proceedings of the Automata, Languages and Programming, 19th International Colloquium, 1992

Modules for an Model-Oriented Specification Language: A Proposal for MetaSoft.

[BibT_eX]

[DOI]

Proceedings of the ESOP '92, 1992

1991

Some Fundamental Algebraic Tools for the Semantics of Computation: Part 3: Indexed Categories.

[BibT_eX]

[DOI]

Rod M. Burstall

Joseph A. Goguen

Theor. Comput. Sci., 1991

On Conservative Extensions of Syntax in System Development.

[BibT_eX]

[DOI]

Andrzej Blikle

Mikkel Thorup

Theor. Comput. Sci., 1991

A three-valued logic for software specification and validation.

[BibT_eX]

Beata Konikowska

Andrzej Blikle

Fundam. Informaticae, 1991

1990

Algebraic specification and formal methods for program development: what are the real problems?

[BibT_eX]

Bull. EATCS, 1990

A Naive Domain Universe for VDM.

[BibT_eX]

[DOI]

Morten Wieth

Proceedings of the VDM '90, 1990

Extended ML: Past, Present, and Future.

[BibT_eX]

[DOI]

Proceedings of the Recent Trends in Data Type Specification, 1990

A Kernel Specification Formalism with Higher-Order Parameterization.

[BibT_eX]

[DOI]

Proceedings of the Recent Trends in Data Type Specification, 1990

1989

Toward Formal Development of ML Programs: Foundations and Methodology (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the TAPSOFT'89: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1989

Structure and Representation in LF

[BibT_eX]

[DOI]

Robert Harper

Proceedings of the Fourth Annual Symposium on Logic in Computer Science (LICS '89), 1989

Logic Representation in LF.

[BibT_eX]

[DOI]

Robert Harper

Proceedings of the Category Theory and Computer Science, 1989

1988

Existence, Uniqueness, and Construction of Rewrite Systems.

[BibT_eX]

[DOI]

Nachum Dershowitz

Leo Marcus

SIAM J. Comput., 1988

Specifications in an Arbitrary Institution

[BibT_eX]

[DOI]

Inf. Comput., 1988

Toward Formal Development of Programs from Algebraic Specifications: Implementations Revisited.

[BibT_eX]

[DOI]

Acta Informatica, 1988

Algebraic Specification with Built-in Domain Constructions.

[BibT_eX]

[DOI]

Bernhard Möller

Proceedings of the CAAP '88, 1988

Formal Development of ML Programs: Methodological Aspects.

[BibT_eX]

Proceedings of the 6st Workshop on Abstract Data Type, 1988. University of Berlin, Germany, 1988

1987

On Observational Equivalence and Algebraic Specification.

[BibT_eX]

[DOI]

J. Comput. Syst. Sci., 1987

Toward Formal Development of Programs from Algebraic Specifications: Implementations Revisited (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the TAPSOFT'87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1987

Algebraic Specifications of Reachable Higher-Order Algebras.

[BibT_eX]

[DOI]

Bernhard Möller

Proceedings of the Recent Trends in Data Type Specification, 1987

1986

Quasi-varieties in Abstract Algebraic Institutions.

[BibT_eX]

[DOI]

J. Comput. Syst. Sci., 1986

Programming in the Large with Algebraic Module Specifications - Response.

[BibT_eX]

Proceedings of the Information Processing 86, 1986

1985

On the Existence of Free Models in Abstract Algebraic Institutuons.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1985

A Language of Specified Programs.

[BibT_eX]

[DOI]

Sci. Comput. Program., 1985

Algebraic specification of the abstract data type "Continuum".

[BibT_eX]

Manfred Broy

Bull. EATCS, 1985

Program Specification and Development in Standard ML.

[BibT_eX]

[DOI]

Proceedings of the Conference Record of the Twelfth Annual ACM Symposium on Principles of Programming Languages, 1985

Continuous abstract data types: basic machinery and results.

[BibT_eX]

[DOI]

Proceedings of the Fundamentals of Computation Theory, 1985

Bits and Pieces of the Theory of Institutions.

[BibT_eX]

[DOI]

Proceedings of the Category Theory and Computer Programming, 1985

Extended ML: an Institution - Independent Framework for Formal Program Development.

[BibT_eX]

[DOI]

Proceedings of the Category Theory and Computer Programming, 1985

1984

Building Specifications in an Arbitrary Institution.

[BibT_eX]

[DOI]

Proceedings of the Semantics of Data Types, International Symposium, 1984

Free Constructions in Algebraic Institutions.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Foundations of Computer Science 1984, 1984

Some Thoughts on Algebraic Specification.

[BibT_eX]

[DOI]

Proceedings of the Recent Trends in Data Type Specification, 1984

1983

Naive Denotational Semantics.

[BibT_eX]

Andrzej Blikle