Calculating with concepts: a technique for the development of business process support

@misc{citeulike:878995, abstract = {This paper introduces the Calculating with Concepts (CC) technique, which has been developed to improve the precision of UML class diagrams and allows the formal reasoning based on these diagrams. This paper aims at showing the industrial benefits of using such a formal and rigorous approach to reason about business processes and software applications in the early phases of the software development process. The paper discusses how the CC technique can be used in the specification of business...}, author = {Dijkman, R. and Pires, L. and Joosten, S. }, citeulike-article-id = {878995}, keywords = {cc}, posted-at = {2007-09-18 13:02:48}, priority = {0}, title = {Calculating with concepts: a technique for the development of business process support}, url = {http://citeseer.ist.psu.edu/dijkman01calculating.html}, year = {2001} }

TY - GEN ID - citeulike:878995 L3 - citeulike-article-id:878995 TI - Calculating with concepts: a technique for the development of business process support N2 - This paper introduces the Calculating with Concepts (CC) technique, which has been developed to improve the precision of UML class diagrams and allows the formal reasoning based on these diagrams. This paper aims at showing the industrial benefits of using such a formal and rigorous approach to reason about business processes and software applications in the early phases of the software development process. The paper discusses how the CC technique can be used in the specification of business... KW - cc AU - Dijkman, R AU - Pires, L AU - Joosten, S PY - 2001/// UR - http://citeseer.ist.psu.edu/dijkman01calculating.html ER -