Kevin Lano – författare

Visar alla böcker från författaren Kevin Lano. Handla med fri frakt och snabb leverans.

19 produkter

Kategorier

19 produkter

Advanced Systems Design with Java, UML and MDA
AvKevin Lano
E-bok
PDF, Engelska, 2005
684 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
809 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
AvK Lano,Kevin Lano
Inbunden, Engelska, 2009
1 719 kr
Skickas inom 5-8 vardagar
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.
UML 2 Semantics and Applications
AvKevin Lano
E-bok
PDF, Engelska, 2009
1 970 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
499 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
942 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
739 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
942 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 358 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
509 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
638 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
696 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
581 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
581 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
AvKevin Lano,Howard Haughton
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
AvKevin Lano,Howard Haughton
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

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