{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T02:35:56Z","timestamp":1729650956054,"version":"3.28.0"},"reference-count":19,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/coginf.2002.1039298","type":"proceedings-article","created":{"date-parts":[[2003,6,25]],"date-time":"2003-06-25T19:34:26Z","timestamp":1056569666000},"page":"193-202","source":"Crossref","is-referenced-by-count":4,"title":["A new mathematical notation for describing notion and thought in software design"],"prefix":"10.1109","author":[{"family":"Yingxu Wang","sequence":"first","affiliation":[]}],"member":"263","reference":[{"journal-title":"(1975) An Intuitionist Theory of Types Predicative Part","year":"1973","author":"martin-lof","key":"ref10"},{"journal-title":"Communication and Concurrency","year":"1989","author":"milner","key":"ref11"},{"key":"ref12","first-page":"376","article-title":"An Overview and Synthesis on Timed Process Algebras","author":"nicollin","year":"1991","journal-title":"Proc 3rd International Computer Aided Verification Conference"},{"key":"ref13","article-title":"(1995), A Process Algebra for Hybrid Systems","author":"vereijken","year":"0","journal-title":"Proceedings Second European Workshop on Real-Time and Hybrid Systems"},{"key":"ref14","article-title":"The Real-Time Process Algebra (RTPA)","volume":"14","author":"wang","year":"2002","journal-title":"Annals of Software Engineering"},{"key":"ref15","article-title":"(2002), A New Math for Software Engineering - The Real-Time Process Algebra (RTPA)","author":"wang","year":"0","journal-title":"Keynote Speech at The 2nd ASERC Workshop on Quantitative and Soft Computing Based Software Engineering (QSSE'02)"},{"key":"ref16","article-title":"(2002), Formal Specification of a Real-Time Lift Dispatching System","author":"wang","year":"0","journal-title":"Proceedings of the 2002 IEEE Canadian Conference on Electrical and Computer Engineering (CCECE'02)"},{"key":"ref17","first-page":"469","article-title":"Formal Description of the UML Architecture and Extendibility","volume":"6","author":"wang","year":"2001","journal-title":"The International Journal of the Object"},{"key":"ref18","first-page":"752","author":"wang","year":"2000","journal-title":"Software Engineering Processes Principles and Applications"},{"key":"ref19","article-title":"(2002), On the Informatics Laws of Software, Keynote Lecture","author":"wang","year":"0","journal-title":"Proc 1st IEEE Int Conf Cognitive Informatics"},{"key":"ref4","doi-asserted-by":"crossref","first-page":"66","DOI":"10.1007\/3-540-46428-X_6","volume":"1783","author":"dierks","year":"2000","journal-title":"A Process Algebra for Real-Time Programs Lecture Notes in Computer Science"},{"journal-title":"Refinement in Z and Object-Z Foundations and Advanced Applications","year":"2001","author":"derrick","key":"ref3"},{"key":"ref6","first-page":"144","article-title":"(1992), Implementing a Real-Time Process Algebra","author":"gerber","year":"0","journal-title":"Proceedings of the International Workshop on the Theorem Proving System and Its Applications"},{"key":"ref5","first-page":"346","article-title":"A Real-Time Process Algebra with Open Intervals and Maximal Progress","volume":"8","author":"fecher","year":"2001","journal-title":"Nordic Journal of Computing"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-55092-5_27"},{"journal-title":"Communicating Sequential Processes","year":"1985","author":"hoare","key":"ref7"},{"key":"ref2","first-page":"57","author":"cerone","year":"2000","journal-title":"Process Algebra versus Axiomatic Specification of a Real-Time Protocol LNCS Vol 1816"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01898401"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0031999"}],"event":{"name":"First IEEE International Conference on Cognitive Informatics","acronym":"COGINF-02","location":"Calgary, Alta., Canada"},"container-title":["Proceedings First IEEE International Conference on Cognitive Informatics"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8057\/22274\/01039298.pdf?arnumber=1039298","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,15]],"date-time":"2017-06-15T18:44:37Z","timestamp":1497552277000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1039298\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":19,"URL":"https:\/\/doi.org\/10.1109\/coginf.2002.1039298","relation":{},"subject":[]}}