| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISA996280989503316 |
|
|
Titolo |
ISO/IEC/IEEE 31320-2:2012(E) . Part 2 Syntax and Semantics for IDEF1X97 (IDEFobject) : ISO/IEC/IEEE International Standard - Information technology -- Modeling Languages / / Institute of Electrical and Electronics Engineers |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Geneva, New York : , : IEEE, , 2012 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (320 pages) : illustrations |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Modeling languages (Computer science) |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Sommario/riassunto |
|
IDEF1X97 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. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNIORUON00324691 |
|
|
Autore |
Fetscher, Iring |
|
|
Titolo |
Hegels Lehre vom Menschen : Kommentar zu den 387 bis 482 der Enzyklopädie der Philosophischen Wissenschaften / Iring Fetscher |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Stuttgart-Bad Cannstatt, : F. Frommann ( (G. Holzboog), 1970 |
|
|
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Antropologia e filosofia |
Hegel Georg Wilhelm Friedrich |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
| |