LEADER 03640nam  22006615  450 
001 996465301003316
005 20200702125055.0
010   $a3-540-45669-4
024 7 $a10.1007/3-540-45669-4
035   $a(CKB)1000000000211667
035   $a(SSID)ssj0000325334
035   $a(PQKBManifestationID)11258847
035   $a(PQKBTitleCode)TC0000325334
035   $a(PQKBWorkID)10320377
035   $a(PQKB)11353132
035   $a(DE-He213)978-3-540-45669-8
035   $a(MiAaPQ)EBC3071985
035   $a(PPN)155219634
035   $a(EXLCZ)991000000000211667
100   $a20121227d2002      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aObject Modeling with the OCL$b[electronic resource] $eThe Rationale behind the Object Constraint Language /$fedited by Tony Clark, Jos Warmer
205   $a1st ed. 2002.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2002.
215   $a1 online resource (VIII, 288 p.) 
225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v2263
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-540-43169-1 
320   $aIncludes bibliographical references and index.
327   $aA Meta-model Facility for a Family of UML Constraint Languages -- A New Type Checking Approach for OCL Version 2.0 ? -- OCL: Syntax, Semantics, and Tools -- On the Precise Meaning of OCL Constraints -- Expressing UML Class Diagrams Properties with OCL -- The Amsterdam Manifesto on OCL -- An OCL Extension for Real-Time Constraints -- Statistical Constraints and Verification -- ?Java?OCL Based on New Presentation of the OCL-Syntax -- The Semantics of the OCL Action Clause -- Constraint Trees -- Using OCL and UML to Specify System Behavior.
330   $aAs part of the UML standard OCL has been adopted by both professionals in industry and by academic researchers and is one of the most widely used languages for expressing object-oriented system properties. This book contains key contributions to the development of OCL. Most papers are developments of work reported at different conferences and workshops. This unique compilation addresses many important issues faced by advanced professionals and researchers in object modeling like e.g. real-time constraints, type checking, and constraint modeling.
410  0$aLecture Notes in Computer Science,$x0302-9743 ;$v2263
606   $aSoftware engineering
606   $aManagement information systems
606   $aComputer science
606   $aSoftware Engineering/Programming and Operating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14002
606   $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029
606   $aManagement of Computing and Information Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I24067
615  0$aSoftware engineering.
615  0$aManagement information systems.
615  0$aComputer science.
615 14$aSoftware Engineering/Programming and Operating Systems.
615 24$aSoftware Engineering.
615 24$aManagement of Computing and Information Systems.
676   $a005.1/17
702   $aClark$b Tony$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aWarmer$b Jos$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a996465301003316
996   $aObject modeling with the OCL$9983710
997   $aUNISA