{"title":"在面向对象的设计和实现之间架起桥梁","authors":"Kinh Nguyen, T. Dillon","doi":"10.1109/TOOLS.1998.713587","DOIUrl":null,"url":null,"abstract":"In object oriented system development, the typical practice is to move from some dominantly graphical design model directly to coding. Though such practice is generally accepted, we argue that the gap is still too big, and demonstrate that it can be effectively reduced by exploiting the system operations: formal specification and prototyping.","PeriodicalId":177805,"journal":{"name":"Proceedings Technology of Object-Oriented Languages. TOOLS 27 (Cat. No.98EX224)","volume":"104 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1998-09-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":"{\"title\":\"Bridging the gap between object oriented design and implementation\",\"authors\":\"Kinh Nguyen, T. Dillon\",\"doi\":\"10.1109/TOOLS.1998.713587\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"In object oriented system development, the typical practice is to move from some dominantly graphical design model directly to coding. Though such practice is generally accepted, we argue that the gap is still too big, and demonstrate that it can be effectively reduced by exploiting the system operations: formal specification and prototyping.\",\"PeriodicalId\":177805,\"journal\":{\"name\":\"Proceedings Technology of Object-Oriented Languages. TOOLS 27 (Cat. No.98EX224)\",\"volume\":\"104 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1998-09-22\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"1\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings Technology of Object-Oriented Languages. TOOLS 27 (Cat. No.98EX224)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/TOOLS.1998.713587\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings Technology of Object-Oriented Languages. TOOLS 27 (Cat. No.98EX224)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/TOOLS.1998.713587","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Bridging the gap between object oriented design and implementation
In object oriented system development, the typical practice is to move from some dominantly graphical design model directly to coding. Though such practice is generally accepted, we argue that the gap is still too big, and demonstrate that it can be effectively reduced by exploiting the system operations: formal specification and prototyping.