{"title":"Formal methods applied to plywood production","authors":"R. Ibrahim, Marlene Lu","doi":"10.1109/QSIC.2003.1319114","DOIUrl":null,"url":null,"abstract":"Formal notations and mathematics are used in several areas to capture the requirements and express the functionalities of the software. This paper focuses on the use of formal methods to model the real world environment in a Malaysian plywood production manufacturing industry. The formal methods are used to describe abstractly the plywood production system in the aspect of its behavior but not precisely the way the system is programmed. Other informal description does the same, but with a formal description, we can determine (in theory) whether or not a real system satisfies its description and functionalities. Because of this, precise analysis on the description itself can be performed and it exposes design decisions which otherwise might not be identified until the system prototype is being developed.","PeriodicalId":145980,"journal":{"name":"Third International Conference on Quality Software, 2003. Proceedings.","volume":null,"pages":null},"PeriodicalIF":0.0000,"publicationDate":"2003-11-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Third International Conference on Quality Software, 2003. Proceedings.","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/QSIC.2003.1319114","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 0
Abstract
Formal notations and mathematics are used in several areas to capture the requirements and express the functionalities of the software. This paper focuses on the use of formal methods to model the real world environment in a Malaysian plywood production manufacturing industry. The formal methods are used to describe abstractly the plywood production system in the aspect of its behavior but not precisely the way the system is programmed. Other informal description does the same, but with a formal description, we can determine (in theory) whether or not a real system satisfies its description and functionalities. Because of this, precise analysis on the description itself can be performed and it exposes design decisions which otherwise might not be identified until the system prototype is being developed.