Titlebook: Specification of Software Systems; V. S. Alagar,K. Periyasamy Textbook 19981st edition Springer-Verlag New York 1998 Mathematica.Vienna De

Derogate

Arthr-

过滤

Gum-Disease

NIB

Algebraic Specification,rlying semantics is derived from algebra, where different mathematical structures such as groups, rings, and fields are studied. In this chapter we look at how to construct algebras for specifying various software artifacts.

Generalize

eulogize

收到

Specification Activities,a well-defined development process. This chapter addresses specific issues that should be considered, activities that should be initiated, and the roles that are to be assumed when specifications are . due to the integration of . into the existing software life cycle process for a given project.

flavonoids

Vienna Development Method,ng and analysis of software systems at different levels of abstraction. Using VDM-SL constructs, both data and algorithmic abstractions expressed in one level can be refined to a lower level to derive a concrete model that is closer to the final implementation of the system.

暂时别动

1868-0941 lopment. The aim of the book is to teach the fundamental principles of formal methods in the construction of modular and verifiable formal specifications. The book introduces several formal specification techniques and illustrates the expressive power of each technique with a number of examples. Gen