Specifying software specification & design methods Export

@incollection{citeulike:2902414, abstract = {To support customizing and integrating software specification \& design methods to a suitable method for designers' problem domain and environment, so-called Computer Aided Method Engineering (CAME), we need a meta model for representing the fragments of methods formally and for composing them into a method. This paper discusses a meta modelling technique by using a formal specification language Object-Z which is an object oriented version of the Z language. The logical expressions of Object-Z allows us to describe hierarchical structures and the constraints in the methods and the inheritance mechanism enables us to integrate method fragments into a new method.}, author = {Saeki, Motoshi and Wenyin, Kuo}, citeulike-article-id = {2902414}, citeulike-linkout-0 = {http://dx.doi.org/10.1007/3-540-58113-8_182}, doi = {10.1007/3-540-58113-8_182}, journal = {Advanced Information Systems Engineering}, keywords = {consistency, fragments, rules}, pages = {353--366}, posted-at = {2008-06-17 13:57:41}, priority = {4}, title = {Specifying software specification \& design methods}, url = {http://dx.doi.org/10.1007/3-540-58113-8_182}, year = {1994} }

TY - CHAP ID - citeulike:2902414 L3 - citeulike-article-id:2902414 N2 - To support customizing and integrating software specification & design methods to a suitable method for designers' problem domain and environment, so-called Computer Aided Method Engineering (CAME), we need a meta model for representing the fragments of methods formally and for composing them into a method. This paper discusses a meta modelling technique by using a formal specification language Object-Z which is an object oriented version of the Z language. The logical expressions of Object-Z allows us to describe hierarchical structures and the constraints in the methods and the inheritance mechanism enables us to integrate method fragments into a new method. JF - Advanced Information Systems Engineering EP - 366 TI - Specifying software specification & design methods SP - 353 KW - consistency KW - fragments KW - rules AU - Saeki, Motoshi AU - Wenyin, Kuo PY - 1994/// UR - http://dx.doi.org/10.1007/3-540-58113-8_182 ER -