Summary

Software is the essential enabler for the new economy and science. It creates new markets and new directions for a more reliable, flexible, and robust society. It empowers the exploration of our world in ever more depth. However, software often falls short behind our expectations. Current software methodologies, tools, and techniques remain expensive and not yet reliable for a highly changeable and evolutionary market. Many approaches have been proven only as case-by-case oriented methods. This book presents a number of new trends and theories in the direction in which we believe software science and engineering may develop to transform the role of software and science in tomorrow's information society. This book is an attempt to capture the essence of a new state of art in software science and its supporting technology. The book also aims at identifying the challenges such a technology has to master. and Conceptual Software Models, Declarative Representation for Software Development, Requirement Representation and Formalization, Formal Specification and Language Interpretation, Legacy Systems and Language Conversions, Software Quality and Development Measurement, and Software Development Practices Models examples. Each of these chapters contains well-reviewed and selected papers, so the reader can enjoy the state-of-the-art on the need on such new emerged technology.