Supporting Reuse in Event B Development: Modularisation Approach
暂无分享,去创建一个
Elena Troubitsyna | Alexander Romanovsky | Alexei Iliasov | Linas Laibinis | Dubravka Ilic | Timo Latvala | Kimmo Varpaaniemi
[1] Martín Abadi,et al. Composing specifications , 1989, TOPL.
[2] John Fitzgerald. Reasoning about a Modular Model-Oriented Formal Specification , 1992, Specifications of Database Systems.
[3] Ralph-Johan Back,et al. Refinement Calculus, Part II: Parallel and Reactive Programs , 1989, REX Workshop.
[4] Alain J. Martin. A general proof rule for procedures in predicate transformer semantics , 2004, Acta Informatica.
[5] Cliff B. Jones,et al. RODIN (Rigorous Open Development Environment for Complex Systems) , 2005 .
[6] John Fitzgerald. Modularity in model-oriented formal specifications and its interaction with formal reasoning , 1991, Technical report series : UMCS.
[7] Kaisa Sere,et al. Superposition refinement of reactive systems , 2005, Formal Aspects of Computing.
[8] Jean-Raymond Abrial,et al. Refinement, Decomposition, and Instantiation of Discrete Models: Application to Event-B , 2007, Fundam. Informaticae.
[9] Michael Leuschel,et al. Project DEPLOY Grant Agreement 214158 "Industrial deployment of advanced system engineering methods for high productivity and dependability" , 2011 .
[10] David Gries,et al. Assignment and Procedure Call Proof Rules , 1980, TOPL.
[11] Frank Waters,et al. The B Book , 1971 .
[12] Michael J. Butler,et al. Decomposition Structures for Event-B , 2009, IFM.