Software Reuse by Model Reification

@inproceedings{citeulike:2721687, abstract = {This paper builds upon earlier work on systematically calculating implementations from model-oriented specifications based on abstract data types. The calculation process is called reification and is usually done by \"hand\", requiring some ingenuity and time. The adoption of model-oriented software specification encompasses the ability to classify and compare data structures. The reification of such data models (specifications of software data structures) also provides a powerful reuse...}, author = {Neves, Lu\'\is F. and Oliveira, Jos\'e N. }, citeulike-article-id = {2721687}, keywords = {alloy, formalmethods}, posted-at = {2008-04-26 14:00:43}, priority = {2}, title = {Software Reuse by Model Reification}, url = {http://citeseer.ist.psu.edu/neves95software.html} }

TY - CONF ID - citeulike:2721687 L3 - citeulike-article-id:2721687 TI - Software Reuse by Model Reification N2 - This paper builds upon earlier work on systematically calculating implementations from model-oriented specifications based on abstract data types. The calculation process is called reification and is usually done by "hand", requiring some ingenuity and time. The adoption of model-oriented software specification encompasses the ability to classify and compare data structures. The reification of such data models (specifications of software data structures) also provides a powerful reuse... KW - alloy KW - formalmethods AU - Neves, Lu\'\is AU - Oliveira, Jos\'e UR - http://citeseer.ist.psu.edu/neves95software.html ER -