319 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. 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)
20. What is a Logic? : In memoriam Joseph Goguen
21. Horizontal Composability Revisited
22. A Simple Refinement Language for Casl
23. What is a Logic?
24. 10 Foundations
25. Toward Component-Oriented Formal Software Development: An Algebraic Approach
26. Global Development via Local Observational Construction Steps
27. Amalgamation in CASL via Enriched Signatures
28. Semantics of Architectural Specifications in Casl
29. Checking Amalgamability Conditions forCasl Architectural Specifications
30. Constructive Data Refinement in Typed Lambda Calculus
31. Architectural Specifications in CASL
32. Algebraic Preliminaries
33. Institutions: An Abstract Framework for Formal Specifications
34. Combining and representing logical systems using model-theoretic parchments
35. Combining and representing logical systems
36. Moving between logical systems
37. Mind the gap! Abstract versus concrete models of specifications
38. Behavioural satisfaction and equivalence in concrete model categories
39. The Semantics of Extended ML: A Gentle Introduction
40. Toward formal development of programs from algebraic specifications: Model-theoretic foundations
41. Modules for a model-oriented specification language: A proposal for metasoft
42. Extended ML: Past, present and future
43. A kernel specification formalism with higher-order parameterisation
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
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.