Wiley professional computing最新文献

筛选
英文 中文
Simply logical - intelligent reasoning by example 简单的逻辑-通过例子进行智能推理
Wiley professional computing Pub Date : 2022-08-14 DOI: 10.5281/zenodo.1156977
Peter A. Flach
{"title":"Simply logical - intelligent reasoning by example","authors":"Peter A. Flach","doi":"10.5281/zenodo.1156977","DOIUrl":"https://doi.org/10.5281/zenodo.1156977","url":null,"abstract":"\"Simply Logical -- Intelligent Reasoning by Example\"by Peter Flach was first published by John Wiley in 1994. It could be purchased as book-only or with a 3.5 inch diskette containing the SWI-Prolog programmes printed in the book (for various operating systems). In 2007 the copyright reverted back to the author at which point the book and programmes were made freely available online; the print version is no longer distributed through John Wiley publishers. In 2015, as a pilot, we ported most of the original book into an online, interactive website using SWI-Prolog's SWISH platform. Since then, we launched the Simply Logical open source organisation committed to maintaining a suite of freely available interactive online educational resources about Artificial Intelligence and Logic Programming with Prolog. With the advent of new educational technologies we were inspired to rebuild the book from the ground up using the Jupyter Book platform enhanced with a collection of bespoke plugins that implement, among other things, interactive SWI-Prolog code blocks that can be executed directly in a web browser. This new version is more modular, easier to maintain, and can be split into custom teaching modules, in addition to being modern-looking, visually appealing, and compatible with a range of (mobile) devices of varying screen sizes.","PeriodicalId":302214,"journal":{"name":"Wiley professional computing","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-08-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128746359","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}
引用次数: 78
Object-oriented requirements analysis and logical design - a software engineering approach 面向对象的需求分析和逻辑设计——一种软件工程方法
Wiley professional computing Pub Date : 1993-01-20 DOI: 10.5860/choice.31-0351
D. Firesmith
{"title":"Object-oriented requirements analysis and logical design - a software engineering approach","authors":"D. Firesmith","doi":"10.5860/choice.31-0351","DOIUrl":"https://doi.org/10.5860/choice.31-0351","url":null,"abstract":"From the Publisher: \u0000Designed for professional software engineers, this definitive reference demonstrates how to use object-oriented development strategies from the start - which will help to assure the success of the evolving object-oriented system. Object-Oriented Requirements Analysis and Logical Design provides professionals with the necessary concepts, models, notation, method, and knowledge with which to effectively develop large, complex software applications using a practical, yet state-of-the-art, object-oriented method. This book provides a solid understanding of the underlying concepts of Object-Oriented Development (OOD). Readers will also learn how to use the ASTS Development Method 3 (ADM 3), a third generation object-oriented development method for effectively performing OORALD. This important work also enables readers to understand the fundamental concepts of object-oriented requirements and language-independent design; understand, develop, and evaluate the six major object-oriented models; develop and critique effective graphics for object-oriented requirements analysis and language-independent design; and use a powerful object-oriented specification and design language to supplement the graphics.","PeriodicalId":302214,"journal":{"name":"Wiley professional computing","volume":"135 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1993-01-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116723966","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}
引用次数: 49
Real-time object-oriented modeling 实时面向对象建模
Wiley professional computing Pub Date : 1900-01-01 DOI: 10.5860/choice.32-2180
B. Selić, G. Gullekson, P. Ward
{"title":"Real-time object-oriented modeling","authors":"B. Selić, G. Gullekson, P. Ward","doi":"10.5860/choice.32-2180","DOIUrl":"https://doi.org/10.5860/choice.32-2180","url":null,"abstract":"Abstract The \"architecture\" of a software system refers to its highest-level modular decomposition and the interrelationship patterns between its modules. An architecture serves as a blueprint for implementation and also as the chief determinant of a system's ability evolve. Consequently, there is an increased interest in methods for specifying and validating software architectures. One such method is based on the ROOM mode ling language which combines the object paradigm with mode ling abstractions devised specifically for distributed real-time software. To overcome the treacherous \"architectural decay\" phenomenon, whereby, over time, software diverges increasingly from its specification, ROOM formally constrains the implementation to its architectural specification. This is achieved primarily through full automated code generation, a technique that is panicularly challenging in real-time applications where stringent performance and memory requirements are the norm.","PeriodicalId":302214,"journal":{"name":"Wiley professional computing","volume":"6 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":"128660780","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}
引用次数: 1261
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术官方微信