Author: Tobias Walter
Publisher: Logos Verlag Berlin GmbH
ISBN: 3832529365
Category : Computers
Languages : en
Pages : 266
Book Description
Model-Driven Engineering (MDE) aims to raise the level of abstraction in software system specifications and increase automation in software development. Modelware technological spaces contain the languages and tools for MDE that software developers take into consideration to model systems and domains. Ontoware technological spaces contain ontology languages and technologies to design, query, and reason on knowledge. With the advent of the Semantic Web, ontologies are now being used within the field of software development, as well. In this thesis, bridging technologies are developed to combine two technological spaces in general. In particular, this thesis focuses on the combination of modelware and ontoware technological spaces. Subsequent to a sound comparison of languages and tools in both spaces, the bridging technologies are used to build a common technological space, which allows for the hybrid use of languages and the interoperable use of tools.
Bridging Technological Spaces
Author: Tobias Walter
Publisher: Logos Verlag Berlin GmbH
ISBN: 3832529365
Category : Computers
Languages : en
Pages : 266
Book Description
Model-Driven Engineering (MDE) aims to raise the level of abstraction in software system specifications and increase automation in software development. Modelware technological spaces contain the languages and tools for MDE that software developers take into consideration to model systems and domains. Ontoware technological spaces contain ontology languages and technologies to design, query, and reason on knowledge. With the advent of the Semantic Web, ontologies are now being used within the field of software development, as well. In this thesis, bridging technologies are developed to combine two technological spaces in general. In particular, this thesis focuses on the combination of modelware and ontoware technological spaces. Subsequent to a sound comparison of languages and tools in both spaces, the bridging technologies are used to build a common technological space, which allows for the hybrid use of languages and the interoperable use of tools.
Publisher: Logos Verlag Berlin GmbH
ISBN: 3832529365
Category : Computers
Languages : en
Pages : 266
Book Description
Model-Driven Engineering (MDE) aims to raise the level of abstraction in software system specifications and increase automation in software development. Modelware technological spaces contain the languages and tools for MDE that software developers take into consideration to model systems and domains. Ontoware technological spaces contain ontology languages and technologies to design, query, and reason on knowledge. With the advent of the Semantic Web, ontologies are now being used within the field of software development, as well. In this thesis, bridging technologies are developed to combine two technological spaces in general. In particular, this thesis focuses on the combination of modelware and ontoware technological spaces. Subsequent to a sound comparison of languages and tools in both spaces, the bridging technologies are used to build a common technological space, which allows for the hybrid use of languages and the interoperable use of tools.
Reasoning Web. Semantic Technologies for Software Engineering
Author: Uwe Aßmann
Publisher: Springer Science & Business Media
ISBN: 3642155421
Category : Computers
Languages : en
Pages : 191
Book Description
Welcome to the proceedings of Reasoning Web 2010 which was held in Dresden. Reasoning Web is a summer school series on theoretical foundations,contemporary approaches, and practical solutions for reasoning in a Web of Semantics. It has est- lished itself as a meeting point for experts from research institutes and industry, as well as students undertakingtheir PhDs in related ?elds. This volume contains tutorial notes of the sixth school in the series, held from August 30 to September 3, 2010. This year, the school focused on applications of semantic technologies in software engineeringandthereasoningtechnologiesappropriateforsuchanendeavor. Asit turns out, semantic technologies in software engineering are not so easily applied, and s- eral issues mustbe resolvedbeforesoftware modelingcanbene?t fromreasoning. First, reasoning has to be fast and scalable, since models and programscan be quite large and voluminous. SincemanyreasoninglanguagesareexponentialorNP-complete,appro- mation, incrementalization,and other optimizationtechniques are extremelyimportant. Second, software engineering needs to model software systems, in contrast to mod- ing domains of the world. Thus, the modeling techniques are prescriptive rather than descriptive [1], which in?uences the way models are reasoned about. When a software system is modeled, its behavior is prescribed by the model, that is, “the truth is in the model”[2]; when a domainof the world is described,its behaviorcannotbe prescribed, only described by the model (“the truth is in the world”). Therefore, reasoning has to distinguish between prescriptiveness and descriptiveness, leading to different assu- tions about the closeness or openness of the world (closed-world assumption, CWA vs. open-world assumption, OWA).
Publisher: Springer Science & Business Media
ISBN: 3642155421
Category : Computers
Languages : en
Pages : 191
Book Description
Welcome to the proceedings of Reasoning Web 2010 which was held in Dresden. Reasoning Web is a summer school series on theoretical foundations,contemporary approaches, and practical solutions for reasoning in a Web of Semantics. It has est- lished itself as a meeting point for experts from research institutes and industry, as well as students undertakingtheir PhDs in related ?elds. This volume contains tutorial notes of the sixth school in the series, held from August 30 to September 3, 2010. This year, the school focused on applications of semantic technologies in software engineeringandthereasoningtechnologiesappropriateforsuchanendeavor. Asit turns out, semantic technologies in software engineering are not so easily applied, and s- eral issues mustbe resolvedbeforesoftware modelingcanbene?t fromreasoning. First, reasoning has to be fast and scalable, since models and programscan be quite large and voluminous. SincemanyreasoninglanguagesareexponentialorNP-complete,appro- mation, incrementalization,and other optimizationtechniques are extremelyimportant. Second, software engineering needs to model software systems, in contrast to mod- ing domains of the world. Thus, the modeling techniques are prescriptive rather than descriptive [1], which in?uences the way models are reasoned about. When a software system is modeled, its behavior is prescribed by the model, that is, “the truth is in the model”[2]; when a domainof the world is described,its behaviorcannotbe prescribed, only described by the model (“the truth is in the world”). Therefore, reasoning has to distinguish between prescriptiveness and descriptiveness, leading to different assu- tions about the closeness or openness of the world (closed-world assumption, CWA vs. open-world assumption, OWA).
Ontology-Driven Software Development
Author: Jeff Z. Pan
Publisher: Springer Science & Business Media
ISBN: 3642312268
Category : Computers
Languages : en
Pages : 346
Book Description
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.
Publisher: Springer Science & Business Media
ISBN: 3642312268
Category : Computers
Languages : en
Pages : 346
Book Description
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.
World Development Report 2016
Author: World Bank Group
Publisher: World Bank Publications
ISBN: 1464806721
Category : Business & Economics
Languages : en
Pages : 359
Book Description
Digital technologies are spreading rapidly, but digital dividends--the broader benefits of faster growth, more jobs, and better services--are not. If more than 40 percent of adults in East Africa pay their utility bills using a mobile phone, why can’t others around the world do the same? If 8 million entrepreneurs in China--one third of them women--can use an e-commerce platform to export goods to 120 countries, why can’t entrepreneurs elsewhere achieve the same global reach? And if India can provide unique digital identification to 1 billion people in five years, and thereby reduce corruption by billions of dollars, why can’t other countries replicate its success? Indeed, what’s holding back countries from realizing the profound and transformational effects that digital technologies are supposed to deliver? Two main reasons. First, nearly 60 percent of the world’s population are still offline and can’t participate in the digital economy in any meaningful way. Second, and more important, the benefits of digital technologies can be offset by growing risks. Startups can disrupt incumbents, but not when vested interests and regulatory uncertainty obstruct competition and the entry of new firms. Employment opportunities may be greater, but not when the labor market is polarized. The internet can be a platform for universal empowerment, but not when it becomes a tool for state control and elite capture. The World Development Report 2016 shows that while the digital revolution has forged ahead, its 'analog complements'--the regulations that promote entry and competition, the skills that enable workers to access and then leverage the new economy, and the institutions that are accountable to citizens--have not kept pace. And when these analog complements to digital investments are absent, the development impact can be disappointing. What, then, should countries do? They should formulate digital development strategies that are much broader than current information and communication technology (ICT) strategies. They should create a policy and institutional environment for technology that fosters the greatest benefits. In short, they need to build a strong analog foundation to deliver digital dividends to everyone, everywhere.
Publisher: World Bank Publications
ISBN: 1464806721
Category : Business & Economics
Languages : en
Pages : 359
Book Description
Digital technologies are spreading rapidly, but digital dividends--the broader benefits of faster growth, more jobs, and better services--are not. If more than 40 percent of adults in East Africa pay their utility bills using a mobile phone, why can’t others around the world do the same? If 8 million entrepreneurs in China--one third of them women--can use an e-commerce platform to export goods to 120 countries, why can’t entrepreneurs elsewhere achieve the same global reach? And if India can provide unique digital identification to 1 billion people in five years, and thereby reduce corruption by billions of dollars, why can’t other countries replicate its success? Indeed, what’s holding back countries from realizing the profound and transformational effects that digital technologies are supposed to deliver? Two main reasons. First, nearly 60 percent of the world’s population are still offline and can’t participate in the digital economy in any meaningful way. Second, and more important, the benefits of digital technologies can be offset by growing risks. Startups can disrupt incumbents, but not when vested interests and regulatory uncertainty obstruct competition and the entry of new firms. Employment opportunities may be greater, but not when the labor market is polarized. The internet can be a platform for universal empowerment, but not when it becomes a tool for state control and elite capture. The World Development Report 2016 shows that while the digital revolution has forged ahead, its 'analog complements'--the regulations that promote entry and competition, the skills that enable workers to access and then leverage the new economy, and the institutions that are accountable to citizens--have not kept pace. And when these analog complements to digital investments are absent, the development impact can be disappointing. What, then, should countries do? They should formulate digital development strategies that are much broader than current information and communication technology (ICT) strategies. They should create a policy and institutional environment for technology that fosters the greatest benefits. In short, they need to build a strong analog foundation to deliver digital dividends to everyone, everywhere.
Databases and Information Systems VI
Author: J. Barzdins
Publisher: IOS Press
ISBN: 1607506874
Category : Computers
Languages : en
Pages : 452
Book Description
Selected Papers from the Ninth International. This volume presents papers from the Ninth International Baltic Conference on Databases and Information Systems Baltic DBIS 2010 which took place in Riga, Latvia in July 2010. Since this successful biennial series began in 1994, the Baltic DBIS confer
Publisher: IOS Press
ISBN: 1607506874
Category : Computers
Languages : en
Pages : 452
Book Description
Selected Papers from the Ninth International. This volume presents papers from the Ninth International Baltic Conference on Databases and Information Systems Baltic DBIS 2010 which took place in Riga, Latvia in July 2010. Since this successful biennial series began in 1994, the Baltic DBIS confer
Space Transportation Avionics Technology Symposium
Author:
Publisher:
ISBN:
Category : Astrionics
Languages : en
Pages : 860
Book Description
Publisher:
ISBN:
Category : Astrionics
Languages : en
Pages : 860
Book Description
2062
Author: Toby Walsh
Publisher: Black Inc.
ISBN: 1743820259
Category : Technology & Engineering
Languages : en
Pages : 237
Book Description
‘A compelling invitation to imagine the future we want’ —BRIAN CHRISTIAN, author of The Most Human Human By 2062 we will have built machines as intelligent as us – so the leading artificial intelligence and robotics experts predict. But what will this future look like? In 2062, world-leading researcher Toby Walsh considers the impact AI will have on work, war, economics, politics, everyday life and even death. Will automation take away most jobs? Will robots become conscious and take over? Will we become immortal machines ourselves, uploading our brains to the cloud? How will politics adjust to the post-truth, post-privacy digitised world? When we have succeeded in building intelligent machines, how will life on this planet unfold? Based on a deep understanding of technology, 2062 describes the choices we need to make today to ensure that the future remains bright. ‘Clarity and sanity in a world full of fog and uncertainty – a timely book about the race to remain human.’ —RICHARD WATSON, author of Digital Vs. Human and futurist-in-residence at Imperial College, London ‘One of the deepest questions facing humanity, pondered by a mind well and truly up to the task.’ —ADAM SPENCER, broadcaster
Publisher: Black Inc.
ISBN: 1743820259
Category : Technology & Engineering
Languages : en
Pages : 237
Book Description
‘A compelling invitation to imagine the future we want’ —BRIAN CHRISTIAN, author of The Most Human Human By 2062 we will have built machines as intelligent as us – so the leading artificial intelligence and robotics experts predict. But what will this future look like? In 2062, world-leading researcher Toby Walsh considers the impact AI will have on work, war, economics, politics, everyday life and even death. Will automation take away most jobs? Will robots become conscious and take over? Will we become immortal machines ourselves, uploading our brains to the cloud? How will politics adjust to the post-truth, post-privacy digitised world? When we have succeeded in building intelligent machines, how will life on this planet unfold? Based on a deep understanding of technology, 2062 describes the choices we need to make today to ensure that the future remains bright. ‘Clarity and sanity in a world full of fog and uncertainty – a timely book about the race to remain human.’ —RICHARD WATSON, author of Digital Vs. Human and futurist-in-residence at Imperial College, London ‘One of the deepest questions facing humanity, pondered by a mind well and truly up to the task.’ —ADAM SPENCER, broadcaster
Bridging the Technology Gap
Author: Youngsoo Bae
Publisher: 서울대학교출판문화원
ISBN: 9788952114129
Category : Technology transfer
Languages : en
Pages : 0
Book Description
"The essays in this volume examine the historical processes of bridging the technology gap in three Asia countries - Japan, Indonesia, and Korea - in their unique sociopolitical contexts"--Page xii.
Publisher: 서울대학교출판문화원
ISBN: 9788952114129
Category : Technology transfer
Languages : en
Pages : 0
Book Description
"The essays in this volume examine the historical processes of bridging the technology gap in three Asia countries - Japan, Indonesia, and Korea - in their unique sociopolitical contexts"--Page xii.
Advanced Technology for America's Future in Space
Author:
Publisher:
ISBN:
Category : Astronautics and state
Languages : en
Pages : 106
Book Description
Publisher:
ISBN:
Category : Astronautics and state
Languages : en
Pages : 106
Book Description
The Social Fabric of the Networked City
Author: Géraldine Pflieger
Publisher: EPFL Press
ISBN: 9780415461443
Category : Architecture
Languages : en
Pages : 252
Book Description
Constructed around the work of Manuel Castells on the space of places, the space of flows and the networked city, nine contributors focus on the transformation of the fabric of the networked city in terms of policies and social practices.
Publisher: EPFL Press
ISBN: 9780415461443
Category : Architecture
Languages : en
Pages : 252
Book Description
Constructed around the work of Manuel Castells on the space of places, the space of flows and the networked city, nine contributors focus on the transformation of the fabric of the networked city in terms of policies and social practices.