NLU Meghalaya Library

Online Public Access Catalogue (OPAC)

UML 2 semantics and applications / (Record no. 11400)

MARC details
000 -LEADER
fixed length control field 08107cam a2200973 a 4500
001 - CONTROL NUMBER
control field ocn495092210
003 - CONTROL NUMBER IDENTIFIER
control field OCoLC
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20240523125531.0
006 - FIXED-LENGTH DATA ELEMENTS--ADDITIONAL MATERIAL CHARACTERISTICS
fixed length control field m o d
007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION
fixed length control field cr cnu---unuuu
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 090304s2009 njua ob 001 0 eng d
040 ## - CATALOGING SOURCE
Original cataloging agency CDX
Language of cataloging eng
Description conventions pn
Transcribing agency CDX
Modifying agency N$T
-- YDXCP
-- DG1
-- CIT
-- IDEBK
-- E7B
-- UBF
-- DG1
-- OCLCQ
-- FVL
-- OCLCQ
-- EBLCP
-- B24X7
-- OCLCQ
-- DEBSZ
-- OCLCQ
-- OCLCF
-- OCLCQ
-- MHW
-- OTZ
-- UKDOC
-- OCLCQ
-- DEBBG
-- AZK
-- LOA
-- CNNOR
-- DG1
-- MOR
-- LIP
-- PIFAG
-- ZCU
-- LIV
-- OCLCQ
-- MERUC
-- OCLCQ
-- U3W
-- OCLCQ
-- STF
-- BRL
-- WRM
-- LND
-- NRAMU
-- ICG
-- INT
-- VT2
-- AU@
-- COO
-- OCLCQ
-- G3B
-- TKN
-- OCLCQ
-- WYU
-- OCLCQ
-- DKC
-- OCLCQ
-- VLY
-- BRF
-- VHC
-- OCLCO
-- OCLCQ
-- OCLCO
-- OCLCL
016 7# - NATIONAL BIBLIOGRAPHIC AGENCY CONTROL NUMBER
Record control number 015336816
Source Uk
019 ## -
-- 463438608
-- 646844868
-- 746577151
-- 748590972
-- 770869034
-- 859865468
-- 961529127
-- 962687659
-- 1037531213
-- 1038384623
-- 1043065641
-- 1055407138
-- 1058057043
-- 1063815584
-- 1162536587
-- 1290103464
-- 1303493095
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9780470522615
Qualifying information (electronic bk.)
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 0470522615
Qualifying information (electronic bk.)
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9780470522622
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 0470522623
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 0470409088
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9780470409084
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9786612331633
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 6612331631
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 1282331639
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9781282331631
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
Canceled/invalid ISBN 9780470409084
024 7# - OTHER STANDARD IDENTIFIER
Standard number or code 10.1002/9780470522622
Source of number or code doi
029 0# - OTHER SYSTEM CONTROL NUMBER (OCLC)
OCLC library identifier CDX
System control number 11206347
029 1# - OTHER SYSTEM CONTROL NUMBER (OCLC)
OCLC library identifier AU@
System control number 000046756038
029 1# - OTHER SYSTEM CONTROL NUMBER (OCLC)
OCLC library identifier AU@
System control number 000053263641
029 1# - OTHER SYSTEM CONTROL NUMBER (OCLC)
OCLC library identifier AU@
System control number 000060064700
029 1# - OTHER SYSTEM CONTROL NUMBER (OCLC)
OCLC library identifier CHNEW
System control number 000934506
029 1# - OTHER SYSTEM CONTROL NUMBER (OCLC)
OCLC library identifier CHVBK
System control number 480148503
029 1# - OTHER SYSTEM CONTROL NUMBER (OCLC)
OCLC library identifier DEBBG
System control number BV043390490
029 1# - OTHER SYSTEM CONTROL NUMBER (OCLC)
OCLC library identifier DEBBG
System control number BV044155213
029 1# - OTHER SYSTEM CONTROL NUMBER (OCLC)
OCLC library identifier DEBSZ
System control number 372883656
029 1# - OTHER SYSTEM CONTROL NUMBER (OCLC)
OCLC library identifier DEBSZ
System control number 397008511
029 1# - OTHER SYSTEM CONTROL NUMBER (OCLC)
OCLC library identifier DEBSZ
System control number 400435632
029 1# - OTHER SYSTEM CONTROL NUMBER (OCLC)
OCLC library identifier DEBSZ
System control number 43100319X
029 1# - OTHER SYSTEM CONTROL NUMBER (OCLC)
OCLC library identifier NZ1
System control number 14242171
035 ## - SYSTEM CONTROL NUMBER
System control number (OCoLC)495092210
Canceled/invalid control number (OCoLC)463438608
-- (OCoLC)646844868
-- (OCoLC)746577151
-- (OCoLC)748590972
-- (OCoLC)770869034
-- (OCoLC)859865468
-- (OCoLC)961529127
-- (OCoLC)962687659
-- (OCoLC)1037531213
-- (OCoLC)1038384623
-- (OCoLC)1043065641
-- (OCoLC)1055407138
-- (OCoLC)1058057043
-- (OCoLC)1063815584
-- (OCoLC)1162536587
-- (OCoLC)1290103464
-- (OCoLC)1303493095
037 ## - SOURCE OF ACQUISITION
Stock number 10.1002/9780470522622
Source of stock number/acquisition Wiley InterScience
Note http://www3.interscience.wiley.com
050 #4 - LIBRARY OF CONGRESS CALL NUMBER
Classification number QA76.76.D47
Item number U39 2009eb
072 #7 - SUBJECT CATEGORY CODE
Subject category code COM
Subject category code subdivision 051010
Source bisacsh
072 #7 - SUBJECT CATEGORY CODE
Subject category code K
Source bicssc
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 005.13/1
Edition number 22
049 ## - LOCAL HOLDINGS (OCLC)
Holding library MAIN
245 00 - TITLE STATEMENT
Title UML 2 semantics and applications /
Statement of responsibility, etc. edited by Kevin Lano.
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Place of publication, distribution, etc. Hoboken, NJ :
Name of publisher, distributor, etc. Wiley,
Date of publication, distribution, etc. �2009.
300 ## - PHYSICAL DESCRIPTION
Extent 1 online resource (xv, 400 pages) :
Other physical details illustrations
336 ## - CONTENT TYPE
Content type term text
Content type code txt
Source rdacontent
337 ## - MEDIA TYPE
Media type term computer
Media type code c
Source rdamedia
338 ## - CARRIER TYPE
Carrier type term online resource
Carrier type code cr
Source rdacarrier
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc. note Includes bibliographical references and index.
505 0# - FORMATTED CONTENTS NOTE
Formatted contents note Cover13; -- CONTENTS -- CONTRIBUTORS -- PREFACE -- 1 INTRODUCTION TO THE UNIFIED MODELING LANGUAGE -- 1.1 Introduction -- 1.2 Class Diagrams -- 1.3 Object Diagrams -- 1.4 Use Cases -- 1.5 State Machines -- 1.6 Object Constraint Language -- 1.7 Interaction Diagrams -- 1.8 Activity Diagrams -- 1.9 Deployment Diagrams -- 1.10 Relationships Between UML Models -- 1.11 Summary -- 2 THE ROLE OF SEMANTICS -- 2.1 Introduction -- 2.2 Different Semantic Approaches -- 2.3 Applications of Semantics -- 2.4 UML Semantics -- 2.5 Applications of Semantics to UML -- 2.6 Application of Semantics to the Use of UML -- 2.7 Summary -- 3 CONSIDERATIONS AND RATIONALE FOR A UML SYSTEM MODEL -- 3.1 Introduction -- 3.2 General Approach to Semantics -- 3.3 Structuring the Semantics of UML -- 3.4 The Math Behind the System Model -- 3.5 What Is the System Model? -- 3.6 Usage Scenarios -- 3.7 Concluding Remarks -- 4 DEFINITION OF THE SYSTEM MODEL -- 4.1 Introduction -- 4.2 Notational Conventions -- 4.3 Static Part of the System Model -- 4.4 Control Part of the System Model -- 4.5 Messages and Events in the System Model -- 4.6 Object State -- 4.7 Event-Based Object Behavior -- 4.8 Timed Object Behavior -- 4.9 The System Model Definition -- Appendix A.1 State Transition Systems -- Appendix A.2 Timed State Transition Systems -- 5 FORMAL DESCRIPTIVE SEMANTICS OF UML AND ITS APPLICATIONS -- 5.1 Introduction -- 5.2 Definition of Descriptive Semantics in FOPL -- 5.3 The LAMBDES Tool -- 5.4 Applications Using Model and Metamodel Analysis -- 5.5 Conclusions -- 6 AXIOMATIC SEMANTICS OF UML CLASS DIAGRAMS -- 6.1 Introduction -- 6.2 Real-Time Action Logic -- 6.3 Semantics of Class Diagrams -- 6.4 Application of the Semantics -- 6.5 Related Work -- 6.6 Conclusions -- 7 OBJECT CONSTRAINT LANGUAGE: METAMODELING SEMANTICS -- 7.1 Introduction -- 7.2 Metamodeling Semantics -- 7.3 OCL Semantics: Types and Values -- 7.4 OCL Semantics: Expressions and Evaluations -- 7.5 Summary and Conclusions -- 8 AXIOMATIC SEMANTICS OF STATE MACHINES -- 8.1 Introduction -- 8.2 State Machine Semantics -- 8.3 Extended State Machines -- 8.4 Semantics for Extended State Machines -- 8.5 Solutions for Semantic Problems -- 8.6 Structured Behavior State Machines -- 8.7 Related Work -- 8.8 Summary -- 9 INTERACTIONS -- 9.1 Introduction -- 9.2 Trace-Based Semantics -- 9.3 Alternative Semantics -- 9.4 Implementation and Refinement -- 9.5 Verification and Validation -- 10 CO-ALGEBRAIC SEMANTIC FRAMEWORK FOR REASONING ABOUT INTERACTION DESIGNS -- 10.1 Introduction -- 10.2 Why Co-algebras? -- 10.3 A Semantics for UML Sequence Diagrams -- 10.4 New Sequence Diagrams from Old -- 10.5 Coercions and Designs -- 10.6 A Calculus for Interactions -- 10.7 Concluding Remarks -- 11 SEMANTICS OF ACTIVITY DIAGRAMS -- 11.1 Introduction -- 11.2 Semantics of Structured Activities -- 11.3 Semantics of Intermediate Activities -- 11.4 Data Flow Semantics -- 11.5 Semantic Analysis -- 11.6 Related Work -- 11.7 Summary -- 12 VERIFICATION OF UML MODELS -- 12.1 Introduction -- 12.2 Class Diagrams -- 12.3 State Machine Diagrams -- 12.4 Sequence Diagrams -- 12.5 Summary -- 13 DESIGN VERIFICATION WITH STATE INVARIANTS -- 13.1 Int.
588 0# - SOURCE OF DESCRIPTION NOTE
Source of description note Print version record.
520 ## - SUMMARY, ETC.
Summary, etc. A coherent and integrated account of the leading UML 2 semantics work and the practical applications of UML semantics development With contributions from leading experts in the field, the book begins with an introduction to UML and goes on to offer in-depth and up-to-date coverage of: The role of semantics Considerations and rationale for a UML system model Definition of the UML system model UML descriptive semantics Axiomatic semantics of UML class diagrams The object constraint language Axiomatic semantics of state machines A coalgebraic semantic framework for reasoning about interaction des.
546 ## - LANGUAGE NOTE
Language note English.
590 ## - LOCAL NOTE (RLIN)
Local note John Wiley and Sons
Provenance (VM) [OBSOLETE] Wiley Online Library: Complete oBooks
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Computer software
General subdivision Development.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Application software
General subdivision Development.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element UML (Computer science)
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Formal languages
General subdivision Semantics.
650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Logiciels d'application
General subdivision D�eveloppement.
650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element UML (Informatique)
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element COMPUTERS
General subdivision Programming Languages
-- General.
Source of heading or term bisacsh
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Application software
General subdivision Development
Source of heading or term fast
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Computer software
General subdivision Development
Source of heading or term fast
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Formal languages
General subdivision Semantics
Source of heading or term fast
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element UML (Computer science)
Source of heading or term fast
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Lano, K.
758 ## - RESOURCE IDENTIFIER
Relationship information has work:
Label UML 2 semantics and applications (Text)
Real World Object URI https://id.oclc.org/worldcat/entity/E39PCGxVRHK8T8Xwcv3fcYbdpP
Relationship https://id.oclc.org/worldcat/ontology/hasWork
776 08 - ADDITIONAL PHYSICAL FORM ENTRY
Relationship information Print version:
Title UML 2 semantics and applications.
Place, publisher, and date of publication Hoboken, N.J. : John Wiley & Sons, �2009
International Standard Book Number 9780470409084
Record control number (DLC) 2009008870
-- (OCoLC)313078322
856 40 - ELECTRONIC LOCATION AND ACCESS
Uniform Resource Identifier <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9780470522622">https://onlinelibrary.wiley.com/doi/book/10.1002/9780470522622</a>
938 ## -
-- 123Library
-- 123L
-- 11464
938 ## -
-- Books 24x7
-- B247
-- bks00033734
938 ## -
-- Coutts Information Services
-- COUT
-- 11206347
938 ## -
-- EBL - Ebook Library
-- EBLB
-- EBL711732
938 ## -
-- ebrary
-- EBRY
-- ebr10342892
938 ## -
-- EBSCOhost
-- EBSC
-- 289340
938 ## -
-- ProQuest MyiLibrary Digital eBook Collection
-- IDEB
-- 233163
938 ## -
-- YBP Library Services
-- YANK
-- 3124393
938 ## -
-- YBP Library Services
-- YANK
-- 3133855
994 ## -
-- 92
-- INLUM

No items available.

© 2022- NLU Meghalaya. All Rights Reserved. || Implemented and Customized by
OPAC Visitors

Powered by Koha