JAIST Press | 2009 | ISBN: 4903092178 | 507 pages | PDF | 32,1 MB

This book is a collection of works done by Professor Dines Bjorner during his one year stay at JAIST’s Graduate School of Information Science. He stayed at JAIST as an invited visiting professor of the 21st Century COE (Center of Excellence) project Verifiable and Evolvable e-Society from January of 2006.
The JAIST COE project is an advanced and unique research project aiming at applying computer science based approaches to analyses and designs of such concepts as policies, laws, regulations and standards in our society. Our current society is widely and heavily based on the world-wide network of information systems, and it seems to be not only natural but also inevitable to look into the fundamental structure of our society from the stand point of computer/information science.
Professor Bjorner has long lasting and dominant research achievements in software engineering. His recent research on formal descriptions of domains is a most advanced and challenging topic in software engineering, and also the most important foundation for Verifiable and Evolvable e-Society. Scientific analysis and design of any kind of system in a domain should be based on formal descriptions of basic facts and properties of the domain. Formal description has been a main topic in formal methods, and has formed an important area of formal specification languages.
Formal description of domains is also a most important challenge in formal specification languages and formal methods.

This monograph is basically about ‘Domain Engineering’, in the author’s opinion, a significant phase of software engineering, a phase which precedes ‘Requirements Engineering’.