000 -LEADER |
fixed length control field |
02924nam a22004455i 4500 |
003 - CONTROL NUMBER IDENTIFIER |
control field |
OSt |
005 - DATE AND TIME OF LATEST TRANSACTION |
control field |
20140310151125.0 |
007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION |
fixed length control field |
cr nn 008mamaa |
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
fixed length control field |
120612s2012 gw | s |||| 0|eng d |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
International Standard Book Number |
9783642298257 |
|
978-3-642-29825-7 |
050 #4 - LIBRARY OF CONGRESS CALL NUMBER |
Classification number |
QA76.758 |
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER |
Classification number |
005.1 |
Edition number |
23 |
264 #1 - |
-- |
Berlin, Heidelberg : |
-- |
Springer Berlin Heidelberg : |
-- |
Imprint: Springer, |
-- |
2012. |
912 ## - |
-- |
ZDB-2-SCS |
100 1# - MAIN ENTRY--PERSONAL NAME |
Personal name |
Henderson-Sellers, Brian. |
Relator term |
author. |
245 10 - IMMEDIATE SOURCE OF ACQUISITION NOTE |
Title |
On the Mathematics of Modelling, Metamodelling, Ontologies and Modelling Languages |
Medium |
[electronic resource] / |
Statement of responsibility, etc |
by Brian Henderson-Sellers. |
300 ## - PHYSICAL DESCRIPTION |
Extent |
IX, 106 p. 98 illus. |
Other physical details |
online resource. |
440 1# - SERIES STATEMENT/ADDED ENTRY--TITLE |
Title |
SpringerBriefs in Computer Science, |
International Standard Serial Number |
2191-5768 |
520 ## - SUMMARY, ETC. |
Summary, etc |
Computing as a discipline is maturing rapidly. However, with maturity often comes a plethora of subdisciplines, which, as time progresses, can become isolationist. The subdisciplines of modelling, metamodelling, ontologies and modelling languages within software engineering e.g. have, to some degree, evolved separately and without any underpinning formalisms. Introducing set theory as a consistent underlying formalism, Brian Henderson-Sellers shows how a coherent framework can be developed that clearly links these four, previously separate, areas of software engineering. In particular, he shows how the incorporation of a foundational ontology can be beneficial in resolving a number of controversial issues in conceptual modelling, especially with regard to the perceived differences between linguistic metamodelling and ontological metamodelling. An explicit consideration of domain-specific modelling languages is also included in his mathematical analysis of models, metamodels, ontologies and modelling languages. This encompassing and detailed presentation of the state-of-the-art in modelling approaches mainly aims at researchers in academia and industry. They will find the principled discussion of the various subdisciplines extremely useful, and they may exploit the unifying approach as a starting point for future research. |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name as entry element |
Computer science. |
|
Topical term or geographic name as entry element |
Software engineering. |
|
Topical term or geographic name as entry element |
Artificial intelligence. |
|
Topical term or geographic name as entry element |
Computer Science. |
|
Topical term or geographic name as entry element |
Software Engineering. |
|
Topical term or geographic name as entry element |
Models and Principles. |
|
Topical term or geographic name as entry element |
Computation by Abstract Devices. |
|
Topical term or geographic name as entry element |
Mathematical Logic and Formal Languages. |
|
Topical term or geographic name as entry element |
Artificial Intelligence (incl. Robotics). |
710 2# - ADDED ENTRY--CORPORATE NAME |
Corporate name or jurisdiction name as entry element |
SpringerLink (Online service) |
773 0# - HOST ITEM ENTRY |
Title |
Springer eBooks |
776 08 - ADDITIONAL PHYSICAL FORM ENTRY |
Display text |
Printed edition: |
International Standard Book Number |
9783642298240 |
856 40 - ELECTRONIC LOCATION AND ACCESS |
Uniform Resource Identifier |
http://dx.doi.org/10.1007/978-3-642-29825-7 |
942 ## - ADDED ENTRY ELEMENTS (KOHA) |
Source of classification or shelving scheme |
|
Item type |
E-Book |