Part 1 Preliminaries: overview and introduction an introduction to lambda calculus an introduction to COLD-K. Part 2 Theory: a formalization of design structures correctness-preserving transformations of designs. Part 3 Practice: formal specification of a text editor systematic design of a text editor.
{"title":"A formalisation of design methods - a lambda-calculus approach to systems design with an application to text editing","authors":"L. Feijs","doi":"10.6100/IR324749","DOIUrl":"https://doi.org/10.6100/IR324749","url":null,"abstract":"Part 1 Preliminaries: overview and introduction an introduction to lambda calculus an introduction to COLD-K. Part 2 Theory: a formalization of design structures correctness-preserving transformations of designs. Part 3 Practice: formal specification of a text editor systematic design of a text editor.","PeriodicalId":149258,"journal":{"name":"Ellis Horwood Series in Computers and their applications","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"1993-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133938215","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}
The software engineering background software specification and verification informal methods formal methods - what are they? some discrete mathematics a more detailed look at formal methods applications to program specification and verification software prototyping.
{"title":"Introducing formal methods - a less mathematical approach","authors":"N. Ford, J. Ford","doi":"10.5860/choice.31-2157","DOIUrl":"https://doi.org/10.5860/choice.31-2157","url":null,"abstract":"The software engineering background software specification and verification informal methods formal methods - what are they? some discrete mathematics a more detailed look at formal methods applications to program specification and verification software prototyping.","PeriodicalId":149258,"journal":{"name":"Ellis Horwood Series in Computers and their applications","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"1993-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130475683","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}
Introducing the ISO reference model principles of the ISO reference model connections and addressing the application layer the presentation layer the session layer the transport layer filter transfer access and management, FTAM consolidation by example message handling systems, X400/MOTIS functional standards.
{"title":"OSI explained - end-to-end computer communication standards (2. ed.)","authors":"J. Henshall, Sandy Shaw","doi":"10.5860/choice.26-3922","DOIUrl":"https://doi.org/10.5860/choice.26-3922","url":null,"abstract":"Introducing the ISO reference model principles of the ISO reference model connections and addressing the application layer the presentation layer the session layer the transport layer filter transfer access and management, FTAM consolidation by example message handling systems, X400/MOTIS functional standards.","PeriodicalId":149258,"journal":{"name":"Ellis Horwood Series in Computers and their applications","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"1990-01-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114874652","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}
Computer programming languages: a comparative introduction , Computer programming languages: a comparative introduction , مرکز فناوری اطلاعات و اطلاع رسانی کشاورزی
计算机程序设计语言:比较介绍，计算机程序设计语言:比较介绍，مرکز فناوری اطلاعات اطلاع رسانی کشاورزی
{"title":"Computer programming languages - a comparative introduction","authors":"N. Ford","doi":"10.5860/choice.28-1592","DOIUrl":"https://doi.org/10.5860/choice.28-1592","url":null,"abstract":"Computer programming languages: a comparative introduction , Computer programming languages: a comparative introduction , مرکز فناوری اطلاعات و اطلاع رسانی کشاورزی","PeriodicalId":149258,"journal":{"name":"Ellis Horwood Series in Computers and their applications","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126486583","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
扫码关注我们
求助内容：
应助结果提醒方式：