{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,3]],"date-time":"2024-09-03T17:33:22Z","timestamp":1725384802602},"reference-count":19,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/icsm.2002.1167825","type":"proceedings-article","created":{"date-parts":[[2003,6,26]],"date-time":"2003-06-26T01:03:42Z","timestamp":1056589422000},"page":"608-617","source":"Crossref","is-referenced-by-count":0,"title":["A formal approach for software maintenance"],"prefix":"10.1109","author":[{"given":"U.","family":"Waqar","sequence":"first","affiliation":[]},{"given":"F.","family":"Khendek","sequence":"additional","affiliation":[]},{"given":"D.","family":"Vincent","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","article-title":"Implementability of Message Sequence Charts","author":"khendek","year":"1998","journal-title":"Proceedings of the International Workshop on SDL And MSC (SAM'98)"},{"journal-title":"Using Formal Description Techniques An Introduction to Estelle Lotos and SDL","year":"1993","author":"turner","key":"ref11"},{"journal-title":"SDL Formal Object-Oriented Language for Communicating Systems","year":"1997","author":"ellsberger","key":"ref12"},{"journal-title":"Verilog ObjectGEODE","year":"1999","key":"ref13"},{"journal-title":"SDT Tau Telelogic","year":"1999","key":"ref14"},{"key":"ref15","article-title":"Message Sequence Charts in Software Engineering Process","author":"mauw","year":"2000","journal-title":"Handbook of Software Engineering and Knowledge Engineering"},{"key":"ref16","article-title":"Stepwise Production of an SDL description","author":"faergemand","year":"1990","journal-title":"Proceedings of Formal Description Techniques (FORTE-III)"},{"journal-title":"SDL+ methodology guidelines Recommendation Z 100 Annex I","year":"1993","key":"ref17"},{"journal-title":"Automated Generation of SDL Specifications from MSCs","year":"1999","author":"abdallah","key":"ref18"},{"journal-title":"Automated Enrichment of SDL Specifications with MSCs","year":"2001","author":"waqar","key":"ref19"},{"journal-title":"The Unified Modeling Language Reference Manual","year":"1999","author":"rumbaugh","key":"ref4"},{"journal-title":"The Unified Modeling Language User Guide","year":"1999","author":"rumbaugh","key":"ref3"},{"journal-title":"Software Engineering","year":"2000","author":"sommerville","key":"ref6"},{"journal-title":"Object Oriented Software Construction","year":"1997","author":"meyer","key":"ref5"},{"key":"ref8","article-title":"Extending SDL Specifications with MSCs","author":"khendek","year":"2000","journal-title":"Proceedings of SDL and MSC workshop (SAM'2000)"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1002\/0470841966"},{"journal-title":"Message Sequence Charts MSC-2000 Z 120","year":"1999","key":"ref2"},{"journal-title":"Specification and Description Language SDL-2000 Z 100","year":"1999","key":"ref1"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/B978-044482816-3\/50014-9"}],"event":{"name":"International Conference on Software Maintenance","acronym":"ICSM-02","location":"Montreal, Que., Canada"},"container-title":["International Conference on Software Maintenance, 2002. Proceedings."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8357\/26332\/01167825.pdf?arnumber=1167825","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,13]],"date-time":"2017-03-13T22:40:03Z","timestamp":1489444803000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1167825\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":19,"URL":"https:\/\/doi.org\/10.1109\/icsm.2002.1167825","relation":{},"subject":[]}}