{"title":"Emil Sekerinski","description":null,"products":[{"product_id":"program-development-by-refinement-book-emil-sekerinski-9781852330538","title":"Program Development by Refinement","description":"The Idea of Program Refinement Programs are complex. They are typically so complex, that they go beyond the full comprehension even of the programmer or team who designed them, with all the consequences this has. How can we cope with such complexity in a satisfactory way? An approach, advocated for a long time, is to separate a concise specification of a program - the what - from a possibly involved implementation - the how. Once a specification is obtained from the set of requirements on the program, there can still be a large gap to an efficient implementation. The development from specification to implementation can then proceed by a succession oflayers, such that each layer is a refinement of the previous one. Design decisions can be introduced in refinement steps one at a time. By this, the refinement steps can be kept small and manageable. Still, the set of all requirements can be far too large to be taken completely into account in the initial specification. Even if they could, they might obscure issues more than clarify them. For example: - An information system for stored goods needs to produce an error message on il- legal input. Yet, the exact wording - and even the language - of those messages is irrelevant for an understanding of the essence of the system. - A banking application interacts with customers with a graphical interface. Yet the specification of the graphical layout is secondary compared to the specification of the possible transactions.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52142595309841,"sku":"NLS9781852330538","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9781852330538.jpg?v=1757580948"},{"product_id":"from-action-systems-to-distributed-systems-book-luigia-petre-9780367574857","title":"From Action Systems to Distributed Systems","description":"A tribute to Professor Kaisa Sere's contributions to the field of computer science, From Action Systems to Distributed Systems: The Refinement Approach presents state-of-the-art information on the themes of distributed systems and refinement. This is the first book to examine the impact of refinement through a multitude of forma","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52475462648081,"sku":"NLS9780367574857","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"US \/ NEW \/ INGRAM","offer_id":53367947198737,"sku":"NIN9780367574857","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9780367574857.jpg?v=1759842595"},{"product_id":"formal-methods-teaching-book-emil-sekerinski-9783031713781","title":"Formal Methods Teaching","description":"This book constitutes the proceedings of the 6th International Workshop on Formal Methods Teaching, FMTea 2024, which was held in Milan, Italy, on September 10, 2024.    The 7 full papers included in these proceedings were carefully reviewed and selected from 9 submissions. The book also contains one invited talk in full paper length. The papers focus on learning formal methods for the purpose of teaching and self-learning.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52654409744657,"sku":"NLS9783031713781","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783031713781.jpg?v=1762215837"},{"product_id":"formal-methods-fm-2019-international-workshops-book-emil-sekerinski-9783030549930","title":"Formal Methods. FM 2019 International Workshops","description":"This book constitutes the refereed proceedings of the workshops which complemented the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in October 2019. This volume presents the papers that have been accepted for the following workshops: Third Workshop on Practical Formal Verification for Software Dependability, AFFORD 2019; 8th International Symposium From Data to Models and Back, DataMod 2019; First Formal Methods for Autonomous Systems Workshop, FMAS 2019; First Workshop on Formal Methods for Blockchains, FMBC 2019; 8th International Workshop on Formal Methods for Interactive Systems, FMIS 2019; First History of Formal Methods Workshop, HFM 2019; 8th International Workshop on Numerical and Symbolic Abstract Domains, NSAD 2019; 9th International Workshop on Open Community Approaches to Education, Research and Technology, OpenCERT 2019; 17th Overture Workshop, Overture 2019; 19th Refinement Workshop, Refine 2019; First International Workshop on Reversibility in Programming, Languages, and Automata, RPLA 2019; 10th International Workshop on Static Analysis and Systems Biology, SASB 2019; and the 10th Workshop on Tools for Automatic Program Analysis, TAPAS 2019.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52687846801681,"sku":"NLS9783030549930","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783030549930.jpg?v=1762331493"},{"product_id":"formal-methods-fm-2019-international-workshops-book-emil-sekerinski-9783030549961","title":"Formal Methods. FM 2019 International Workshops","description":"This book constitutes the refereed proceedings of the workshops which complemented the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in October 2019. This volume presents the papers that have been accepted for the following workshops: Third Workshop on Practical Formal Verification for Software Dependability, AFFORD 2019; 8th International Symposium From Data to Models and Back, DataMod 2019; First Formal Methods for Autonomous Systems Workshop, FMAS 2019; First Workshop on Formal Methods for Blockchains, FMBC 2019; 8th International Workshop on Formal Methods for Interactive Systems, FMIS 2019; First History of Formal Methods Workshop, HFM 2019; 8th International Workshop on Numerical and Symbolic Abstract Domains, NSAD 2019; 9th International Workshop on Open Community Approaches to Education, Research and Technology, OpenCERT 2019; 17th Overture Workshop, Overture 2019; 19th Refinement Workshop, Refine 2019; First International Workshop on Reversibility in Programming, Languages, and Automata, RPLA 2019; 10th International Workshop on Static Analysis and Systems Biology, SASB 2019; and the 10th Workshop on Tools for Automatic Program Analysis, TAPAS 2019.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52688147546385,"sku":"NLS9783030549961","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783030549961.jpg?v=1762332202"}],"url":"https:\/\/www.worldofbooks.com\/en-gb\/collections\/author-books-by-emil-sekerinski.oembed","provider":"World of Books ","version":"1.0","type":"link"}