Title: Algebraic Methodology and Software Technology