Algebraic specifications in software engineering




















NET Files? Features of ASP. NET Data Types in. NET Framework? How to implement Security in ASP. Difference between ADO. Download Now Download Download to read offline. Technology Education. Formal Methods.

Formal Methods lecture Z specification. Formal methods 4 - Z notation. Formal methods 1 - introduction. Industrial use of formal methods. Introduction To Software Engineering. Software engineering lecture notes. Propositional And First-Order Logic.

Related Books Free with a 30 day trial from Scribd. Related Audiobooks Free with a 30 day trial from Scribd. Specification and design 9. Specification in the software process Formal specification languages Development costs with formal specification Sub-system interfaces The structure of an algebraic specification Many projects in which algebraic specifications have been used as a design tool have been carried out. What prevents algebraic specifications from breaking through is the absence of introductory descriptions and tools supporting the construction of algebraic specifications.

On the one hand. This book should be seen as a contribution towards creating this virtuous circle. The book will be of interest to software designers and programmers. It can also be used as material for an introductory course on algebraic specifications and software engineering at undergraduate or graduate level. Informal specifications alone are certainly not appropriate because they are incomplete. The only way to overcome this problem is to use formal specifications.



0コメント

  • 1000 / 1000