{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,15]],"date-time":"2024-09-15T15:24:18Z","timestamp":1726413858101},"reference-count":39,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2016,4,11]],"date-time":"2016-04-11T00:00:00Z","timestamp":1460332800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"name":"Software Reliability Enhancement Center (SEC), Information Technology Promotion Agency Japan (IPA)","award":["Research Initiative on Advanced Software Engineering in 2012"],"award-info":[{"award-number":["Research Initiative on Advanced Software Engineering in 2012"]}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Wireless Pers Commun"],"published-print":{"date-parts":[[2017,5]]},"DOI":"10.1007\/s11277-016-3291-z","type":"journal-article","created":{"date-parts":[[2016,4,14]],"date-time":"2016-04-14T07:04:35Z","timestamp":1460617475000},"page":"253-266","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Development of a Web Dictionary System Using SOFL"],"prefix":"10.1007","volume":"94","author":[{"given":"Fumiko","family":"Nagoya","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shaoying","family":"Liu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,4,11]]},"reference":[{"key":"3291_CR1","volume-title":"Business components factory: A comprehensive overview of component-based development for the enterprise","author":"P Herzum","year":"2000","unstructured":"Herzum, P., & Sims, O. (2000). Business components factory: A comprehensive overview of component-based development for the enterprise (1st ed.). New York, NY: Wiley.","edition":"1"},{"issue":"5","key":"3291_CR2","doi-asserted-by":"publisher","first-page":"593","DOI":"10.1109\/TSE.2010.83","volume":"37","author":"I Crnkovic","year":"2011","unstructured":"Crnkovic, I., Sentilles, S., Aneta, V., & Chaudron, M. R. V. (2011). A classification framework for software component models. IEEE Transactions on Software Engineering, 37(5), 593\u2013615.","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"2","key":"3291_CR3","first-page":"305","volume":"2","author":"AT Quadri","year":"2015","unstructured":"Quadri, A. T., Abubakar, M., & Sirshar, M. (2015). Software quality assurance in component based software development\u2014A survey analysis. International Journal of Computer and Communication System Engineering, 2(2), 305\u2013315.","journal-title":"International Journal of Computer and Communication System Engineering"},{"key":"3291_CR4","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-85729-018-2","volume-title":"Rigorous software development: an introduction to program verification, ser. Undergraduate topics in computer science","author":"JB Almeida","year":"2011","unstructured":"Almeida, J. B., Frade, M. J., Pinto, J. S., & Melo de Sousa, S. (2011). Rigorous software development: An introduction to program verification, ser. Undergraduate topics in computer science. London: Springer."},{"key":"3291_CR5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-07287-5","volume-title":"Formal engineering for industrial software development","author":"S Liu","year":"2004","unstructured":"Liu, S. (2004). Formal engineering for industrial software development. Berlin: Springer."},{"doi-asserted-by":"publisher","unstructured":"Liu, S., Asuka, M., Komaya, K., & Nakamura, Y. (1998). An approach to specifying and verifying safety-critical systems with practical formal method sofl. In Proceedings of the fourth IEEE international conference on engineering of complex computer systems, 1998. ICECCS\u201998 (pp. 100\u2013114).","key":"3291_CR6","DOI":"10.1109\/ICECCS.1998.706660"},{"unstructured":"Liu, S., Hayashi, T., Takahashi, K., Kimura, K., Nakayama, T., & Nakajima, S. (2010). Automatic transformation from formal specifications to functional scenario forms for automatic test case generation. In Proceedings of the 2010 conference on new trends in software methodologies, tools and techniques (pp. 383\u2013397). Amsterdam, The Netherlands. The Netherlands: IOS Press.","key":"3291_CR7"},{"issue":"4","key":"3291_CR8","doi-asserted-by":"publisher","first-page":"536","DOI":"10.1109\/TSC.2012.22","volume":"6","author":"W Miao","year":"2013","unstructured":"Miao, W., & Liu, S. (2013). A formal engineering framework for service-based software modeling. IEEE Transactions on Services Computing, 6(4), 536\u2013550.","journal-title":"IEEE Transactions on Services Computing"},{"doi-asserted-by":"publisher","unstructured":"Nagoya, F., & Liu, S. (2015). Development of a web-based conference management system using SOFL. In Proceedings of the 2015 conference on research in adaptive and convergent systems, ser. RACS (pp. 337\u2013342). New York, NY: ACM.","key":"3291_CR9","DOI":"10.1145\/2811411.2811502"},{"issue":"5","key":"3291_CR10","doi-asserted-by":"publisher","first-page":"1100","DOI":"10.1109\/TSE.2011.102","volume":"38","author":"S Liu","year":"2012","unstructured":"Liu, S., Chen, Y., Nagoya, F., & McDermid, J. A. (2012). Formal specification-based inspection for verification of programs. IEEE Transactions on Software Engineering, 38(5), 1100\u20131122.","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"2","key":"3291_CR11","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1142\/S0218194011005268","volume":"21","author":"S Liu","year":"2011","unstructured":"Liu, S., Tamai, T., & Nakajima, S. (2011). A framework for integrating formal specification, review, and testing to enhance software reliability. International Journal of Software Engineering and Knowledge Engineering, 21(2), 259\u2013288.","journal-title":"International Journal of Software Engineering and Knowledge Engineering"},{"doi-asserted-by":"crossref","unstructured":"Liu, S., & Shen, W. (2012). A formal approach to testing programs in practice. In 2012 international conference on systems and informatics (ICSAI) (pp. 2509\u20132515).","key":"3291_CR12","DOI":"10.1109\/ICSAI.2012.6223564"},{"unstructured":"L.\u00a0EAST\u00a0Co. Dezizo web dicitonary service API. http:\/\/www.dejizo.jp\/dev\/index.html","key":"3291_CR13"},{"unstructured":"NICT. Japanese wordnet. http:\/\/nlpwww.nict.go.jp\/wn-ja\/index.en.html","key":"3291_CR14"},{"key":"3291_CR15","volume-title":"Systematic software development using VDM","author":"CB Jones","year":"1986","unstructured":"Jones, C. B. (1986). Systematic software development using VDM. Englewood Cliffs, NJ: Prentice Hall International (UK) Ltd."},{"key":"3291_CR16","volume-title":"Structured analysis and system specification","author":"T DeMarco","year":"1979","unstructured":"DeMarco, T. (1979). Structured analysis and system specification. Upper Saddle River, NJ: Prentice Hall."},{"key":"3291_CR17","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-69968-9","volume-title":"Petri nets: An introduction","author":"W Reisig","year":"1985","unstructured":"Reisig, W. (1985). Petri nets: An introduction. New York, NY: Springer."},{"doi-asserted-by":"publisher","unstructured":"Liu, S., & Nakajima, S. (2010). A decompositional approach to automatic test case generation based on formal specifications. In Proceedings of the 2010 fourth international conference on secure software integration and reliability improvement, ser. SSIRI\u201910 (pp. 147\u2013155). Washington, DC: IEEE Computer Society.","key":"3291_CR18","DOI":"10.1109\/SSIRI.2010.11"},{"doi-asserted-by":"publisher","unstructured":"Dick, J., & Faivre, A. (1993). Automating the generation and sequencing of test cases from model-based specifications. In FME \u201993: Proceedings of the first international symposium of formal Methods Europe on industrial-strength formal methods (pp. 268\u2013284). Springer: Berlin.","key":"3291_CR19","DOI":"10.1007\/BFb0024651"},{"unstructured":"OMG. Documents associated with unified modeling language (UML) version 2.5. http:\/\/www.omg.org\/spec\/UML\/2.5\/ .","key":"3291_CR20"},{"key":"3291_CR21","volume-title":"Unified modeling language user guide, the 2nd edition (Addison-Wesley Object Technology Series)","author":"G Booch","year":"2005","unstructured":"Booch, G., Rumbaugh, J., & Jacobson, I. (2005). Unified modeling language user guide, the 2nd edition (Addison-Wesley Object Technology Series) (2nd ed.). Reading, MA: Addison-Wesley.","edition":"2"},{"key":"3291_CR22","volume-title":"The object constraint language: Getting your models ready for MDA","author":"J Warmer","year":"2003","unstructured":"Warmer, J., & Kleppe, A. (2003). The object constraint language: Getting your models ready for MDA (2nd ed.). Boston, MA: Addison-Wesley Longman Publishing Co., Inc.","edition":"2"},{"unstructured":"Cabot, J., & Gogolla, M. (2012). Object constraint language (OCL): A definitive guide, in Proceedings of the 12th international conference on formal methods for the design of computer, communication, and software systems: Formal methods for model-driven engineering, ser. SFM\u201912 (pp. 58\u201390). Berlin, Heidelberg: Springer.","key":"3291_CR23"},{"issue":"2","key":"3291_CR24","doi-asserted-by":"publisher","first-page":"256","DOI":"10.1145\/505145.505149","volume":"11","author":"D Jackson","year":"2002","unstructured":"Jackson, D. (2002). Alloy: A lightweight object modelling notation. ACM Transactions on Software Engineering and Methodology, 11(2), 256\u2013290.","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"3291_CR25","volume-title":"Designing object systems: Object-oriented modelling with syntropy","author":"S Cook","year":"1994","unstructured":"Cook, S., & Daniels, J. (1994). Designing object systems: Object-oriented modelling with syntropy. Upper Saddle River, NJ: Prentice-Hall Inc."},{"key":"3291_CR26","volume-title":"Using Z: specification, refinement, and proof","author":"J Woodcock","year":"1996","unstructured":"Woodcock, J., & Davies, J. (1996). Using Z: Specification, refinement, and proof. Upper Saddle River, NJ: Prentice-Hall Inc."},{"issue":"10","key":"3291_CR27","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1109\/2.161279","volume":"25","author":"B Meyer","year":"1992","unstructured":"Meyer, B. (1992). Applying \u2019design by contract\u2019. Computer, 25(10), 40\u201351.","journal-title":"Computer"},{"key":"3291_CR28","volume-title":"Design by contract, by example","author":"R Mitchell","year":"2002","unstructured":"Mitchell, R., McKim, J., & Meyer, B. (2002). Design by contract, by example. Redwood City, CA: Addison Wesley Longman Publishing Co., Inc."},{"issue":"1","key":"3291_CR29","doi-asserted-by":"publisher","first-page":"24","DOI":"10.1109\/32.663996","volume":"24","author":"S Liu","year":"1998","unstructured":"Liu, S., Offutt, A. J., Ho-Stuart, C., Ohba, M., & Sun, Y. (1998). SOFL: A formal engineering methodology for industrial applications. IEEE Transactions on Software Engineering, 24(1), 24\u201345.","journal-title":"IEEE Transactions on Software Engineering"},{"unstructured":"OMG. Documents associated with object constraint language (OCL), version 2.4. http:\/\/www.omg.org\/spec\/OCL\/2.4\/ .","key":"3291_CR30"},{"key":"3291_CR31","volume-title":"Objects, components, and frameworks with UML: The catalysis approach","author":"DF D\u2019Souza","year":"1999","unstructured":"D\u2019Souza, D. F., & Wills, A. C. (1999). Objects, components, and frameworks with UML: The catalysis approach. Boston, MA: Addison-Wesley Longman Publishing Co., Inc."},{"key":"3291_CR32","volume-title":"Software abstractions: Logic, language, and analysis","author":"D Jackson","year":"2006","unstructured":"Jackson, D. (2006). Software abstractions: Logic, language, and analysis. Cambridge, MA: MIT Press."},{"key":"3291_CR33","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511624162","volume-title":"The B-book: Assigning programs to meanings","author":"J-R Abrial","year":"1996","unstructured":"Abrial, J.-R. (1996). The B-book: Assigning programs to meanings. New York, NY: Cambridge University Press."},{"issue":"4","key":"3291_CR34","doi-asserted-by":"publisher","first-page":"386","DOI":"10.1007\/s10270-005-0089-y","volume":"4","author":"M Gogolla","year":"2005","unstructured":"Gogolla, M., Bohling, J., & Richters, M. (2005). Validating UML and OCL models in use by automatic snapshot generation. Journal on Software and System Modeling, 4(4), 386\u2013398.","journal-title":"Journal on Software and System Modeling"},{"doi-asserted-by":"publisher","unstructured":"Kuhlmann, M., Hamann, L., & Gogolla, M. (2011). Extensive validation of OCL models by integrating sat solving into use. In Proceedings of the 49th international conference on objects, models, components, patterns, ser. TOOLS\u201911 (pp. 290\u2013306). Berlin: Springer.","key":"3291_CR35","DOI":"10.1007\/978-3-642-21952-8_21"},{"doi-asserted-by":"publisher","unstructured":"Liu, S., & Xue, X. (2009). Automated software specification and design using the sofl formal engineering method. In WRI World Congress on Software Engineering, 2009. WCSE \u201909 (Vol. 4, pp. 283\u2013289).","key":"3291_CR36","DOI":"10.1109\/WCSE.2009.43"},{"issue":"1\u20132","key":"3291_CR37","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1007\/s11334-009-0114-3","volume":"6","author":"S Liu","year":"2010","unstructured":"Liu, S. (2010). An approach to applying SOFL for agile process and its application in developing a test support tool. Innovations in Systems and Software Engineering, 6(1\u20132), 137\u2013143.","journal-title":"Innovations in Systems and Software Engineering"},{"doi-asserted-by":"publisher","unstructured":"Nagoya, F., Liu, S., & Y.\u00a0Chen. (2005). A tool and case study for specification-based program review. In 29th annual international conference on computer software and applications conference, 2005. COMPSAC 2005 (Vol.\u00a01, 2, pp. 375\u2013380).","key":"3291_CR38","DOI":"10.1109\/COMPSAC.2005.36"},{"doi-asserted-by":"publisher","unstructured":"Li, M., & Liu, S. (2015). Integrating animation-based inspection into formal design specification construction for reliable software systems. In IEEE transactions on reliability (Vol. 99, pp. 1\u201319).","key":"3291_CR39","DOI":"10.1109\/TAP.2015.2431316"}],"container-title":["Wireless Personal Communications"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11277-016-3291-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11277-016-3291-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11277-016-3291-z","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11277-016-3291-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,6]],"date-time":"2019-09-06T13:39:51Z","timestamp":1567777191000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11277-016-3291-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,4,11]]},"references-count":39,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2017,5]]}},"alternative-id":["3291"],"URL":"https:\/\/doi.org\/10.1007\/s11277-016-3291-z","relation":{},"ISSN":["0929-6212","1572-834X"],"issn-type":[{"type":"print","value":"0929-6212"},{"type":"electronic","value":"1572-834X"}],"subject":[],"published":{"date-parts":[[2016,4,11]]}}}