{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,19]],"date-time":"2025-05-19T04:02:10Z","timestamp":1747627330205,"version":"3.40.5"},"reference-count":39,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1997,1,1]],"date-time":"1997-01-01T00:00:00Z","timestamp":852076800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1997,1,1]],"date-time":"1997-01-01T00:00:00Z","timestamp":852076800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Annals of Software Engineering"],"published-print":{"date-parts":[[1997,1]]},"DOI":"10.1023\/a:1018921517893","type":"journal-article","created":{"date-parts":[[2003,2,19]],"date-time":"2003-02-19T22:07:13Z","timestamp":1045692433000},"page":"221-253","source":"Crossref","is-referenced-by-count":1,"title":["Synthesizing structured analysis and object\u2010based formal specifications"],"prefix":"10.1007","volume":"3","author":[{"given":"David L.","family":"Coleman","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Albert L.","family":"Baker","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"2","key":"326128_CR1","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1109\/32.4636","volume":"SE-14","author":"M. Adler","year":"1988","unstructured":"Adler, M. (1988), \u201cAn Algebra for Data Flow Diagram Process Decomposition,\u201d IEEE Transactions on Software Engineering SE-14,2, 169\u2013183.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"326128_CR2","unstructured":"Baker, A.L. and D.D. Riley (1993), \u201cData Abstraction and Object-Oriented Software Development,\u201d Course Notes, University Level Computer Science Program, IBM Corporation."},{"key":"326128_CR3","volume-title":"Proceedings of the Eleventh Annual International Computer Software & Applications Conference","author":"A.L. Baker","year":"1987","unstructured":"Baker, A.L., J.M. Bieman, and P.N. Clites (1987), \u201cImplications for Formal Specifications: Results of Specifying a Software Engineering Tool,\u201d In Proceedings of the Eleventh Annual International Computer Software & Applications Conference, IEEE Computer Society and Information Processing Society of Japan, Tokyo, Japan."},{"issue":"3","key":"326128_CR4","doi-asserted-by":"publisher","first-page":"301","DOI":"10.1109\/32.4651","volume":"SE-14","author":"J. Billington","year":"1988","unstructured":"Billington, J., G.R. Wheeler, and M.C. Wilbur-Ham (1988), \u201cPROTEAN: A High-Level Petri Net Tool for the Specification and Verification of Communication Protocols,\u201d IEEE Transactions on Software Engineering SE-14,3, 301\u2013316.","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"3","key":"326128_CR5","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1016\/0164-1212(93)90028-V","volume":"21","author":"P. Borba","year":"1993","unstructured":"Borba, P. and S. Meira (1993), \u201cFrom VDM Specifications to Functional Prototypes,\u201d The Journal of Systems and Software 21,3, 267\u2013278.","journal-title":"The Journal of Systems and Software"},{"key":"326128_CR6","volume-title":"Formalized Structured Analysis Specifications","author":"D.L. Coleman","year":"1991","unstructured":"Coleman, D.L. (1991), \u201cFormalized Structured Analysis Specifications,\u201d PhD thesis, Iowa State University, Ames, IA."},{"issue":"2","key":"326128_CR7","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1016\/0164-1212(91)90056-C","volume":"15","author":"D.L. Coleman","year":"1991","unstructured":"Coleman, D.L. and A.L. Baker (1991), \u201cDeliberations on Kung's Process Interface Modeling,\u201d The Journal of Systems and Software 15,2, 193\u2013198.","journal-title":"The Journal of Systems and Software"},{"key":"326128_CR8","volume-title":"Structured Analysis and System Specification","author":"T. DeMarco","year":"1978","unstructured":"DeMarco, T. (1978), Structured Analysis and System Specification, Yourdon, Englewood Cliffs, NJ."},{"key":"326128_CR9","first-page":"71","volume-title":"Z Users Workshop","author":"A.J.J. Dick","year":"1989","unstructured":"Dick, A.J.J. and J. Cozens (1989), \u201cComputer-aided Transformation of Z into Prolog,\u201d In Z Users Workshop, Workshops in Computing, Springer-Verlag, Berlin, pp. 71\u201385."},{"issue":"4","key":"326128_CR10","doi-asserted-by":"publisher","first-page":"329","DOI":"10.1109\/32.129221","volume":"SE-18","author":"R.B. France","year":"1992","unstructured":"France, R.B. (1992), \u201cSemantically Extended Data Flow Diagrams: A Formal Specification Tool,\u201d IEEE Transactions on Software Engineering SE-18,4, 329\u2013346.","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"5","key":"326128_CR11","doi-asserted-by":"publisher","first-page":"454","DOI":"10.1109\/32.90448","volume":"SE-17","author":"M.D. Fraser","year":"1991","unstructured":"Fraser, M.D., K. Kumar, and V.K. Vaishnavi (1991), \u201cInformal and Formal Requirements Specification Langauges: Bridging the Gap,\u201d IEEE Transactions on Software Engineering SE-17,5, 454\u2013466.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"326128_CR12","volume-title":"Elements of Systems Analysis","author":"M. Gore","year":"1983","unstructured":"Gore, M. and J. Stubble (1983), Elements of Systems Analysis, Wm. C. Brown Company, Debuque, IA."},{"key":"326128_CR13","unstructured":"Gurski, M. and A.L. Baker (1994), \u201cTesting SPECS-C++: A First Step in Validating Distributed Systems Specifications,\u201d In Proceedings of the ISMM International Conference on Intelligent Information Management Systems, Washington, DC, pp. 105\u2013108."},{"issue":"6","key":"326128_CR14","doi-asserted-by":"publisher","first-page":"396","DOI":"10.1145\/359605.359618","volume":"20","author":"J.V. Guttag","year":"1977","unstructured":"Guttag, J.V. (1977), \u201cAbstract Data Types and the Development of Data Structures,\u201d Communications of the ACM 20,6, 396\u2013404.","journal-title":"Communications of the ACM"},{"key":"326128_CR15","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-2704-5","volume-title":"Larch: Languages and Tools for Formal Specification","author":"J.V. Guttag","year":"1993","unstructured":"Guttag, J.V. and J.J. Horning (1993), Larch: Languages and Tools for Formal Specification, Springer-Verlag, New York, NY."},{"issue":"5","key":"326128_CR16","doi-asserted-by":"publisher","first-page":"514","DOI":"10.1145\/42411.42414","volume":"31","author":"D. Harel","year":"1987","unstructured":"Harel, D. (1987), \u201cOn Visual Formalisms,\u201d Communications of the ACM 31,5, 514\u2013530.","journal-title":"Communications of the ACM"},{"issue":"1","key":"326128_CR17","doi-asserted-by":"publisher","first-page":"8","DOI":"10.1109\/2.108047","volume":"25","author":"D. Harel","year":"1992","unstructured":"Harel, D. (1992), \u201cBiting the Silver Bullet: Toward a Brighter Future for System Development,\u201d Computer 25,1, 8\u201320.","journal-title":"Computer"},{"key":"326128_CR18","doi-asserted-by":"crossref","unstructured":"Harel, D. and E. Gery (1996), \u201cExecutable Object Modeling with Statecharts,\u201d In Proceedings of the 18th International Conference on Software Engineering, Berlin, Germany, pp. 246\u2013257.","DOI":"10.1109\/ICSE.1996.493420"},{"key":"326128_CR19","volume-title":"Strategies for Real-Time System Specification","author":"D. Hatley","year":"1987","unstructured":"Hatley, D. and E. Pirbhai (1987), Strategies for Real-Time System Specification, Dorset House, New York, NY."},{"key":"326128_CR20","volume-title":"Introduction to Automata Theory, Languages, and Computation","author":"J.E. Hopcroft","year":"1979","unstructured":"Hopcroft, J.E. and J.D. Ullman (1979), Introduction to Automata Theory, Languages, and Computation, Addison-Wesley, Reading, MA."},{"key":"326128_CR21","volume-title":"Systematic Software Development Using VDM","author":"C.B. Jones","year":"1990","unstructured":"Jones, C.B. (1990), Systematic Software Development Using VDM, Prentice-Hall, London, England, 2nd edition.","edition":"2nd edition"},{"key":"326128_CR22","first-page":"2","volume":"15","author":"C.H. Kung","year":"1991","unstructured":"Kung, C.H. (1991), \u201cProcess Interface Modeling and Consistency Checking,\u201d The Journal of Systems and Software 15,2.","journal-title":"The Journal of Systems and Software"},{"issue":"11","key":"326128_CR23","doi-asserted-by":"publisher","first-page":"1610","DOI":"10.1109\/32.9049","volume":"SE-14","author":"G. Lausen","year":"1988","unstructured":"Lausen, G. (1988), \u201cModeling and Analysis of the Behavior of Information Systems,\u201d IEEE Transactions on Software Engineering SE-14,11, 1610\u20131620.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"326128_CR24","unstructured":"Leavens, G.T. and Y. Cheon (1993), \u201cLarch\/C++ Reference Manual,\u201d Available by anonymous ftp from ftp.cs.iastate.edu."},{"key":"326128_CR25","series-title":"Technical Report","volume-title":"An Operational Semantics of Firing Rules for Structured Analysis Style Data Flow Diagrams","author":"G.T. Leavens","year":"1993","unstructured":"Leavens, G.T., T. Wahls, A.L. Baker, and K. Lyle (1993), \u201cAn Operational Semantics of Firing Rules for Structured Analysis Style Data Flow Diagrams,\u201d Technical Report TR93-28d, Department of Computer Science, Iowa State University, Ames, IA."},{"issue":"3","key":"326128_CR26","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1016\/0096-0551(89)90003-9","volume":"14","author":"J. Leszczylowski","year":"1989","unstructured":"Leszczylowski, J. and J. Bieman (1989), \u201cPROSPER: A Language for Specification by Prototyping,\u201d Computer Languages 14,3, 165\u2013180.","journal-title":"Computer Languages"},{"key":"326128_CR27","first-page":"39","volume-title":"Handbook of Software Engineering","author":"T. Murata","year":"1984","unstructured":"Murata, T. (1984), \u201cModeling and Analysis of Concurrent Systems,\u201d In Handbook of Software Engineering, C.R. Vick and C.V. Ramamoorthy, Eds, Van Nostrand Reinhold, New York, NY, pp. 39\u201363."},{"issue":"3","key":"326128_CR28","doi-asserted-by":"publisher","first-page":"252","DOI":"10.1109\/32.126774","volume":"SE-18","author":"Y.E. Papelis","year":"1992","unstructured":"Papelis, Y.E. and T.L. Casavant (1992), \u201cSpecification and Analysis of Parallel\/Distributed Software and Systems by Petri Nets with Transition Enabling Fuunctions,\u201d IEEE Transactions on Software Engineering SE-18,3, 252\u2013261.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"326128_CR29","volume-title":"Petri Net Theory and the Modeling of Systems","author":"J.L. Peterson","year":"1981","unstructured":"Peterson, J.L. (1981), Petri Net Theory and the Modeling of Systems, Prentice-Hall, Englewood Cliffs, NJ."},{"key":"326128_CR30","unstructured":"Rushby, J., F.von Henke, and S. Owre (1991), \u201cAn Introduction to Formal Specification and Verification Using EHDM,\u201d Technical report, Computer Science Laboratory, SRI International."},{"key":"326128_CR31","unstructured":"Spivey, J.M. (1989), The Z Notation: A Reference Manual, International Series in Computer Science, Prentice-Hall."},{"key":"326128_CR32","series-title":"Technical Report","volume-title":"Formalized Data Flow Diagrams and Their Relation to Other Computational Models","author":"J. Symanzik","year":"1996","unstructured":"Symanzik, J. and A.L. Baker (1996), \u201cFormalized Data Flow Diagrams and Their Relation to Other Computational Models,\u201d Technical Report TR96-06, Department of Computer Science, Iowa State University, Ames, IA."},{"key":"326128_CR33","first-page":"2","volume":"10","author":"R.B. Terwilliger","year":"1989","unstructured":"Terwilliger, R.B. and R.H. Campbell (1989), \u201cPLEASE: Executable Specifications for Incremental Sofware Development,\u201d Journal of Systems and Software 10,2.","journal-title":"Journal of Systems and Software"},{"key":"326128_CR34","series-title":"Technical Report","volume-title":"The Direct Execution of SPECS-C++: A Model-Based Specification Language For C++ Classes","author":"T. Wahls","year":"1994","unstructured":"Wahls, T., A.L. Baker, and G.T. Leavens (1994), \u201cThe Direct Execution of SPECS-C++: A Model-Based Specification Language For C++ Classes,\u201d Technical Report TR94-02b, Department of Computer Science, Iowa State University, Ames, IA."},{"key":"326128_CR35","series-title":"Technical Report","volume-title":"A Comparison of SPECS-C++ and Other Specification Languages","author":"T. Wahls","year":"1996","unstructured":"Wahls, T., A.L. Baker, and G.T. Leavens (1996), \u201cA Comparison of SPECS-C++ and Other Specification Languages,\u201d Technical Report TR96-07, Department of Computer Science, Iowa State University, Ames, IA."},{"issue":"2","key":"326128_CR36","doi-asserted-by":"crossref","first-page":"198","DOI":"10.1109\/TSE.1986.6312936","volume":"SE-12","author":"P.T. Ward","year":"1986","unstructured":"Ward, P.T. (1986), \u201cThe Transformation Schema: An Extension of the Data Flow Diagram to Represent Control and Timing,\u201d IEEE Transactions on Software Engineering SE-12,2, 198\u2013210.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"326128_CR37","volume-title":"Introduction & Tools","author":"P.T. Ward","year":"1985","unstructured":"Ward, P.T. and S.J. Mellor (1985), Structured Development for Real-Time Systems, Vol. 1: Introduction & Tools, Yourdon, Englewood Cliffs, NJ."},{"issue":"6","key":"326128_CR38","doi-asserted-by":"publisher","first-page":"733","DOI":"10.1109\/TSE.1983.235581","volume":"SE-9","author":"S.S. Yau","year":"1983","unstructured":"Yau, S.S. and M.U. Cadayan (1983), \u201cDistributed Software System Design Representation Using Modified Petri Nets,\u201d IEEE Transactions on Software Engineering SE-9,6, 733\u2013745.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"326128_CR39","volume-title":"Modern Structured Analysis","author":"E. Yourdon","year":"1989","unstructured":"Yourdon E. (1989), Modern Structured Analysis, Yourdon Press Computing Series, Prentice-Hall, Englewood Cliffs, NJ."}],"container-title":["Annals of Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1018921517893.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1018921517893\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1018921517893.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T14:18:56Z","timestamp":1747577936000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1018921517893"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997,1]]},"references-count":39,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1997,1]]}},"alternative-id":["326128"],"URL":"https:\/\/doi.org\/10.1023\/a:1018921517893","relation":{},"ISSN":["1022-7091","1573-7489"],"issn-type":[{"type":"print","value":"1022-7091"},{"type":"electronic","value":"1573-7489"}],"subject":[],"published":{"date-parts":[[1997,1]]}}}