Kaisa Sere – författare
Visar alla böcker från författaren Kaisa Sere. Handla med fri frakt och snabb leverans.
3 produkter
3 produkter
Dependability and Computer Engineering
Concepts for Software-Intensive Systems
Inbunden, Engelska, 2011
2 504 kr
Skickas inom 5-8 vardagar
2 195 kr
Skickas inom 10-15 vardagar
This volume contains a collection of case studies in program refinement with the B Method. They show typical program developments from problem analysis to implementation with non-trivial examples. They cover areas for which the B Method was originally conceived as well as the following novel areas: - data structures; - information management; - process control systems; - distributed systems. This volume will primarily be of interest to practitioners who either already use B and want to improve their program refinement techniques, or those who are considering using it and want to learn about its implementation. It will also provide useful background reading for students taking courses in the B Method, Formal Specification, or Refinement.
Integrated Formal Methods
Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002. Proceedings.
Häftad, Engelska, 2002
554 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed proceedings of the Third International Conference on Integrated Formal Methods, IFM 2002, held in Turku, Finland, in May 2002. The 18 revised full papers presented together with three invited papers were carefully reviewed and selected from a total of 46 submissions. The papers are organized in topical sections on integration, simulation, and animation; from specification to verification; statcharts and B: integration and translation; model checkers and theorem provers; links between object-Z and CSP; combining graphical and formal approaches; and refinement and proof.