Mathematics and Computation in Music

Sample

R. Andersen, J.A. Bubenko, Jr., A. Sølvberg, eds

"CAiSE '91, held at the Norwegian Institute of Technology in May 1991, is the third in a series of conferences on advanced information systems engineering. The call for papers for CAiSE '91 was given a wide international distribution. The programme committee was chosen from very well reputed researchers in the international information systems engineering community, as well as key professionals in European industrial and consultant companies. The number and quality of papers submitted was very satisfactory, and 29 papers were selected for publication in this volume."--PUBLISHER'S WEBSITE.

Sample

Sven Jörges

Automatic code generation is an essential cornerstone of model-driven approaches to software development. Currently, lots of techniques are available that support the specification and implementation of code generators, such as engines based on templates or rule-based transformations. All those techniques have in common that code generators are either directly programmed or described by means of textual specifications. This monograph presents Genesys, a general approach, which advocates the graphical development of code generators for arbitrary source and target languages, on the basis of models and services. In particular, it is designed to support incremental language development on arbitrary metalevels. The use of models allows building code generators in a truly platform-independent and domain-specific way. Furthermore, models are amenable to formal verification methods such as model checking, which increase the reliability and robustness of the code generators. Services enable the reuse and integration of existing code generation frameworks and tools regardless of their complexity, and at the same time manifest as easy-to-use building blocks which facilitate agile development through quick interchangeability. Both, models and services, are reusable and thus form a growing repository for the fast creation and evolution of code generators.

Sample

edited and with an introduction by Adam Bly

Seed magazine brings together in conversation a gathering of prominent scientists, artists, novelists, philosophers, and other thinkers who are tearing down the wall between science and culture.

Sample

Lars Gårding, Torbjörn Tambour

The aim of this book is to teach the reader the topics in algebra which are useful in the study of computer science. In a clear, concise style, the author present the basic algebraic structures, and their applications to such topics as the finite Fourier transform, coding, complexity, and automata theory. The book can also be read profitably as a course in applied algebra for mathematics students.