{"title":"Schuman & Pitt Approach","authors":"S. Stepney, R. Barden, David Cooper","doi":"10.1007/978-1-4471-3552-4_8","DOIUrl":"https://doi.org/10.1007/978-1-4471-3552-4_8","url":null,"abstract":"","PeriodicalId":160353,"journal":{"name":"Object Orientation in Z","volume":"34 9 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117169726","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":"Why an Object Oriented Z?","authors":"S. Stepney, R. Barden, David Cooper","doi":"10.1007/978-1-4471-3552-4_1","DOIUrl":"https://doi.org/10.1007/978-1-4471-3552-4_1","url":null,"abstract":"","PeriodicalId":160353,"journal":{"name":"Object Orientation in Z","volume":"447 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124543077","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":"Hall's Style","authors":"S. Stepney, R. Barden, David Cooper","doi":"10.1007/978-1-4471-3552-4_3","DOIUrl":"https://doi.org/10.1007/978-1-4471-3552-4_3","url":null,"abstract":"","PeriodicalId":160353,"journal":{"name":"Object Orientation in Z","volume":"11 3","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132434771","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":"Specification in Fresco","authors":"A. Wills","doi":"10.1007/978-1-4471-3552-4_11","DOIUrl":"https://doi.org/10.1007/978-1-4471-3552-4_11","url":null,"abstract":"","PeriodicalId":160353,"journal":{"name":"Object Orientation in Z","volume":"35 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131455417","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":"MooZ Case Studies","authors":"S. Meira, Ana Cavalcanti","doi":"10.1007/978-1-4471-3552-4_5","DOIUrl":"https://doi.org/10.1007/978-1-4471-3552-4_5","url":null,"abstract":"","PeriodicalId":160353,"journal":{"name":"Object Orientation in Z","volume":"18 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129330399","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}