1 Introduction.- 2 Transformation Systems.- 3 Specification of Properties.- 4 Development of Transformation Systems.- 5 Composition of Transformation Systems.- 6 Applications to UML Software Specifications.- 7 Conclusion.- A Partial Algebras and Their Specification.- References.
"synopsis" may belong to another edition of this title.