rdf-syntax-grammar
mods:
  schema location: http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
  title info:
    title: UML 2 semantics and applications
  name:
    name part: Lano, Kevin
    role:
      role term: author
  type of resource: text
  origin info:
    place:
      place term: nju
    place:
      place term: Hoboken, NJ
    publisher: John Wiley & Sons
    date issued: c2009
    date issued: 2009
    issuance: monographic
  language:
    language term: eng
  physical description:
    form: print
    extent: xv, 400 p. : ill. ; 25 cm.
  table of contents: 1. Introduction to the unified modeling language -- 2. The role of semantics -- 3. Considerations and rationale for a UML system model -- 4. Definition of the system model -- 5. Formal descriptive semantics of UML and its applications -- 6. Axiomatic semantics of UML class diagrams -- 7. Object constraints language: metamodeling semantics -- 8. Axiomatic semantics of state machines -- 9. Interactions -- 10. Co-algebraic framework for reasoning about interaction designs -- 11. Semantics of activity diagrams -- 12. Verification of UML models -- 13. Design verification with state invariants -- 14. Model transformation specification and verification
  note: edited by Kevin Lano
  note: Includes bibliographical references and index
  subject:
    topic: Application software
    topic: Development
  subject:
    topic: Computer software
    topic: Development
  subject:
    topic: Formal languages
    topic: Semantics
  subject:
    topic: UML (Computer science)
  identifier: 0470409088 (hbk.)
  identifier: 9780470409084 (hbk.)
  record info:
    record creation date: 100719
    record change date: 20101101093000.0
    record identifier: 0000067345