@book{14d7cd44b99b4e1c81ee0afecf56d6ab,

title = "A Comparison of the Notations Used in the Shlaer/Mellor Method and in TCM",

abstract = "This report compares two notation systems for requirements modeling, the notations used in the Shlaer-Mellor method for object-oriejted analysis and the notations used in TCM (Toolkit for Conceptual Modeling). Both notations systems are semi-formal, but in addition, TCM contains a formal part that allows writing a specification in LCM (Language for Conceptual Modeling), a language based on order-sorted dynamic logic. The formal and semi-formal parts of a TCM specification supplement each other and each can be used without using the other. Because the semi-formal and formal notations in TCM are precisely related, the semi-formal notations have unambiguous definitions and the formal notations have simple and clear digaram representations.",

keywords = "SCS-Services, IR-80476, EWI-10711",

author = "Wieringa, {Roelf J.} and G. Saake",

year = "1995",

month = oct,

day = "9",

language = "Undefined",

series = "Technical Report / Faculty of Mathematics and Computer Science",

publisher = "Free University, Faculty of Mathematics and Computer Science",

number = "IR-393",

}