{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T21:37:50Z","timestamp":1729633070836,"version":"3.28.0"},"reference-count":6,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1109\/csee.2004.1276514","type":"proceedings-article","created":{"date-parts":[[2004,6,10]],"date-time":"2004-06-10T14:19:45Z","timestamp":1086877185000},"page":"78-83","source":"Crossref","is-referenced-by-count":3,"title":["Integrating design formalisms in software engineering education"],"prefix":"10.1109","author":[{"given":"B.R.","family":"von Konsky","sequence":"first","affiliation":[]},{"given":"M.","family":"Robey","sequence":"additional","affiliation":[]},{"given":"S.","family":"Nair","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref4","first-page":"4","article-title":"Modelling of Visualised Data-Flow Diagrams using Petri-Net Model","author":"tin","year":"1992","journal-title":"Software Engineering Journal"},{"key":"ref3","first-page":"1","article-title":"Chapter 1: Introduction to Real-Time Systems and Objects","author":"douglass","year":"2000","journal-title":"Real-Time UML Developing Efficient Objects for Embedded Systems"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/APSEC.2002.1183053"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/32.991322"},{"key":"ref2","article-title":"Structured Development for Real-Time Systems","volume":"1","author":"ward","year":"1985","journal-title":"Introduction & Tools"},{"key":"ref1","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4471-0791-0","author":"nissanke","year":"1999","journal-title":"Formal Specification Techniques and Applications"}],"event":{"name":"17th Conference on Software Engineering Education and Training, 2004. Proceedings.","start":{"date-parts":[[2004,3,3]]},"location":"Norfolk, VA, USA","end":{"date-parts":[[2004,3,3]]}},"container-title":["17th Conference on Software Engineering Education and Training, 2004. Proceedings."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8994\/28540\/01276514.pdf?arnumber=1276514","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,16]],"date-time":"2017-06-16T07:56:22Z","timestamp":1497599782000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1276514\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"references-count":6,"URL":"https:\/\/doi.org\/10.1109\/csee.2004.1276514","relation":{},"subject":[],"published":{"date-parts":[[2004]]}}}