Pub Date : 2006-07-01DOI: 10.1016/J.INFSOF.2005.06.002
F. Kurniawati, D. R. Jeffery
{"title":"The use and effects of an electronic process guide and experience repository: a longitudinal study","authors":"F. Kurniawati, D. R. Jeffery","doi":"10.1016/J.INFSOF.2005.06.002","DOIUrl":"https://doi.org/10.1016/J.INFSOF.2005.06.002","url":null,"abstract":"","PeriodicalId":133352,"journal":{"name":"Inf. Softw. Technol.","volume":"35 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"120205346","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2004-09-15DOI: 10.1016/j.infsof.2003.10.008
A. Salem, K. Rekab, J. Whittaker
{"title":"Prediction of software failures through logistic regression","authors":"A. Salem, K. Rekab, J. Whittaker","doi":"10.1016/j.infsof.2003.10.008","DOIUrl":"https://doi.org/10.1016/j.infsof.2003.10.008","url":null,"abstract":"","PeriodicalId":133352,"journal":{"name":"Inf. Softw. Technol.","volume":"66 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-09-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115950409","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2004-06-15DOI: 10.1016/S0950-5849(03)00089-2
Fauzi M. Ali, W. Du
{"title":"Toward reuse of object-oriented software design models","authors":"Fauzi M. Ali, W. Du","doi":"10.1016/S0950-5849(03)00089-2","DOIUrl":"https://doi.org/10.1016/S0950-5849(03)00089-2","url":null,"abstract":"","PeriodicalId":133352,"journal":{"name":"Inf. Softw. Technol.","volume":"60 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-06-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127883888","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2004-06-15DOI: 10.1016/j.infsof.2003.08.006
T. Quah, M. Thwin
{"title":"Prediction of software development faults in PL/SQL files using neural network models","authors":"T. Quah, M. Thwin","doi":"10.1016/j.infsof.2003.08.006","DOIUrl":"https://doi.org/10.1016/j.infsof.2003.08.006","url":null,"abstract":"","PeriodicalId":133352,"journal":{"name":"Inf. Softw. Technol.","volume":"48 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-06-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124022234","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2003-07-15DOI: 10.1016/S0950-5849(03)00082-X
Maozhen Li, M. Qi
{"title":"MAPBOT: a Web based map information retrieval system","authors":"Maozhen Li, M. Qi","doi":"10.1016/S0950-5849(03)00082-X","DOIUrl":"https://doi.org/10.1016/S0950-5849(03)00082-X","url":null,"abstract":"","PeriodicalId":133352,"journal":{"name":"Inf. Softw. Technol.","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-07-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"119179617","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2003-06-15DOI: 10.1016/S0950-5849(03)00034-X
J. Mbale, Xiaofei Xu, S. Deng
{"title":"Global intelligence benevolent builder (GIBB): a system automating integration of heterogeneous classical databases and web","authors":"J. Mbale, Xiaofei Xu, S. Deng","doi":"10.1016/S0950-5849(03)00034-X","DOIUrl":"https://doi.org/10.1016/S0950-5849(03)00034-X","url":null,"abstract":"","PeriodicalId":133352,"journal":{"name":"Inf. Softw. Technol.","volume":"10 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-06-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124287484","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
This paper contributes to the discussion on issues related to the formal development of open distributed systems (ODS). The deficiencies of traditional formal notations in this setting are highlighted. We argue that there is no single formalism exhibiting all the features required to capture properties of ODSs. As a solution, we propose an integrated development framework that involves two notations: the Unified Modeling Language (UML) and the Prototype Verification System (PVS). We discuss the motivation for the choice of these notations, provide an overview of a CASE tool we have developed to support the proposed framework, and present a case study to demonstrate our approach.
{"title":"An integrated framework for formal development of open distributed systems","authors":"I. Traoré, D. Aredo, Hong Ye","doi":"10.1145/952532.952744","DOIUrl":"https://doi.org/10.1145/952532.952744","url":null,"abstract":"This paper contributes to the discussion on issues related to the formal development of open distributed systems (ODS). The deficiencies of traditional formal notations in this setting are highlighted. We argue that there is no single formalism exhibiting all the features required to capture properties of ODSs. As a solution, we propose an integrated development framework that involves two notations: the Unified Modeling Language (UML) and the Prototype Verification System (PVS). We discuss the motivation for the choice of these notations, provide an overview of a CASE tool we have developed to support the proposed framework, and present a case study to demonstrate our approach.","PeriodicalId":133352,"journal":{"name":"Inf. Softw. Technol.","volume":"7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-03-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134634223","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：