{"title":"An Object-Based Approach to the B Formal Method","authors":"A. Malioukov","doi":"10.1007/BFb0053360","DOIUrl":"https://doi.org/10.1007/BFb0053360","url":null,"abstract":"","PeriodicalId":119181,"journal":{"name":"Formal Specification and Development in B","volume":"77 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1998-04-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128716674","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}
{"title":"On B","authors":"Jean-Raymond Abrial","doi":"10.1007/BFb0053350","DOIUrl":"https://doi.org/10.1007/BFb0053350","url":null,"abstract":"","PeriodicalId":119181,"journal":{"name":"Formal Specification and Development in B","volume":"42 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1998-04-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114688897","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}
{"title":"The Generalised Substitution Language Extended to Probabilistic Programs","authors":"Carroll Morgan","doi":"10.1007/BFb0053351","DOIUrl":"https://doi.org/10.1007/BFb0053351","url":null,"abstract":"","PeriodicalId":119181,"journal":{"name":"Formal Specification and Development in B","volume":"26 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1998-04-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115852558","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}
{"title":"Two Strategies to Data-Refine an Equivalence to a Forest","authors":"Philipp A. Heuberger","doi":"10.1007/BFb0053366","DOIUrl":"https://doi.org/10.1007/BFb0053366","url":null,"abstract":"","PeriodicalId":119181,"journal":{"name":"Formal Specification and Development in B","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1998-04-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116628528","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}
{"title":"Designing a B Model for Safety-Critical Software Systems","authors":"S. Taouil-Traverson, Sylvie Vignes","doi":"10.1007/BFb0053363","DOIUrl":"https://doi.org/10.1007/BFb0053363","url":null,"abstract":"","PeriodicalId":119181,"journal":{"name":"Formal Specification and Development in B","volume":"69 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1998-04-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115088820","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}
{"title":"Test Case Preparation Using a Prototype","authors":"H. Treharne, J. Draper, Steve A. Schneider","doi":"10.1007/BFb0053368","DOIUrl":"https://doi.org/10.1007/BFb0053368","url":null,"abstract":"","PeriodicalId":119181,"journal":{"name":"Formal Specification and Development in B","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1998-04-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130575997","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}
{"title":"Synthesising Structure from Flat Specifications","authors":"B. Matthews, B. Ritchie, J. Bicarregui","doi":"10.1007/BFb0053359","DOIUrl":"https://doi.org/10.1007/BFb0053359","url":null,"abstract":"","PeriodicalId":119181,"journal":{"name":"Formal Specification and Development in B","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1998-04-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131000441","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}
{"title":"Layering Distributed Algorithms within the B-Method","authors":"M. Waldén","doi":"10.1007/BFb0053365","DOIUrl":"https://doi.org/10.1007/BFb0053365","url":null,"abstract":"","PeriodicalId":119181,"journal":{"name":"Formal Specification and Development in B","volume":"84 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1998-04-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121443351","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}
{"title":"Composition and Refinement in the B-Method","authors":"Marie-Laure Potet, Yann Rouzaud","doi":"10.1007/BFb0053355","DOIUrl":"https://doi.org/10.1007/BFb0053355","url":null,"abstract":"","PeriodicalId":119181,"journal":{"name":"Formal Specification and Development in B","volume":"361 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1998-04-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124548059","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}
{"title":"Abstract State Machines: Designing Distributed Systems with State Machines and B","authors":"B. Stoddart, S. Dunne, A. Galloway, R. Shore","doi":"10.1007/BFb0053364","DOIUrl":"https://doi.org/10.1007/BFb0053364","url":null,"abstract":"","PeriodicalId":119181,"journal":{"name":"Formal Specification and Development in B","volume":"49 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1998-04-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133851989","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
扫码关注我们
求助内容：
应助结果提醒方式：