Search

Your search keyword '"Tarlecki, Andrzej"' showing total 319 results

Search Constraints

Start Over You searched for: Author "Tarlecki, Andrzej" Remove constraint Author: "Tarlecki, Andrzej" Publication Type eBooks Remove constraint Publication Type: eBooks
319 results on '"Tarlecki, Andrzej"'

Search Results

1. On Normal Forms for Structured Specifications with Generating Constraints

2. Modularity of Ontologies in an Arbitrary Institution

3. The Foundational Legacy of ASL

14. A Relatively Complete Calculus for Structured Heterogeneous Specifications

15. Parchments for CafeOBJ Logics

16. Heterogeneous Logical Environments for Distributed Specifications

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

18. A Heterogeneous Approach to UML Semantics

19. Toward Specifications for Reconfigurable Component Systems : (Preliminary Abstract)

21. Horizontal Composability Revisited

22. A Simple Refinement Language for Casl

23. What is a Logic?

24. 10 Foundations

32. Algebraic Preliminaries

36. Moving between logical systems

44. A naive domain universe for VDM

45. Toward formal development of programs from algebraic specifications: Implementations revisited

46. Extended ML: An institution-independent framework for formal program development

47. Bits and pieces of the theory of institutions

48. Logic representation in LF : Report on work in progress

49. Toward formal development of ML programs: Foundations and methodology

50. Algebraic specifications of reachable higher-order algebras

Catalog

Books, media, physical & digital resources