This volume presents foundational research in software science and computational structures, stemming from the 2007 Foundations of Software Science and Computational Structures conference held in Braga, Portugal. The book compiles a collection of peer-reviewed papers that explore theoretical and practical aspects of software development, focusing on formal methods, algorithms, and the underlying computational principles that govern software design and analysis. It serves as a reference for researchers and practitioners seeking to advance the state of the art in software engineering through rigorous theoretical investigation.

The proceedings of the FOSSACS conference are generally regarded as a significant contribution to the academic discourse in theoretical computer science and software engineering. Papers presented at FOSSACS are typically rigorously peer-reviewed, indicating a high standard of research. The collection likely offers in-depth analyses and novel theoretical frameworks relevant to researchers and advanced students in the field. The focus on foundational aspects suggests a readership interested in the core principles and future directions of software science.