乐胖代购免代理版

{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T10:17:36Z","timestamp":1725790656430},"publisher-location":"Cham","reference-count":27,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319058429"},{"type":"electronic","value":"9783319058436"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-05843-6_14","type":"book-chapter","created":{"date-parts":[[2014,3,18]],"date-time":"2014-03-18T01:05:28Z","timestamp":1395104728000},"page":"184-199","source":"Crossref","is-referenced-by-count":13,"title":["Improving the Understandability of Formal Specifications: An Experience Report"],"prefix":"10.1007","author":[{"given":"Felix","family":"Kossak","sequence":"first","affiliation":[]},{"given":"Atif","family":"Mashkoor","sequence":"additional","affiliation":[]},{"given":"Verena","family":"Geist","sequence":"additional","affiliation":[]},{"given":"Christa","family":"Illibauer","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"14_CR1","doi-asserted-by":"publisher","first-page":"56","DOI":"10.1109\/2.375178","volume":"28","author":"J.P. Bowen","year":"1995","unstructured":"Bowen, J.P., Hinchey, M.G.: Ten Commandments of Formal Methods. Computer\u00a028, 56\u201363 (1995)","journal-title":"Computer"},{"key":"14_CR2","unstructured":"Mashkoor, A., Jacquot, J.-P., Souqui\u00e8res, J.: Transformation Heuristics for Formal Requirements Validation by Animation. In: SafeCert 2009, York, UK (2009)"},{"key":"14_CR3","doi-asserted-by":"crossref","unstructured":"Mashkoor, A., Jacquot, J.-P.: Stepwise Validation of Formal Specifications. In: APSEC 2011, pp. 57\u201364 (2011)","DOI":"10.1109\/APSEC.2011.48"},{"key":"14_CR4","unstructured":"Spivey, J.M.: The Z Notation: A Reference Manual. Prentice-Hall, Inc. (1989)"},{"key":"14_CR5","doi-asserted-by":"crossref","unstructured":"Abrial, J.-R.: Modeling in Event-B: System and Software Engineering. Cambridge University Press (2010)","DOI":"10.1017\/CBO9781139195881"},{"key":"14_CR6","unstructured":"Boehm, B.W., Brown, J.R., Lipow, M.: Quantitative Evaluation of Software Quality. In: ICSE 1976, pp. 592\u2013605 (1976)"},{"key":"14_CR7","doi-asserted-by":"crossref","unstructured":"B\u00f6rger, E., St\u00e4rk, R.: Abstract State Machines - A Method for High-Level System Design and Analysis. Springer (2003)","DOI":"10.1007\/978-3-642-18216-7"},{"key":"14_CR8","doi-asserted-by":"crossref","unstructured":"Zimmerman, M.K., Lundqvist, K., Leveson, N.: Investigating the Readability of State-based Formal Requirements Specification Languages. In: ICSE 2002, pp. 33\u201343 (2002)","DOI":"10.1145\/581344.581347"},{"key":"14_CR9","unstructured":"Vinter, R., Loomes, M., Kornbrot, D.: Applying Software Metrics to Formal Specifications: A Cognitive Approach. In: METRICS 1998, pp. 216\u2013223 (1998)"},{"issue":"2","key":"14_CR10","doi-asserted-by":"publisher","first-page":"158","DOI":"10.1109\/32.485225","volume":"22","author":"K. Finney","year":"1996","unstructured":"Finney, K.: Mathematical Notation in Formal Specification: Too Difficult for the Masses? IEEE Trans. Softw. Eng.\u00a022(2), 158\u2013159 (1996)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"14_CR11","doi-asserted-by":"crossref","unstructured":"Bidoit, M., Gaudel, M.-C., Mauboussin, A.: How to Make Algebraic Specifications More Understandable? In: Algebraic Methods: Theory, Tools and Applications, pp. 31\u201367 (1989)","DOI":"10.1007\/BFb0015035"},{"key":"14_CR12","unstructured":"Choppy, C.: Teaching Formal Specifications What About Abstraction. In: SEEFM 2007, pp. 188\u2013199 (2007)"},{"key":"14_CR13","unstructured":"B\u00f6rger, E., S\u00f6rensen, O.: BPMN Core Modeling Concepts. In: Handbook of Conceptual Modeling: Theory, Practice and Research Challenges. Springer (2011)"},{"key":"14_CR14","unstructured":"Farahbod, R., Gervasi, V., Gl\u00e4sser, U.: CoreASM: An Extensible ASM Execution Engine. In: 12th Int. Workshop on Abstract State Machines, pp. 153\u2013165 (2005)"},{"key":"14_CR15","unstructured":"Davis, M.: The Universal Computer: The Road from Leibniz to Turing. W.W. Norton (2000)"},{"key":"14_CR16","doi-asserted-by":"publisher","first-page":"6","DOI":"10.1109\/MS.1985.229776","volume":"2","author":"B. Meyer","year":"1985","unstructured":"Meyer, B.: On Formalism in Specifications. IEEE Software\u00a02, 6\u201326 (1985)","journal-title":"IEEE Software"},{"key":"14_CR17","doi-asserted-by":"crossref","unstructured":"Briand, L.C., Morasca, S.: Software Measurement and Formal Methods: A Case Study Centered on TRIO+ Specifications. In: ICFEM 1997, pp. 315\u2013325 (1997)","DOI":"10.1109\/ICFEM.1997.630438"},{"key":"14_CR18","unstructured":"Olszewska, M., Sere, K.: Specification Metrics for Event-B Developments. In: CONQUEST 2010, pp. 20\u201322 (2010)"},{"key":"14_CR19","unstructured":"Halstead, M.H.: Elements of Software Science. Operating and Programming Systems Series. Elsevier Science Inc. (1977)"},{"key":"14_CR20","unstructured":"Dulac, N., Viguier, T., Leveson, N.G., Storey, M.-A.D.: On the Use of Visualization in Formal Requirements Specification. In: RE 2002, pp. 71\u201380 (2002)"},{"issue":"3","key":"14_CR21","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D. Harel","year":"1987","unstructured":"Harel, D.: Statecharts - A Visual Formalism for Complex Systems. Sci. Comput. Program.\u00a08(3), 231\u2013274 (1987)","journal-title":"Sci. Comput. Program."},{"key":"14_CR22","unstructured":"Gargantini, A., Riccobene, E., Scandurra, P.: AsmEE: An Eclipse Plug-in in a Metamodel based Framework for the Abstract State Machines. In: First Int. Conf. on Eclipse Techn. (2007)"},{"issue":"6","key":"14_CR23","doi-asserted-by":"publisher","first-page":"756","DOI":"10.1109\/TSE.2009.67","volume":"35","author":"D. Moody","year":"2009","unstructured":"Moody, D.: The \u201cPhysics\u201d of Notations: Toward a Scientific Basis for Constructing Visual Notations in Software Engineering. IEEE Trans. Softw. Eng.\u00a035(6), 756\u2013779 (2009)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"14_CR24","unstructured":"Kim, S.-K., Carrington, D.: Visualization of Formal Specifications. In: APSEC 1999, pp. 102\u2013109 (1999)"},{"issue":"6","key":"14_CR25","doi-asserted-by":"publisher","first-page":"447","DOI":"10.1007\/s10009-010-0145-y","volume":"12","author":"J.-R. Abrial","year":"2010","unstructured":"Abrial, J.-R., Butler, M., Hallerstede, S., Hoang, T., Mehta, F., Voisin, L.: Rodin: An Open Toolset for Modeling and Reasoning in Event-B. Journal on Software Tools for Technology Transfer\u00a012(6), 447\u2013466 (2010)","journal-title":"Journal on Software Tools for Technology Transfer"},{"key":"14_CR26","unstructured":"Asmeta - Overview, http:\/\/asmeta.sourceforge.net"},{"key":"14_CR27","unstructured":"Gargantini, A., Riccobene, E., Scandurra, P.: Metamodelling a Formal Method: Applying MDE to Abstract State Machines, Tech. Rep. 97, DTI Dept., University of Milan (2006)"}],"container-title":["Lecture Notes in Computer Science","Requirements Engineering: Foundation for Software Quality"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-05843-6_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,3,30]],"date-time":"2022-03-30T02:11:47Z","timestamp":1648606307000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-05843-6_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319058429","9783319058436"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-05843-6_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}