{"title":"吉祥物3:非正式的介绍性教程","authors":"G. Bate","doi":"10.1049/SEJ.1986.0017","DOIUrl":null,"url":null,"abstract":"Mascot is a method for the design and implementation of large real-time concurrent systems. The original version was developed during the early 1970s, and the Mascot 2 handbook was published in 1980. It is hoped that the newest version, Mascot 3, will be published in 1987. This paper is intended to give an outline of the main features of the Mascot method and the new concepts introdced by Mascot 3.","PeriodicalId":41522,"journal":{"name":"e-Informatica Software Engineering Journal","volume":"51 1","pages":"95-102"},"PeriodicalIF":1.2000,"publicationDate":"1986-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"19","resultStr":"{\"title\":\"Mascot 3: an informal introductory tutorial\",\"authors\":\"G. Bate\",\"doi\":\"10.1049/SEJ.1986.0017\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Mascot is a method for the design and implementation of large real-time concurrent systems. The original version was developed during the early 1970s, and the Mascot 2 handbook was published in 1980. It is hoped that the newest version, Mascot 3, will be published in 1987. This paper is intended to give an outline of the main features of the Mascot method and the new concepts introdced by Mascot 3.\",\"PeriodicalId\":41522,\"journal\":{\"name\":\"e-Informatica Software Engineering Journal\",\"volume\":\"51 1\",\"pages\":\"95-102\"},\"PeriodicalIF\":1.2000,\"publicationDate\":\"1986-05-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"19\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"e-Informatica Software Engineering Journal\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1049/SEJ.1986.0017\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q3\",\"JCRName\":\"COMPUTER SCIENCE, SOFTWARE ENGINEERING\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"e-Informatica Software Engineering Journal","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1049/SEJ.1986.0017","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q3","JCRName":"COMPUTER SCIENCE, SOFTWARE ENGINEERING","Score":null,"Total":0}
Mascot is a method for the design and implementation of large real-time concurrent systems. The original version was developed during the early 1970s, and the Mascot 2 handbook was published in 1980. It is hoped that the newest version, Mascot 3, will be published in 1987. This paper is intended to give an outline of the main features of the Mascot method and the new concepts introdced by Mascot 3.
期刊介绍:
The purpose of e-Informatica Software Engineering Journal is to publish original and significant results in all areas of software engineering research. The scope of e-Informatica Software Engineering Journal includes methodologies, practices, architectures, technologies and tools used in processes along the software development lifecycle, but particular stress is laid on empirical evaluation using well chosen statistical and data science methods. e-Informatica Software Engineering Journal is published online and in hard copy form. The on-line version is from the beginning published as a gratis, no authorship fees, open access journal, which means it is available at no charge to the public. The printed version of the journal is the primary (reference) one.