Titlebook: KORSO: Methods, Languages, and Tools for the Construction of Correct Software; Final Report Manfred Broy,Stefan J?hnichen Book 1995 Springe

lethal

HPA533

The Kiv-approach to software verification,ns and stepwise refinement by program modules. The approach is implemented in . (.), and supports the entire design process starting from formal specifications and ending with verified code. Its main characteristics are a strict decompositional design discipline for modular systems, a powerful proof

國(guó)家明智

978-3-540-60589-8Springer-Verlag Berlin Heidelberg 1995

香料

吃掉

Lecture Notes in Computer Sciencehttp://image.papertrans.cn/k/image/541676.jpg

Glutinous

Event automata as a generic model of reactive systems,hes the underlying mathematics, and provides some ideas about appropriate specification techniques. The framework will be instantiated by various, conceptually quite different examples ranging from interleaving semantics and process calculi to true concurrency semantics and object-oriented methods.

顯微鏡

AVL trees revisited: A case study in Spectrum,ich is organized in four stages: requirement specification, design specification, executable specification and functional program. The concept of AVL trees serves as example for presenting this approach.

alabaster

營(yíng)養(yǎng)

斷言