Wyniki wyszukiwania:

This book presents joint works of members of the software engineering and formal methods communities with representatives from industry, with the goal of establishing the foundations for a common understanding of the needs for more flexibility in model-driven engineering. It is based on the Dagstuhl Seminar 19481 „Composing Model-Based Analysis Tools“, which was held November 24 to 29, 2019, at Schloss Dagstuhl, Germany, where current challenges, their background and concepts to address them were discussed.The book is structured in two parts, and organized around five fundamental core...

Solomon Feferman has shaped the field of foundational research for nearly half a century. These papers, most of which were presented at the symposium honoring him at his 70th birthday, reflect his broad interests as well as his approach to foundational research, which places the solution of mathematical and philosophical problems at the top of his agenda. The contributions range from historical to technical to philosophical topics, with emphasis on proof theory and computational aspects.

This Festschrift volume, dedicated to Marjan Sirjani on the occasion of her 60th birthday, includes refereed papers by leading researchers. Marjan Sirjani received her PhD in Computer Engineering from Sharif University of Technology for work on the Formal Specification and Verification of Concurrent and Reactive Systems. After Postdoc, Lecturer, Visiting Scholar, Associate Professor, and Professor positions in Iran, The Netherlands, Iceland, and the US, she has been a Professor in the School of Innovation, Design and Engineering of Mälardalen University since 2016. Her main fields of...