In the past ten years or so, software architecture has emerged as a central notion in the development of complex software systems. Software architecture is now

This edited book gathers research studies presented at the 5th International Symposium on Formal Methods in Architecture (5FMA), Lisbon 2020. Studies focus on t

The book promotes the use of formal methods in the creation of new explicit languages for problem solving in architecture and urbanism. Formal methods bring adv

This book constitutes the refereed proceedings of the 8th International Conference on Formal Engineering Methods, ICFEM 2006, held in Macao, China, in November

Why have a book about the relation between requirements and software architecture? Understanding the relation between requirements and architecture is important