{"title":"Kevin Lano","description":"\u003cp\u003eDive into Kevin Lano's thrilling worlds, where mystery and suspense intertwine. Perfect for fans of gripping crime fiction and intricate plots, discover your next unputdownable read here.\u003c\/p\u003e","products":[{"product_id":"b-language-and-method-book-kevin-lano-9783540760337","title":"The B Language and Method","description":"B is one of the few formal methods which has robust, commercially-available tool support for the entire development lifecycle from specification through to code generation. This volume provides a comprehensive introduction to the B Abstract Machine Notation, and to how it can be used to support formal specification and development of high integrity systems. A strong emphasis is placed on the use of B in the context of existing software development methods, including object-oriented analysis and design. The text includes a large number of worked examples, graduated exercises in B AMN specification and development (all of which have been class-tested), two extended case studies of the development process, and an appendix of proof techniques suitable for B. Based on material which has been used to teach B at postgraduate and undergraduate level, this volume will provide invaluable reading a wide range of people, including students, project technical managers and workers, and researchers with an interest in methods integration and B semantics.","brand":"WoB","offers":[{"title":"GB \/ VERY_GOOD \/ INTERNAL","offer_id":49584206086417,"sku":"GOR005314542","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ NEW \/ INGRAM","offer_id":52622614987025,"sku":"NLS9783540760337","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/3540760334.jpg?v=1751383115"},{"product_id":"software-design-using-java-2-book-kevin-lano-9781403902306","title":"Software Design Using Java 2","description":"Software Design Using Java 2  is a  Software Engineering text aimed at intermediate and advanced students on undergraduate programmes. The book offers a comprehensive treatment of the essential techniques needed to design software systems using object technology: design patterns, architectural, subsystem and module design, user interface design, web-based system design and database design. The extensive use of case studies from the domains of finance, internet systems and reactive systems allows the design process to be demonstrated in full.    In addition, the authors describe an extension of object oriented concepts, called co-ordination contracts, which addresses the problem of increasing flexibility by separating the program logic from the software components this logic applies to.     Key features:  * Covers the use of Java Swing, JDBC, JavaScript, JSP and Servlets  * Focuses on the essential aspects of the design process in a practical and directed manner, using UML and Java 2  * Provides a guide to the management of student projects  * Gives a complete case study of a student project    This textbook is ideal for students and professionals in object-oriented software development, and in the object-oriented software engineering field.","brand":"WoB","offers":[{"title":"GB \/ VERY_GOOD \/ INTERNAL","offer_id":49588490305809,"sku":"GOR002861287","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/1403902305.jpg?v=1751402641"},{"product_id":"introduction-to-software-architecture-book-kevin-lano-9783031441424","title":"Introduction to Software Architecture","description":"This unique, accessible textbook gives a comprehensive introduction to software architecture, using ‘clean architecture’ concepts with agile methods and model-driven development.     The work introduces the key concepts of software architectures and explains the importance of architectural design for the long-term usefulness and sustainability of software systems. In addition, it describes more than 30 architectural styles and patterns that can be used for constructing mobile applications, enterprise and web applications, machine-learning systems, and safety-critical systems.  Topics and features:      Combines clean-architecture principles with agile model-driven development Employs practical examples and real industrial cases to illustrate architectures for mobile apps, web apps, enterprise systems, safety-critical systems and machine-learning systems Explores support tools for architectural design and system development using the approach Provides tutorial questions and slides to support teaching and learning Delivers material that has been class-tested over 10 years with more than 1,000 students    The textbook can be used to support teaching of an undergraduate module in software architecture, yet also includes more advanced topics suitable for a specialised software architecture module at master’s level. It also will be eminently suitable and relevant for software practitioners and researchers needing or wanting to explore the field in short courses or self-study.  Dr. Kevin Lano is Reader in Software Engineering, Department of Informatics, King's College London, UK.  Dr. Sobhan Yassipour Tehrani is a Lecturer, Department of Computer Science, University College London, UK.","brand":"WoB","offers":[{"title":"- \/ - \/ -","offer_id":50956538085649,"sku":"","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ GARDNERS","offer_id":51608042995985,"sku":"NGR9783031441424","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/3031441427.jpg?v=1751349755"},{"product_id":"formal-object-oriented-development-book-kevin-lano-9783540199786","title":"Formal Object-Oriented Development","description":"An overview of the use of formal object-oriented methods: it covers how and where they should be introduced into the development process, how they can be introduced selectively for critical parts of an application, and how to incorporate them effectively into existing developmental practices.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52126556619025,"sku":"NLS9783540199786","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783540199786.jpg?v=1757476936"},{"product_id":"agile-model-based-development-using-uml-rsds-book-kevin-lano-9781498752220","title":"Agile Model-Based Development Using UML-RSDS","description":"This book describes the concepts and application of model-based development (MBD), model transformations, and Agile MBD to a wide range of software systems. It covers systems requirements engineering, system specification and design, verification, reuse, and system composition in the context of Agile MBD. Examples of applications in finance, system migration, internet systems and software refactoring are given. An established open-source MBD technology, UML-RSDS, is used throughout to illustrate the concepts.  The book is suitable for industrial practitioners who need training in Agile MBD, and those who need to understand the issues to be considered when introducing MBD in an industrial context. It is also suitable for academic researchers, and for use as text for undergraduate or postgraduate courses in MBD. Examples for educational use of UML-RSDS are included in the book.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52594905317649,"sku":"NLS9781498752220","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"US \/ NEW \/ INGRAM","offer_id":53036601311505,"sku":"NIN9781498752220","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9781498752220.jpg?v=1761070196"},{"product_id":"advanced-systems-design-with-java-uml-and-mda-book-kevin-lano-9780750664967","title":"Advanced Systems Design with Java, UML and MDA","description":"The Model Driven Architecture defines an approach where the specification of the functionality of a system can be separated from its implementation on a particular technology platform. The idea being that the architecture will be able to easily be adapted for different situations, whether they be legacy systems, different languages or yet to be invented platforms.  MDA is therefore, a significant evolution of the object-oriented approach to system development. Advanced System Design with Java, UML and MDA describes the factors involved in designing and constructing large systems, illustrating the design process through a series of examples, including a Scrabble player, a jukebox using web streaming, a security system, and others. The book first considers the challenges of software design, before introducing the Unified Modelling Language and Object Constraint Language. The book then moves on to discuss systems design as a whole, covering internet systems design, web services, Flash, XML, XSLT, SOAP, Servlets, Javascript and JSP.  In the final section of the book, the concepts and terminology of the Model Driven Architecture are discussed. To get the most from this book, readers will need introductory knowledge of software engineering, programming in Java and basic knowledge of HTML.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":53521717559569,"sku":"NLS9780750664967","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9780750664967.jpg?v=1778455353"},{"product_id":"financial-software-engineering-book-kevin-lano-9783030140496","title":"Financial Software Engineering","description":"In this textbook the authors introduce the important concepts of the financial software domain, and motivate the use of an agile software engineering approach for the development of financial software. They describe the role of software in defining financial models and in computing results from these models. Practical examples from bond pricing, yield curve estimation, share price analysis and valuation of derivative securities are given to illustrate the process of financial software engineering.  Financial Software Engineering also includes a number of case studies based on typical financial engineering problems:  *Internal rate of return calculation for bonds  * Macaulay duration calculation for bonds  * Bootstrapping of interest rates  * Estimation of share price volatility  * Technical analysis of share prices  * Re-engineering Matlab to C#  * Yield curve estimation  * Derivative security pricing  * Risk analysis of CDOs   The book is suitable for undergraduate and postgraduate study, and for practitioners who wish to extend their knowledge of software engineering techniques for financial applications","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":53522724880657,"sku":"NLS9783030140496","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783030140496.jpg?v=1778459540"}],"url":"https:\/\/www.worldofbooks.com\/en-au\/collections\/author-books-by-kevin-lano.oembed","provider":"World of Books ","version":"1.0","type":"link"}