Algebraic Methodology and Software Technology

Algebraic Methodology and Software Technology

4.11 - 1251 ratings - Source

This is the refereed proceedings of the 11th International Conference on Algebraic Methodology and Software Technology. The book collects 24 revised full papers together with 3 system demonstrations and 3 invited talks. Coverage includes current issues in formal methods related to algebraic approaches and to software engineering including abstract data types, process algebras, algebraic specification, model checking, abstraction, refinement, mu-calculus, state machines, rewriting, Kleene algebra, programming logic, and formal software development.Commands that insert an element (class, attribute, association, and so on) in a diagram. They are defined by equations that add to the module specifying the diagram in the toola#39;s database the declarations (sorts, operators, memberships, anbsp;...

Title:Algebraic Methodology and Software Technology
Author:Michael Johnson, Varmo Vene
Publisher:Springer - 2006-09-27


You Must CONTINUE and create a free account to access unlimited downloads & streaming