640 results on '"Tarlecki, Andrzej"'
Search Results
2. Modularity of Ontologies in an Arbitrary Institution
3. The Foundational Legacy of ASL
4. Formal program development
5. Parameterisation
6. Working within an arbitrary logical system
7. Proofs for specifications
8. Behavioural specifications
9. Structured specifications
10. Category theory
11. Working with multiple logical systems
12. Simple equational specifications
13. Universal algebra
14. Interpolation Is (Not Always) Easy to Spoil
15. A Relatively Complete Calculus for Structured Heterogeneous Specifications
16. Parchments for CafeOBJ Logics
17. On Normal Forms for Structured Specifications with Generating Constraints
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)
22. What is a Logic? : In memoriam Joseph Goguen
23. Horizontal Composability Revisited
24. A Simple Refinement Language for Casl
25. What is a Logic?
26. 10 Foundations
27. Toward Component-Oriented Formal Software Development: An Algebraic Approach
28. Global Development via Local Observational Construction Steps
29. Amalgamation in CASL via Enriched Signatures
30. Semantics of Architectural Specifications in Casl
31. Checking Amalgamability Conditions forCasl Architectural Specifications
32. Constructive Data Refinement in Typed Lambda Calculus
33. Architectural Specifications in CASL
34. Algebraic Preliminaries
35. Institutions: An Abstract Framework for Formal Specifications
36. The Institution-Theoretic Scope of Logic Theorems
37. Combining and representing logical systems using model-theoretic parchments
38. Combining and representing logical systems
39. Moving between logical systems
40. Mind the gap! Abstract versus concrete models of specifications
41. Behavioural satisfaction and equivalence in concrete model categories
42. The Semantics of Extended ML: A Gentle Introduction
43. Răzvan Diaconescu, Institution-independent Model Theory
44. The Foundational Legacy of ASL
45. Toward formal development of programs from algebraic specifications: Model-theoretic foundations
46. Modules for a model-oriented specification language: A proposal for metasoft
47. Extended ML: Past, present and future
48. A kernel specification formalism with higher-order parameterisation
49. A naive domain universe for VDM
50. Parchments for CafeOBJ Logics
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.