Kevin Lano – författare & böcker

Advanced Systems Design with Java, UML and MDA

E-bok

PDF, Engelska, 2005

677 kr

Läs direkt efter köp

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.* Examines issues raised by the Model-Driven Architecture approach to development* Uses easy to grasp case studies to illustrate complex concepts* Focused on the internet applications and technologies that are essential for students in the online age

Agile Model-Based Development Using UML-RSDS

AvKevin Lano

Häftad, Engelska, 2021

784 kr

Skickas inom 10-15 vardagar

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.

UML 2 Semantics and Applications

AvKevin Lano

E-bok

PDF, Engelska, 2009

1 949 kr

Läs direkt efter köp

A coherent and integrated account of the leading UML 2 semantics work and the practical applications of UML semantics development

With contributions from leading experts in the field, the book begins with an introduction to UML and goes on to offer in-depth and up-to-date coverage of:

The role of semantics

Considerations and rationale for a UML system model

Definition of the UML system model

UML descriptive semantics

Axiomatic semantics of UML class diagrams

The object constraint language

Axiomatic semantics of state machines

A coalgebraic semantic framework for reasoning about interaction designs

Semantics of activity diagrams

Verification of UML models

State invariants

Model transformation specification and verification

Additionally, readers are provided with expert guidance on how to resolve semantic problems and a section on applications of UML semantics with model analysis. UML 2 Semantics and Applications is an ideal resource for researchers and tool-builders working in UML, among others. It is also an excellent textbook for postgraduate teaching and research.

Advanced Systems Design with Java, UML and MDA

AvKevin Lano

Häftad, Engelska, 2005

494 kr

Skickas inom 10-15 vardagar

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.

Agile Model-Based Development Using UML-RSDS

AvKevin Lano

E-bok

Engelska, 2017

935 kr

Läs direkt efter köp

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.

B Language and Method

A Guide to Practical Formal Development

AvKevin Lano

E-bok

PDF, Engelska, 2012

732 kr

Läs direkt efter köp

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.

Formal Object-Oriented Development

AvKevin Lano

E-bok

PDF, Engelska, 2012

732 kr

Läs direkt efter köp

Formal Object-Oriented Development provides a comprehensive 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 deveopmental practices.The text is extensively illustrated, both with tutorial and self-assessment excercises and with examples of industrial applications from the reactive systems domain. This book will be of interest to academic and industrial researchers, software engineering practitioners and consultants, and will also provide invaluable reading material for students learning Z++ and VDM++.

Agile Model-Based Development Using UML-RSDS

AvKevin Lano

E-bok

PDF, Engelska, 2017

935 kr

Läs direkt efter köp

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.

Model-Driven Software Development with UML and Java

AvKevin Lano

Häftad, Engelska, 2009

1 344 kr

Skickas inom 5-8 vardagar

Aimed at 2nd and 3rd year/MSc courses, Model Driven Software Development using UML and Java introduces MDD, MDA and UML, and shows how UML can be used to specify, design, verify and implement software systems using an MDA approach. Structured to follow two lecture courses, one intermediate (UML, MDA, specification, design, model transformations) and one advanced (software engineering of web applications and enterprise information systems), difficult concepts are illustrated with numerous examples, and exercises with worked solutions are provided throughout.

Financial Software Engineering

AvKevin Lano,Howard Haughton

Häftad, Engelska, 2019

489 kr

Skickas inom 10-15 vardagar

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 CDOsThe book is suitable for undergraduate and postgraduate study, and for practitioners who wish to extend their knowledge of software engineering techniques for financial applications

Financial Software Engineering

AvHoward Haughton,Kevin Lano

E-bok

Engelska, 2019

631 kr

Läs direkt efter köp

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

Introduction to Software Architecture

Innovative Design using Clean Architecture and Model-Driven Engineering

AvKevin Lano,Sobhan Yassipour Tehrani

Häftad, Engelska, 2023

669 kr

