{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,2]],"date-time":"2022-04-02T15:40:31Z","timestamp":1648914031867},"reference-count":45,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[1993,6,1]],"date-time":"1993-06-01T00:00:00Z","timestamp":738892800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Systems Integration"],"published-print":{"date-parts":[[1993,6]]},"DOI":"10.1007\/bf01974953","type":"journal-article","created":{"date-parts":[[2005,7,31]],"date-time":"2005-07-31T16:51:29Z","timestamp":1122828689000},"page":"103-132","source":"Crossref","is-referenced-by-count":0,"title":["A unified formal basis for the CASE tools system"],"prefix":"10.1007","volume":"3","author":[{"given":"C. S.","family":"Tang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"BF01974953_CR1","doi-asserted-by":"crossref","unstructured":"E. Ashcraft, and W.W. Wadge, \u201cLucid: A nonprocedural language with iteration,\u201d CACM, vol. 20, 1977.","DOI":"10.1145\/359636.359715"},{"key":"BF01974953_CR2","doi-asserted-by":"crossref","unstructured":"H. Barringer, R. Kuiper, and A. Pnueli, \u201cNow you may compose temporal logic specifications,\u201d Proc. 16th ACM Symp. on Theory of Comp., 1984.","DOI":"10.1145\/800057.808665"},{"key":"BF01974953_CR3","doi-asserted-by":"crossref","unstructured":"K.M. Chandy, and J. Misra, Parallel Program Design, Addison-Wesley, 1988.","DOI":"10.1007\/978-1-4613-9668-0_6"},{"key":"BF01974953_CR4","unstructured":"Y. Feng, H. Lin, and Z. Tang, \u201cA proof system for temporal logic programs,\u201d R&D of Comp. no. 10, Beijing, 1985, (in Chinese)."},{"key":"BF01974953_CR5","unstructured":"D. Gabbay, \u201cA past tense condition and future tense action temporal logic language,\u201d draft, London, 1990."},{"key":"BF01974953_CR6","unstructured":"A. Giacalone, et. al., \u201cToward a formally-based programming environment,\u201d Integrated Interactive Computing System. 1983."},{"key":"BF01974953_CR7","unstructured":"J. Gong, \u201cAn interactive graphic CASE tool to transform a program into its well-structured form,\u201d to appear in J. of Softw., Beijing, 1992, (in Chinese)."},{"key":"BF01974953_CR8","unstructured":"J. Gong, R. Zhang, and C.S. Tang, \u201cXYZ\/CFC & XYZ\/PAD: Graphic editors for program design,\u201d to appear in J. of Softw., Beijing (in Chinese)."},{"key":"BF01974953_CR9","unstructured":"M. Hagiya, and T. Sakuragawa, \u201cTemporal prolog,\u201d Res. Inst. Math. Sci., Kyoto Univ., draft, Kyoto, 1984."},{"key":"BF01974953_CR10","doi-asserted-by":"crossref","unstructured":"D. Harel, \u201cStatecharts: A visual formalism for complex system,\u201d Sci. Comp. Prog., no. 8, 1986.","DOI":"10.1016\/0167-6423(87)90035-9"},{"key":"BF01974953_CR11","series-title":"Proc. IFIP WG. 8.1 Working Conf.","volume-title":"Activity modelling and behavior modelling of information systems","author":"C.H. Kung","year":"1986","unstructured":"C.H. Kung, and A. Solvberg, \u201cActivity modelling and behavior modelling of information systems,\u201d Proc. IFIP WG. 8.1 Working Conf., North Holland, Amsterdam, 1986."},{"key":"BF01974953_CR12","series-title":"Proc. IFIP Cong.","volume-title":"What good is temporal logic","author":"L. Lamport","year":"1983","unstructured":"L. Lamport, \u201cWhat good is temporal logic,\u201d Proc. IFIP Cong., North Holland, Amsterdam, 1983."},{"key":"BF01974953_CR13","unstructured":"L. Lamport, \u201cThe temporal logic of action,\u201d draft, Palo Alto, 1991."},{"key":"BF01974953_CR14","unstructured":"P. Lee, et. al., \u201cResearch on semantically-based program design environment,\u201d Dept. Comp. Sci. CMU. Tech. Rep. CMU-CS-88-118, Pittsburgh, 1988."},{"key":"BF01974953_CR15","unstructured":"R. Li, W. Zhang, and P. He. \u201cAn introduction to Incaps system,\u201d Inst. Softw. Acad. Sin. Tech. Rep. No. IS-CAS-XYZ-91-2. To appear in J. of Comp. Sci. & Tech, no. 4, Beijing, 1992."},{"key":"BF01974953_CR16","doi-asserted-by":"crossref","unstructured":"H. Lin, C. Gong, and H. Xie, \u201cAbstract implementation of algebraic specifications in a temporal logic language,\u201d J. of Comput. Sci. & Technol., vol. 6, No. 1, Beijing, 1991.","DOI":"10.1007\/BF02943403"},{"key":"BF01974953_CR17","unstructured":"J. Liu, and X. Cai, \u201cAn attributes evaluator based on partitioned grammar,\u201d Inst. Softw. Acad. Sin. Tech. Rep. IS-AS-XYZ-88-9, Beijing."},{"key":"BF01974953_CR18","doi-asserted-by":"crossref","unstructured":"T. Liu, and C.S. Tang, \u201cSemantic specification and verification of data flow diagram,\u201d J. of Comp. Sci. & Tech., vol. 6, no. 1, Beijing, 1991.","DOI":"10.1007\/BF02943404"},{"key":"BF01974953_CR19","doi-asserted-by":"crossref","unstructured":"T. Liu, C.S. Tang, and R. Zhang, \u201cA formal approach to the semantic specification of data flow diagrams,\u201d Proc. COMPSAC'91, Tokyo, 1991.","DOI":"10.1109\/CMPSAC.1991.170179"},{"key":"BF01974953_CR20","volume-title":"\u201cVerification of sequential programs, temporal axiomatization,\u201d Theoretical Foundations of Programming Methodology","author":"Z. Manna","year":"1982","unstructured":"Z. Manna, \u201cVerification of sequential programs, temporal axiomatization,\u201d Theoretical Foundations of Programming Methodology, North Holland, Amsterdam, 1982."},{"key":"BF01974953_CR21","volume-title":"The Temporal Logic of Reactive and Concurrent Systems. Specification","author":"Z. Manna","year":"1991","unstructured":"Z. Manna, and A. Pnueli,The Temporal Logic of Reactive and Concurrent Systems. Specification. Springer-Verlag: New York, 1991."},{"key":"BF01974953_CR22","unstructured":"J. McCarthy, \u201cElephant\u201d draft, Stanford, USA, 1979."},{"key":"BF01974953_CR23","unstructured":"X. Miao, and C.S. Tang, \u201cA methodology and environment for stepwise refinement according to design decisions,\u201d Inst. Softw. Acad. Sin. Tech. Rep. IS-CAS-XYZ-89-5, 1989."},{"key":"BF01974953_CR24","volume-title":"Executing temporal logic programs","author":"B. Moszkowski","year":"1986","unstructured":"B. Moszkowski, Executing temporal logic programs, Cambridge Univ. Press, Cambridge, MA, 1986."},{"key":"BF01974953_CR25","unstructured":"B. Mu, Y. Xiao, and C.S. Tang, \u201cA compiler-compiler source-to-source transformation system,\u201d to be submitted to J. of Softw., Beijing, (in Chinese)."},{"key":"BF01974953_CR26","volume-title":"\u201cApplications of temporal logic to the specification and verification of reactive systems: A survey of current trends,\u201d LNCS 224","author":"A. Pnueli","year":"1986","unstructured":"A. Pnueli, \u201cApplications of temporal logic to the specification and verification of reactive systems: A survey of current trends,\u201d LNCS 224 Springer-Verlag: Berlin, 1986."},{"key":"BF01974953_CR27","unstructured":"M. Pong, Y. Zhang, H. Xu, and J. Ding, \u201cOOMMS: A module management system based on object-oriented model,\u201d Inst. Softw. Acad. Sin. Tech. Rep. IS-CAS-XYZ-92-4, Beijing, 1992."},{"key":"BF01974953_CR28","unstructured":"W. Shen, and C. Zhao, \u201cA compiler of distributed XYZ\/E,\u201d to be submitted to J. of Softw., Beijing (in Chinese)."},{"key":"BF01974953_CR29","unstructured":"C.S. Tang, \u201cA programming development environment conforming to various ways of programming,\u201d R&D of Comp., vol. 11, 1982, Beijing (in Chinese)."},{"key":"BF01974953_CR30","series-title":"Dept. Comp. Sci. Stanford, Tech. Rep. No. STAN-CS-81-865","volume-title":"Toward a unified logic basis for programming languages","author":"C.S. Tang","year":"1983","unstructured":"C.S. Tang, \u201cToward a unified logic basis for programming languages,\u201d Dept. Comp. Sci. Stanford, Tech. Rep. No. STAN-CS-81-865; revised version in Proc. IFIP congress., North Holland, Amsterdam, 1983."},{"key":"BF01974953_CR31","volume-title":"\u201cXYZ: A programming development environment based on temporal logic,\u201d Programming Languages and Systems","author":"C.S. Tang","year":"1983","unstructured":"C.S. Tang, \u201cXYZ: A programming development environment based on temporal logic,\u201d Programming Languages and Systems, North Holland, Amsterdam, 1983."},{"key":"BF01974953_CR32","volume-title":"\u201cA temporal logic language for behavior modelling of information and expert system,\u201d Knowledge & Data","author":"C.S. Tang","year":"1986","unstructured":"C.S. Tang, \u201cA temporal logic language for behavior modelling of information and expert system,\u201d Knowledge & Data, North Holland, Amsterdam, 1986."},{"key":"BF01974953_CR33","unstructured":"C.S. Tang, \u201cTo unify programming with logic,\u201d I, Proc. of PREVLDB Intl. Symp. Beijing, 1986; II, Proc. Entl. Symp. Softw. Eng. Beijing, 1986."},{"key":"BF01974953_CR34","unstructured":"C.S. Tang, \u201cD&R of programming technology for thirty years,\u201d Comp. Sci., no. 3, 1988, (in Chinese)."},{"key":"BF01974953_CR35","unstructured":"C.S. Tang, \u201cTo unify programming with a temporal logic system,\u201d Dept, Comp. Sci. CMU, Tech. Rep. No. CMU-CS-87-160; Revised version in Proc. Jap. Ann. Softw. Symp. Tokyo, 1989."},{"key":"BF01974953_CR36","unstructured":"C.S. Tang, \u201cDesign Philosophy of XYZ system,\u201d J. of Softw. no. 1, Beijing, 1990, (in Chinese)."},{"key":"BF01974953_CR37","unstructured":"C.S. Tang, et. al., \u201cThe syntax and explanation of the temporal logic language ZYZ\/E,\u201d Inst. Softw. Acad., Sin. Tech. Rep. IS-CAS-XYZ-90-1, Beijing."},{"key":"BF01974953_CR38","unstructured":"C.S. Tang, M. Zheng, and X. Li, \u201cA two level formal semantics and semantic-directed compilation,\u201d Scientia Sinica, Teries A, vol. XXVIII, no. 9, Beijing, 1985."},{"key":"BF01974953_CR39","unstructured":"S. Wang, \u201cRapid prototyping with Prolog in XYZ system,\u201d Master thesis in Inst. Softw. Acad. Sin. 1989; to be submitted to J. of Softw., Beijing (in Chinese)."},{"key":"BF01974953_CR40","doi-asserted-by":"crossref","unstructured":"T. Winograd, \u201cBeyond programming languages,\u201d CACM, 1979.","DOI":"10.1145\/359131.359133"},{"key":"BF01974953_CR41","doi-asserted-by":"crossref","unstructured":"H. Xie, J. Gong, and C.S. Tang, \u201cA structured temporal logic language XYZ\/SE, J. of Comp. Sci. & Tech., vol. 6, no. 1, Beijing, 1991.","DOI":"10.1007\/BF02943402"},{"key":"BF01974953_CR42","unstructured":"H. Xie and C.S. Tang, \u201cAn Approach to Concurrent Programming in Temporal Logic,\u201d to be published inJ. of Comp. Sci. & Tech., Beijing, 1993."},{"key":"BF01974953_CR43","unstructured":"R.T. Yeh, \u201cSystem development as a wicked problem,\u201d Intl. J. of Softw. Eng. & Knowled. Eng., vol. 1, no. 2, 1991."},{"key":"BF01974953_CR44","doi-asserted-by":"crossref","unstructured":"R.T. Yeh, R.A. Schlemmer, and R.T. Mittermeir, \u201cA systematic approach to process modeling,\u201d J. of Systems Integration, vol. 1, nos. 3\/4, 1991.","DOI":"10.1007\/BF02262717"},{"key":"BF01974953_CR45","series-title":"The Role of AI in DB&IS","volume-title":"Formalization of data flow diagram","author":"Y. Zheng","year":"1987","unstructured":"Y. Zheng, and C.S. Tang, \u201cFormalization of data flow diagram,\u201d The Role of AI in DB&IS, North Holland, Amsterdam, 1987."}],"container-title":["Journal of Systems Integration"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01974953.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01974953\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01974953","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,8]],"date-time":"2020-04-08T13:52:34Z","timestamp":1586353954000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01974953"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993,6]]},"references-count":45,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1993,6]]}},"alternative-id":["BF01974953"],"URL":"https:\/\/doi.org\/10.1007\/bf01974953","relation":{},"ISSN":["0925-4676","1573-8787"],"issn-type":[{"value":"0925-4676","type":"print"},{"value":"1573-8787","type":"electronic"}],"subject":[],"published":{"date-parts":[[1993,6]]}}}