{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T08:08:24Z","timestamp":1729670904211,"version":"3.28.0"},"reference-count":20,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/ase.1999.802333","type":"proceedings-article","created":{"date-parts":[[2003,1,20]],"date-time":"2003-01-20T20:17:51Z","timestamp":1043093871000},"page":"303-306","source":"Crossref","is-referenced-by-count":4,"title":["Component-based systems as an aid to design validation"],"prefix":"10.1109","author":[{"given":"P.","family":"Henderson","sequence":"first","affiliation":[]},{"given":"R.","family":"Walters","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1016\/S0950-5849(98)00047-0","article-title":"RolEnact - Role Based Enactable Models of Business Processes","volume":"40","author":"phalp","year":"1998","journal-title":"Information and Software Technology"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/ICSR.1998.685758"},{"key":"ref12","article-title":"How did Software get to be so reliable without proof","author":"hoare","year":"1996","journal-title":"18th International Conference on Software Engineering (ICSE-18)"},{"key":"ref13","article-title":"Extending VHDL for Interface and System Specification","author":"hashmi","year":"1998","journal-title":"Fall VIUF - VHDL for Power Users"},{"journal-title":"IEEE Standard VHDL Language Reference Manual","year":"1994","key":"ref14"},{"journal-title":"UML Distilled Applying the Standard Object Modeling Language","year":"1997","author":"fowler","key":"ref15"},{"key":"ref16","article-title":"An Approach to the Design of Distributed Systems with ? AMN","author":"butler","year":"1997","journal-title":"10th International Conference of ? Users (ZUM'97)"},{"key":"ref17","doi-asserted-by":"crossref","first-page":"104","DOI":"10.1049\/sej.1996.0014","article-title":"executing formal specifications need not be harmful","volume":"11","author":"gravell","year":"1996","journal-title":"Software Engineering Journal"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/186025.186051"},{"key":"ref19","article-title":"The Model Checker SPIN","volume":"23","author":"holtzmann","year":"1997","journal-title":"IEEE Transactions on Software Engineering"},{"journal-title":"Enterprise Javabeans Technology","year":"1998","author":"thomas","key":"ref4"},{"year":"0","key":"ref3"},{"key":"ref6","doi-asserted-by":"crossref","DOI":"10.1109\/ICECCS.1995.479337","article-title":"Formal Specification and Verification of Communication Protocols Using Automated Tools","author":"barjaktarovic","year":"1995","journal-title":"First IEEE International Conference on Engineering of Complex Systems"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/258077.258078"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.1996.493418"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/225014.225031"},{"journal-title":"COM and DCOM - Microsoft's Vision for Distributed Computing","year":"1998","author":"sessions","key":"ref2"},{"journal-title":"Essential COM","year":"1998","author":"box","key":"ref1"},{"key":"ref9","doi-asserted-by":"crossref","DOI":"10.1109\/IWRSP.1999.779024","article-title":"System Design Validation Using Formal Methods","author":"henderson","year":"1999","journal-title":"Proceedings of the Tenth IEEE International Workshop on Rapid System Prototyping (RSP '99)"},{"journal-title":"Business Processes - modelling and analysis for re-engineering and improvement","year":"1995","author":"ould","key":"ref20"}],"event":{"name":"14th IEEE International Conference on Automated Software Engineering","acronym":"ASE-99","location":"Cocoa Beach, FL, USA"},"container-title":["14th IEEE International Conference on Automated Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6516\/17400\/00802333.pdf?arnumber=802333","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,15]],"date-time":"2017-06-15T17:27:04Z","timestamp":1497547624000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/802333\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":20,"URL":"https:\/\/doi.org\/10.1109\/ase.1999.802333","relation":{},"subject":[]}}