Search

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

Search Constraints

Start Over You searched for: Author "Tarlecki, Andrzej" Remove constraint Author: "Tarlecki, Andrzej"
640 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. Interpolation Is (Not Always) Easy to Spoil

15. A Relatively Complete Calculus for Structured Heterogeneous Specifications

16. Parchments for CafeOBJ Logics

18. Heterogeneous Logical Environments for Distributed Specifications

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

20. A Heterogeneous Approach to UML Semantics

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

23. Horizontal Composability Revisited

24. A Simple Refinement Language for Casl

25. What is a Logic?

26. 10 Foundations

34. Algebraic Preliminaries

39. Moving between logical systems

49. A naive domain universe for VDM

Catalog

Books, media, physical & digital resources