Skickas inom 10-15 vardagar

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 developmentEmploys practical examples and real industrial cases to illustrate architectures for mobile apps, web apps, enterprise systems, safety-critical systems and machine-learning systemsExplores support tools for architectural design and system development using the approachProvides tutorial questions and slides to support teaching and learningDelivers material that has been class-tested over 10 years with more than 1,000 studentsThe 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.

Introduction to Software Architecture

Innovative Design using Clean Architecture and Model-Driven Engineering

AvSobhan Yassipour Tehrani,Kevin Lano

E-bok

PDF, Engelska, 2023

815 kr

Läs direkt efter köp

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 developmentEmploys practical examples and real industrial cases to illustrate architectures for mobile apps, web apps, enterprise systems, safety-critical systems and machine-learning systemsExplores support tools for architectural design and system development using the approachProvides tutorial questions and slides to support teaching and learningDelivers 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.

Formal Object-Oriented Development

AvKevin Lano

Häftad, Engelska, 1995

559 kr

Skickas inom 10-15 vardagar

Formal Object-Oriented Development provides a comprehensive 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 deveopmental practices.The text is extensively illustrated, both with tutorial and self-assessment excercises and with examples of industrial applications from the reactive systems domain. This book will be of interest to academic and industrial researchers, software engineering practitioners and consultants, and will also provide invaluable reading material for students learning Z++ and VDM++.

B Language and Method

A Guide to Practical Formal Development

AvKevin Lano

Häftad, Engelska, 1996

559 kr

Skickas inom 10-15 vardagar

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.

Agile Model-Based Development Using UML-RSDS

AvKevin Lano

Inbunden, Engelska, 2016

754 kr

Tillfälligt slut

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.

Specification In B: An Introduction Using The B Toolkit

AvHoward Haughton,Kevin Lano

Inbunden, Engelska, 1996

1 299 kr

Tillfälligt slut

This book gives a practical introduction to the B specification language and method, an approach to the development of high-quality software using rigorous CASE techniques.It is suitable for both undergraduate and postgraduate courses, in addition to being an introduction for industrial practitioners. Extensive examples of all development life-cycle stages are given, including animation, proof, design and code generation in C. Two large case studies and exercises with solutions are provided.The authors have extensive experience in teaching B and in its industrial application to high integrity systems. The book uses the B Toolkit to support the text, but it is also relevant to users of alternative toolsets for B.

Specification In B: An Introduction Using The B Toolkit

AvHoward Haughton,Kevin Lano

Häftad, Engelska, 1996

684 kr

Tillfälligt slut

This book gives a practical introduction to the B specification language and method, an approach to the development of high-quality software using rigorous CASE techniques.It is suitable for both undergraduate and postgraduate courses, in addition to being an introduction for industrial practitioners. Extensive examples of all development life-cycle stages are given, including animation, proof, design and code generation in C. Two large case studies and exercises with solutions are provided.The authors have extensive experience in teaching B and in its industrial application to high integrity systems. The book uses the B Toolkit to support the text, but it is also relevant to users of alternative toolsets for B.

Företag, bibliotek eller offentlig verksamhet?

Kevin Lano – författare

Advanced Systems Design with Java, UML and MDA

Agile Model-Based Development Using UML-RSDS

UML 2 Semantics and Applications

Advanced Systems Design with Java, UML and MDA

Agile Model-Based Development Using UML-RSDS

B Language and Method

Formal Object-Oriented Development

Agile Model-Based Development Using UML-RSDS

Model-Driven Software Development with UML and Java

Financial Software Engineering

Financial Software Engineering

Introduction to Software Architecture

Introduction to Software Architecture

Formal Object-Oriented Development

B Language and Method

Agile Model-Based Development Using UML-RSDS

Specification In B: An Introduction Using The B Toolkit

Specification In B: An Introduction Using The B Toolkit

Mina sidor

Mina sidor

Hjälp

Hjälp

Om Bokus

Om Bokus

Populärt

Populärt

Inspiration

Inspiration