Over the last decade, ontology has become an important modeling component in software engineering. Semantic Web Enabled Software Engineering presents some critical findings on opening a new direction of the research of Software Engineering, by exploiting Semantic Web technologies. Most of these findings are from selected papers from the Semantic Web Enabled Software Engineering (SWESE) series of workshops starting from 2005. Edited by two leading researchers, this advanced text presents a unifying and contemporary perspective on the field. The book integrates in one volume a unified perspective on concepts and theories of connecting Software Engineering and Semantic Web. It presents state-of-the-art techniques on how to use Semantic Web technologies in Software Engineering and introduces techniques on how to design ontologies for Software Engineering.
This book constitutes the thoroughly refereed post-proceedings of the Third International Conference on Software Language Engineering, SLE 2010, held in Eindhoven, The Netherlands, in October 2010. The 24 papers presented were carefully reviewed and selected from 79 submissions. The book also contains the abstracts of two invited talks. The papers are grouped in topical sections on grammarware, metamodeling, evolution, programming, and domain-specific languages. The short papers and demos included deal with modeling and transformations and translations.
Author: Bernhard Beckert
Publisher: Springer Science & Business Media
Release Date: 2007-01-03
The ultimate goal of program verification is not the theory behind the tools or the tools themselves, but the application of the theory and tools in the software engineering process. Our society relies on the correctness of a vast and growing amount of software. Improving the software engineering process is an important, long-term goal with many steps. Two of those steps are the KeY tool and this KeY book.
Author: Michael Heim
Publisher: Oxford University Press
Release Date: 1994-10-27
Computers have dramatically altered life in the late twentieth century. Today we can draw on worldwide computer links, speeding up communications by radio, newspapers, and television. Ideas fly back and forth and circle the globe at the speed of electricity. And just around the corner lurks full-blown virtual reality, in which we will be able to immerse ourselves in a computer simulation not only of the actual physical world, but of any imagined world. As we begin to move in and out of a computer-generated world, Michael Heim asks, how will the way we perceive our world change? In The Metaphysics of Virtual Reality, Heim considers this and other philosophical issues of the Information Age. With an eye for the dark as well as the bright side of computer technology, he explores the logical and historical origins of our computer-generated world and speculates about the future direction of our computerized lives. He discusses such topics as the effect of word-processing on the English language (while word-processors have led to increased productivity, they have also led to physical hazards such as repetitive motion syndrome, which causes inflamed hand and arm tendons). Heim looks into the new kind of literacy promised by Hypertext (technology which allows the user to link audio and video elements, the disadvantages including disorientation and cognitive overload). And he also probes the notion of virtual reality, "cyberspace"--the computer-simulated environments that have captured the popular imagination and may ultimately change the way we define reality itself. Just as the definition of interface itself has evolved from the actual adapter plug used to connect electronic circuits into human entry into a self-contained cyberspace, so too will the notion of reality change with the current technological drive. Like the introduction of the automobile, the advent of virtual reality will change the whole context in which our knowledge and awareness of life are rooted. And along the way, Heim covers such intriguing topics as how computers have altered our thought habits, how we will be able to distinguish virtual from real reality, and the appearance of virtual reality in popular culture (as in Star Trek's holodeck, William Gibson's Neuromancer, and Stephen King's Lawnmower Man). Vividly and entertainingly written, The Metaphysics of Virtual Reality opens a window on a fascinating world that promises--or threatens--to become an integral part of everyday life in the 21st century. As Heim writes, not only do we face a breakthrough in the technology of computer interface, but we face the challenge of knowing ourselves and determining how the technology should develop and ultimately affect the society in which it grows.
Author: Jon McCormack
Publisher: Springer Science & Business Media
Release Date: 2012-08-21
This interdisciplinary volume introduces new theories and ideas on creativity from the perspectives of science and art. Featuring contributions from leading researchers, theorists and artists working in artificial intelligence, generative art, creative computing, music composition, and cybernetics, the book examines the relationship between computation and creativity from both analytic and practical perspectives. Each contributor describes innovative new ways creativity can be understood through, and inspired by, computers. The book tackles critical philosophical questions and discusses the major issues raised by computational creativity, including: whether a computer can exhibit creativity independently of its creator; what kinds of creativity are possible in light of our knowledge from computational simulation, artificial intelligence, evolutionary theory and information theory; and whether we can begin to automate the evaluation of aesthetics and creativity in silico. These important, often controversial questions are contextualised by current thinking in computational creative arts practice. Leading artistic practitioners discuss their approaches to working creatively with computational systems in a diverse array of media, including music, sound art, visual art, and interactivity. The volume also includes a comprehensive review of computational aesthetic evaluation and judgement research, alongside discussion and insights from pioneering artists working with computation as a creative medium over the last fifty years. A distinguishing feature of this volume is that it explains and grounds new theoretical ideas on creativity through practical applications and creative practice. Computers and Creativity will appeal to theorists, researchers in artificial intelligence, generative and evolutionary computing, practicing artists and musicians, students and any reader generally interested in understanding how computers can impact upon creativity. It bridges concepts from computer science, psychology, neuroscience, visual art, music and philosophy in an accessible way, illustrating how computers are fundamentally changing what we can imagine and create, and how we might shape the creativity of the future. Computers and Creativity will appeal to theorists, researchers in artificial intelligence, generative and evolutionary computing, practicing artists and musicians, students and any reader generally interested in understanding how computers can impact upon creativity. It bridges concepts from computer science, psychology, neuroscience, visual art, music and philosophy in an accessible way, illustrating how computers are fundamentally changing what we can imagine and create, and how we might shape the creativity of the future.
Author: Jean-Luc Marion
Publisher: University of Chicago Press
Release Date: 1999-04-15
Jean-Luc Marion is one of the most prominent young philosophers working today and one of the best contemporary Descartes scholars. Cartesian Questions, his fifth book on Descartes, is a collection of seven essays on Descartes' method and its relation to his metaphysics. Marion reads the philosopher's Discourse on Method in light of his Meditations, examining how Descartes' metaphysics changed from one book to the other and pursuing such questions as the status of the ontological argument before and after Descartes. The essays touch on the major themes of Marion's career, including the connection between metaphysics and method, the concept of God, and the constitution of the thinking subject. In their range, the essays are an excellent introduction to Marion's thought as well as a subtle and complex interpretation of Descartes. The collection is a crucial work not only for scholars of Descartes but also for anyone interested in the state of contemporary French philosophy. "Besides the impact of their content, the clarity and reach of these essays force one to consider foundational questions concerning philosophy and its history."—Richard Watson, Journal of the History of Philosophy
Author: Paul Humphreys
Publisher: Oxford University Press on Demand
Release Date: 2004
Computational methods have become the dominant technique in many areas of science. This book contains the first systematic philosophical account of these new methods and their consequences for scientific method. This book will be of interest to philosophers of science and to anyone interested in the role played by computers in modern science.