LEADER 01208nas  2200409 a 450 
001 996218125203316
005 20211129180309.0
011   $a1872-7441
035   $a(OCoLC)38537208
035   $a(CKB)954925481607
035   $a(CONSER)  2005233252
035   $a(DE-599)ZDB1496883-6
035   $a(EXLCZ)99954925481607
100   $a19980303a19799999  sy             a
101 0 $aeng
135   $aurmnu|||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aCold regions science and technology$b[e-journal]
210   $aNew York, NY $cElsevier Science Pub. Co.$d1979-
300   $aRefereed/Peer-reviewed
311   $a0165-232X 
531   $aCOLD REGIONS SCIENCE & TECHNOLOGY
531   $aCOLD REG SCI TECH
531   $aCOLD REG SCI TECHNOL
531   $aCOLD REG SC
531 0 $aCold reg. sci. technol.
531   $aCOLD REG. SCI. TECH
606   $aLow temperature engineering$vPeriodicals
607   $aCold regions$vPeriodicals
608   $aPeriodicals.
615  0$aLow temperature engineering
906   $aJOURNAL
912   $a996218125203316
996   $aCold regions science and technology$91895074
997   $aUNISA

LEADER 02612nam  2200385   450 
001 996280989503316
005 20231208091141.0
010   $a0-7381-8003-3
024 7 $a10.1109/IEEESTD.2012.6357338
035   $a(CKB)3780000000093213
035   $a(NjHacI)993780000000093213
035   $a(EXLCZ)993780000000093213
100   $a20231208d2012      uy             0
101 0 $aeng
135   $aur|||||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aISO/IEC/IEEE 31320-2:2012(E)$hPart 2$iSyntax and Semantics for IDEF1X97 (IDEFobject) $eISO/IEC/IEEE International Standard - Information technology -- Modeling Languages /$fInstitute of Electrical and Electronics Engineers
210  1$aGeneva, New York :$cIEEE,$d2012.
215   $a1 online resource (320 pages) $cillustrations
330   $aIDEF1X97 consists of two conceptual modeling languages. The key-style language supports data/information modeling and is downward compatible with the US government's 1993 standard, FIPS PUB 184. The identity-style language is based on the object model with declarative rules and constraints. IDEF1X97 identity style includes constructs for the distinct but related components of object abstraction: interface, requests, and realization; utilizes graphics to state the interface; and defines a declarative, directly executable Rule and Constraint Language for requests and realizations. IDEF1X97 conceptual modeling supports implementation by relational databases, extended relational databases, object databases, and object programming languages. IDEF1X97 is formally defined in terms of first order logic. A procedure is given whereby any valid IDEF1X97 model can be transformed into an equivalent theory in first order logic. That procedure is then applied to a meta model of IDEF1X97 to define the valid set of IDEF1X97 models.
517   $a31320-2-2012 - ISO/IEC/IEEE International Standard - Information technology -- Modeling Languages -- Part 2
517   $aISO/IEC/IEEE 31320-2:2012(E): ISO/IEC/IEEE International Standard - Information technology -- Modeling Languages -- Part 2: Syntax and Semantics for IDEF1X97 (IDEFobject)
517   $aISO/IEC/IEEE International Standard - Information technology -- Modeling Languages -- Part 2
517   $aISO/IEC/IEEE 31320-2
606   $aModeling languages (Computer science)
615  0$aModeling languages (Computer science)
676   $a005.1
801  0$bNjHacI
801  1$bNjHacl
906   $aDOCUMENT
912   $a996280989503316
996   $aISO$91086301
997   $aUNISA