[CSUSB]>> [CNS]>> [CSE]>> [R J Botting]>> biba.php

Bibliographic Item (1.0)

Kiniry02

  1. Joseph R. Kiniry <kiniry@acm.org>
  2. Semantic Component Composition
  3. Submitted to GCSE/SAIG '02, arXiv.org e-Print archive Mon, 15 Apr 2002 [ 0204036and Ph.D. Thesis CalTech] .
  4. =ADVERT THEORY MODULES CORRECTNESS CONTRACT REUSE COMPONENTS SEMANTICS Kind-theory LOGIC QUALITIES BON Jiki
  5. author attempted to develop a way to describe components, calculate inter-operation, and to lead automatically generating adapters to connect components.
  6. instance : kind
  7. kinds: 2 inheritance relations, 2 inclusion relations, several equivalences, 2 realization relations, 3 composition operators, 2 interpreter mappings, a canonical operator [_]
  8. Compare with many previous logistic systems going back to Aristotle.
  9. semantic_ properties:=meta_information | dependencies | inheritance | contractual | concurrency | usage | pending_work | versioning | documentation | Miscellaneous.
  10. meta_information:= author | bon | bug | copyright | description | history | license | title,
  11. dependencies:= references | use.
  12. inheritance:= hides | overrides | realizes,
  13. contractual:=ensure | generate | invariant | modifies | require,
  14. usage:= param | return | exception.
  15. pending_work:= idea | review | todo.
  16. versioning:= version | deprecated | since.
  17. documentation:= design | equivalent | example | see.
  18. Miscellaneous:= guard | values | time_complexity | space_complexity.

Search for bibliographic items containing a matching string.


(Search uses POSIX regular expressions and ignores case)

Search for a specific bibliographic item by name.



To see the complete bibliography (1Mb+) select:[Bibliography]