Pub Date : 1994-12-05DOI: 10.1007/978-0-387-34848-3_15
Jing Chen, B. Durnota
{"title":"Type Checking Classes in Object-Z to Promote Quality of Specifications","authors":"Jing Chen, B. Durnota","doi":"10.1007/978-0-387-34848-3_15","DOIUrl":"https://doi.org/10.1007/978-0-387-34848-3_15","url":null,"abstract":"","PeriodicalId":338780,"journal":{"name":"Software Quality and Productivity","volume":"6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-12-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124693440","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 : 1994-12-05DOI: 10.1007/978-0-387-34848-3_43
P. Grover, N. S. Gill
{"title":"Composite Complexity Measures (CCM)","authors":"P. Grover, N. S. Gill","doi":"10.1007/978-0-387-34848-3_43","DOIUrl":"https://doi.org/10.1007/978-0-387-34848-3_43","url":null,"abstract":"","PeriodicalId":338780,"journal":{"name":"Software Quality and Productivity","volume":"154 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-12-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126933696","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 : 1994-12-05DOI: 10.1007/978-0-387-34848-3_29
T. Musson, E. Dodman
{"title":"An Investigation of Desired Quality Attributes for Different Types of Software","authors":"T. Musson, E. Dodman","doi":"10.1007/978-0-387-34848-3_29","DOIUrl":"https://doi.org/10.1007/978-0-387-34848-3_29","url":null,"abstract":"","PeriodicalId":338780,"journal":{"name":"Software Quality and Productivity","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-12-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128011321","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 : 1994-12-05DOI: 10.1007/978-0-387-34848-3_34
C. Wohlin
{"title":"Re-Dertification of Software Reliability without Re-Testing","authors":"C. Wohlin","doi":"10.1007/978-0-387-34848-3_34","DOIUrl":"https://doi.org/10.1007/978-0-387-34848-3_34","url":null,"abstract":"","PeriodicalId":338780,"journal":{"name":"Software Quality and Productivity","volume":"67 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-12-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127662153","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 : 1994-12-05DOI: 10.1007/978-0-387-34848-3_44
S. Hung, Lam-for Kwok, K. Law
{"title":"Automated Testing Tool for Natural®","authors":"S. Hung, Lam-for Kwok, K. Law","doi":"10.1007/978-0-387-34848-3_44","DOIUrl":"https://doi.org/10.1007/978-0-387-34848-3_44","url":null,"abstract":"","PeriodicalId":338780,"journal":{"name":"Software Quality and Productivity","volume":"9 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-12-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133598351","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 : 1994-12-05DOI: 10.1007/978-0-387-34848-3_46
L. Kim, C. Sauer, D. R. Jeffery
{"title":"A Framework for Software Development Technical Reviews","authors":"L. Kim, C. Sauer, D. R. Jeffery","doi":"10.1007/978-0-387-34848-3_46","DOIUrl":"https://doi.org/10.1007/978-0-387-34848-3_46","url":null,"abstract":"","PeriodicalId":338780,"journal":{"name":"Software Quality and Productivity","volume":"52 2","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-12-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133655846","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 : 1994-12-05DOI: 10.1007/978-0-387-34848-3_6
I. Gorton, S. Motwani
{"title":"Towards a Methodology for 24 Hour Software Production Using Globally Separated Development Teams","authors":"I. Gorton, S. Motwani","doi":"10.1007/978-0-387-34848-3_6","DOIUrl":"https://doi.org/10.1007/978-0-387-34848-3_6","url":null,"abstract":"","PeriodicalId":338780,"journal":{"name":"Software Quality and Productivity","volume":"152 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-12-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116446227","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
扫码关注我们
求助内容：
应助结果提醒方式：