Titlebook: Rigorous Methods for Software Construction and Analysis; Essays Dedicated to Jean-Raymond Abrial,Uwe Glässer Book 2009 Springer-Verlag Ber

掺假

一个姐姐

A Step towards Merging xUML and CSP ,B,ls so that the models can be verified. In this paper we focus on executable UML and on the issues related to concurrent state machines. We show that one integrated formal methods approach, CSP .B, has the potential to be tailored to support reasoning about concurrent state machines and in turn expos

妈妈不开心

, Plug-In Architecture,uential, parallel, and distributed systems. . is a novel executable ASM language which emphasizes freedom of experimentation and supports the evolutionary nature of design as a product of creativity. The . engine, the heart of the . tool suite, is based on an extensible architecture which supports v

轻快带来危险

lymphoma

A Modular Verification Methodology for C# Delegates,ion of function objects. A delegate instance represents a method together with a target object. Sound reasoning about delegates requires that the precondition of the underlying method holds whenever a delegate is invoked. This is difficult to achieve if the method precondition depends on the state o

制定

ensemble

Ten Commandments Ten Years On: Lessons for ASM, B, Z and VSR-net,uirements (or “commandments”) for formal developers to consider and follow, based on our knowledge of several industrial application success stories, most of which have been reported in more detail in two books [32,33]. The paper was surprisingly popular, is still widely referenced, and used as requ

Antioxidant

An ASM-Characterization of a Class of Distributed Algorithms,aper we generalize Gurevich’s result to .: we define a class of distributed algorithms by likewise general requirements and show that this class is covered by a distributed computation model based on sequential ASMs.

Coronary

突袭