{"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}
{"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}
{"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}