Description:
This volume establishes a new quality standard for software products, and increased efficiency in their development, by applying findings in the field of logic to mainstream software development and its languages. It covers both domain and software modeling.
Review Quotes:
From the reviews:
"The European project 'MOST: Marrying Ontology and Software Technology' is the origin of this book. ... It is intended to serve different audiences, ranging from researchers who seek an introduction to a new area of investigation to students (advanced undergraduate and graduate) in a classroom. To assist instructors and students, the editors have identified sections in the book as being particularly important for students." (Anthony J. Duben, Computing Reviews, June, 2013)