Normal view
MARC view
Ontology-Driven Software Development (Record no. 355534)
[ view plain ]
000 -Маркер записи | |
---|---|
Контрольное поле постоянной длины | 04275nam a22004935i 4500 |
001 - Контрольный номер | |
Контрольное поле | vtls000484386 |
005 - Дата корректировки | |
Контрольное поле | 20210922065412.0 |
007 - Кодируемые данные (физ. описан.) | |
Контрольное поле постоянной длины | cr nn 008mamaa |
008 - Кодируемые данные | |
Контрольное поле постоянной длины | 140715s2013 gw | s |||| 0|eng d |
020 ## - Индекс ISBN | |
ISBN | 9783642312267 |
-- | 978-3-642-31226-7 |
024 7# - Прочие стандартные номера | |
Стандартный номер | 10.1007/978-3-642-31226-7 |
Источник номера | doi |
035 ## - Системный контрольный номер | |
Системный контрольный номер | to000484386 |
040 ## - Источник каталогиз. | |
Служба первич. каталог. | Springer |
Служба, преобразующая запись | Springer |
Организация, изменившая запись | RU-ToGU |
050 #4 - Расстановочный код библ. Конгресса | |
Классификационный индекс | QA76.758 |
072 #7 - Код предметной/темат. категории | |
Код предметной/темат. категории | UMZ |
Источник кода | bicssc |
072 #7 - Код предметной/темат. категории | |
Код предметной/темат. категории | COM051230 |
Источник кода | bisacsh |
082 04 - Индекс Дьюи | |
Индекс Дьюи | 005.1 |
Номер издания | 23 |
100 1# - Автор | |
Автор | Pan, Jeff Z. |
Роль лиц | editor. |
9 (RLIN) | 329025 |
245 10 - Заглавие | |
Заглавие | Ontology-Driven Software Development |
Физический носитель | electronic resource |
Ответственность | edited by Jeff Z. Pan, Steffen Staab, Uwe Aßmann, Jürgen Ebert, Yuting Zhao. |
260 ## - Выходные данные | |
Место издания | Berlin, Heidelberg : |
Издательство | Springer Berlin Heidelberg : |
-- | Imprint: Springer, |
Дата издания | 2013. |
300 ## - Физическое описание | |
Объем | XVIII, 337 p. 134 illus., 63 illus. in color. |
Иллюстрации/тип воспроизводства | online resource. |
336 ## - Тип содержимого | |
Тип содержимого | text |
Content type code | txt |
Source | rdacontent |
337 ## - Средство доступа | |
Средство доступа | computer |
Media type code | c |
Source | rdamedia |
338 ## - Тип носителя | |
Тип носителя | online resource |
Carrier type code | cr |
Source | rdacarrier |
505 0# - Примечание о содержании | |
Содержание | Introduction -- Part I Ontology and Software Technologies -- Model-Driven Software Development (MDSD) -- Ontology Languages and Description Logics -- Case Studies for Marrying Ontology and Software Technologies -- Part II Foundational Technologies for Ontology-Driven Software Development -- Scalable Ontology Reasoning Services -- Traceability -- Metamodelling and Ontologies -- Part III Consistency Checking in Ontology Driven Software Development (ODSD) -- Ontology and Bridging Technologies -- Ontology Reasoning for Consistency-Preserving Structural Modelling -- Ontology Reasoning for Process Models -- Part IV Ontology Driven Software Development (ODSD) with Process Guidance -- Ontology-Driven Metamodeling for Ontology-Integrated Modelling -- A Platform for ODSD: The MOST Workbench -- Ontology-Guided Software Engineering in the MOST Workbench -- Conclusion and Outlooks. |
520 ## - Аннотация | |
Аннотация | This book is about a significant step forward in software development. It brings state-of-the-art ontology reasoning into mainstream software development and its languages. Ontology Driven Software Development is the essential, comprehensive resource on enabling technologies, consistency checking and process guidance for ontology-driven software development (ODSD). It demonstrates how to apply ontology reasoning in the lifecycle of software development, using current and emerging standards and technologies. You will learn new methodologies and infrastructures, additionally illustrated using detailed industrial case studies. The book will help you: Learn how ontology reasoning allows validations of structure models and key tasks in behavior models. Understand how to develop ODSD guidance engines for important software development activities, such as requirement engineering, domain modeling and process refinement. Become familiar with semantic standards, such as the Web Ontology Language (OWL) and the SPARQL query language. Make use of ontology reasoning, querying and justification techniques to integrate software models and to offer guidance and traceability supports. This book is helpful for undergraduate students and professionals who are interested in studying how ontologies and related semantic reasoning can be applied to the software development process. In addition, itwill also be useful for postgraduate students, professionals and researchers who are going to embark on their research in areas related to ontology or software engineering. |
650 #0 - Тематические рубрики | |
Основная рубрика | Computer Science. |
9 (RLIN) | 155490 |
650 #0 - Тематические рубрики | |
Основная рубрика | Software engineering. |
9 (RLIN) | 566225 |
650 #0 - Тематические рубрики | |
Основная рубрика | Artificial intelligence. |
9 (RLIN) | 274099 |
650 14 - Тематические рубрики | |
Основная рубрика | Computer Science. |
9 (RLIN) | 155490 |
650 24 - Тематические рубрики | |
Основная рубрика | Software Engineering. |
9 (RLIN) | 566285 |
650 24 - Тематические рубрики | |
Основная рубрика | Artificial Intelligence (incl. Robotics). |
9 (RLIN) | 274102 |
700 1# - Другие авторы | |
Другие авторы | Staab, Steffen. |
Роль лиц | editor. |
9 (RLIN) | 318813 |
700 1# - Другие авторы | |
Другие авторы | Aßmann, Uwe. |
Роль лиц | editor. |
9 (RLIN) | 412320 |
700 1# - Другие авторы | |
Другие авторы | Ebert, Jürgen. |
Роль лиц | editor. |
9 (RLIN) | 412321 |
700 1# - Другие авторы | |
Другие авторы | Zhao, Yuting. |
Роль лиц | editor. |
9 (RLIN) | 412322 |
710 2# - Другие организации | |
Организация/юрисдикция | SpringerLink (Online service) |
9 (RLIN) | 143950 |
773 0# - Источник информации | |
Название источника | Springer eBooks |
856 40 - Электронный адрес документа | |
URL | <a href="http://dx.doi.org/10.1007/978-3-642-31226-7">http://dx.doi.org/10.1007/978-3-642-31226-7</a> |
912 ## - Coursera for Campus: онлайн курсы для ТГУ | |
Coursera for Campus: онлайн курсы для ТГУ | ZDB-2-SCS |
999 ## - Системные контрольные номера (Koha) | |
biblionumber (Koha) | 355534 |
No items available.