Introduction to Algebraic Specification. Part 1: Formal Methods for Software Development | Zendy

Hartmut Ehrig | Zendy; B. Mahr | Zendy; Ingo Claßen | Zendy; Fernando Orejas | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Introduction to Algebraic Specification. Part 1: Formal Methods for Software Development

Author(s) -

Hartmut Ehrig,

B. Mahr,

Ingo Claßen,

Fernando Orejas

Publication year - 1992

Publication title -

the computer journal

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.319

H-Index - 64

eISSN - 1460-2067

pISSN - 0010-4620

DOI - 10.1093/comjnl/35.5.460

Subject(s) - algebraic specification , algebraic number , computer science , field (mathematics) , structuring , software , process (computing) , development (topology) , algebra over a field , formal methods , software development , formal specification , programming language , software engineering , mathematics , pure mathematics , mathematical analysis , finance , economics

The intention of this part 1 of an overview paper on algebraic specifications is an informal introduction to formal methods for software development in general and to applications of algebraic specifications in particular. Horizontal structuring and vertical refinement techniques for algebraic specifications are shown to support the general software development process. Moreover, a short overview of case studies and tools in the ESPRIT projects LOTOSPHERE and PROSPECTRA is given

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research