By Topic

Propagating changes in algebraic specifications

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$33 $33
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

2 Author(s)
A. T. Nakagawa ; SRA Sci. Lab., Tokyo, Japan ; K. Futatsugi

Controlling changes is an important problem in software development. By considering the problem as containing or propagating the ripple effects of an initial change throughout the inter-relations of products, one can formalise mechanisms to deal with the overall effects of a change. If we restrict ourselves to formal specifications based on algebraic methodologies, we can obtain a precise picture of the changes in semantics as well as those in syntax. This line of investigation produces detailed requirements for, and even designs of, an environment that incorporates algebraic specification methodologies.<>

Published in:

Software Engineering Journal  (Volume:6 ,  Issue: 6 )