{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T21:08:13Z","timestamp":1725570493418},"reference-count":21,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/aiccsa.2005.1387129","type":"proceedings-article","created":{"date-parts":[[2005,4,1]],"date-time":"2005-04-01T20:16:50Z","timestamp":1112386610000},"page":"766-773","source":"Crossref","is-referenced-by-count":1,"title":["Component-based development of process control systems"],"prefix":"10.1109","author":[{"given":"I.A.M.","family":"El-Maddah","sequence":"first","affiliation":[]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1109\/32.730542"},{"key":"17","first-page":"2\/1","article-title":"from memory to monitor-pixel display architectures","author":"storey","year":"1992","journal-title":"Computer Graphics Systems IEE Colloquium on"},{"key":"18","first-page":"59","article-title":"The KAOS Project: Knowledge acquisition in automated specifications of software","author":"van lamsweerde","year":"1991","journal-title":"Proceeding AAAI Spring Symposium Series Track \"Design of Composite Systems\""},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1145\/336512.336523"},{"key":"16","article-title":"Graphical design of reactive systems","author":"sekerinski","year":"1998","journal-title":"2nd International Conference"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-0931-7"},{"journal-title":"Structured Development for Real-Time Systems","year":"1985","author":"mellor","key":"14"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/32.317428"},{"journal-title":"Case Study Production Cell A Comparative Study in Formal Software Development","year":"1995","author":"lewerentz","key":"12"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1145\/237432.237434"},{"journal-title":"Software Requirements Objects Functions and States","year":"1993","author":"davis","key":"3"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.1998.671102"},{"journal-title":"B Toolkit","year":"1998","key":"2"},{"journal-title":"The B Book Assigning Programs to Meaning","year":"1995","author":"abrial","key":"1"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1145\/587051.587070"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1983.235117"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-27799-6_27"},{"key":"5","article-title":"Tracing aspects in goal driven requirements of process control systems","author":"el-maddah","year":"2004","journal-title":"Proc of the Workshop on Early Aspects at the 2nd International Conference on Aspect-Oriented Software Development (AOSD)"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24721-0_19"},{"journal-title":"Foundation of Component-based Systems","year":"2000","author":"leavens","key":"9"},{"key":"8","article-title":"Structuring and design of reactive systems using RSDS and B","author":"lano","year":"0","journal-title":"ETAPS 2000"}],"event":{"name":"The 3rd ACS\/IEEE International Conference onComputer Systems and Applications, 2005.","location":"Cairo, Egypt"},"container-title":["The 3rd ACS\/IEEE International Conference onComputer Systems and Applications, 2005."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9525\/30191\/01387129.pdf?arnumber=1387129","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,15]],"date-time":"2017-03-15T04:29:46Z","timestamp":1489552186000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1387129\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":21,"URL":"https:\/\/doi.org\/10.1109\/aiccsa.2005.1387129","relation":{},"subject":[]}}