Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Advanced systems design with Java, UML and MDA [[electronic resource] /] / Kevin Lano
| Advanced systems design with Java, UML and MDA [[electronic resource] /] / Kevin Lano |
| Autore | Lano Kevin |
| Pubbl/distr/stampa | Oxford, : Elsevier Butterworth-Heinemann, 2005 |
| Descrizione fisica | 1 online resource (386 p.) |
| Disciplina | 004.2 |
| Soggetto topico |
Java (Computer program language)
UML (Computer science) |
| Soggetto genere / forma | Electronic books. |
| ISBN |
1-280-64215-7
9786610642151 0-08-045691-X |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910457995203321 |
Lano Kevin
|
||
| Oxford, : Elsevier Butterworth-Heinemann, 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Advanced systems design with Java, UML and MDA [[electronic resource] /] / Kevin Lano
| Advanced systems design with Java, UML and MDA [[electronic resource] /] / Kevin Lano |
| Autore | Lano Kevin |
| Pubbl/distr/stampa | Oxford, : Elsevier Butterworth-Heinemann, 2005 |
| Descrizione fisica | 1 online resource (386 p.) |
| Disciplina | 004.2 |
| Soggetto topico |
Java (Computer program language)
UML (Computer science) |
| ISBN |
1-280-64215-7
9786610642151 0-08-045691-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910784533903321 |
|
Lano Kevin
|
||
| Oxford, : Elsevier Butterworth-Heinemann, 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The B Language and Method [[electronic resource] ] : A Guide to Practical Formal Development / / by Kevin Lano
| The B Language and Method [[electronic resource] ] : A Guide to Practical Formal Development / / by Kevin Lano |
| Autore | Lano Kevin |
| Edizione | [1st ed. 1996.] |
| Pubbl/distr/stampa | London : , : Springer London : , : Imprint : Springer, , 1996 |
| Descrizione fisica | 1 online resource (VIII, 232 p.) |
| Disciplina | 005.1/2/015113 |
| Collana | Formal Approaches to Computing and Information Technology (FACIT) |
| Soggetto topico |
Software engineering
Mathematical logic Programming languages (Electronic computers) Software Engineering Mathematical Logic and Formal Languages Programming Languages, Compilers, Interpreters |
| ISBN | 1-4471-1494-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1 Introduction -- 1.1 Formal Methods -- 1.2 The History of B -- 1.3 The Relationship of B to Other Formal Methods -- 1.4 Summary -- 2 The Foundations of B AMN -- 2.1 Mathematical Notation -- 2.2 Defining Operations -- 2.3 Abstract Machines -- 2.4 Machine Composition Mechanisms -- 2.5 Refinement -- 2.6 Implementation -- 2.7 Summary -- 2.8 Exercises 1 -- 3 Analysis and Specification -- 3.1 Requirements Analysis -- 3.2 Specification Development -- 3.3 Animation -- 3.4 Proof of Internal Consistency Obligations -- 3.5 Ship Loading Case Study — Specification -- 3.6 Renaming -- 3.7 Aggregation -- 3.8 Summary -- 3.9 Exercises 2 -- 4 Design and Implementation -- 4.1 The Layered Development Paradigm -- 4.2 Refinement Examples -- 4.3 Proofs of Refinement -- 4.4 Decomposing Implementations -- 4.5 Ship Loading Case Study — Implementation -- 4.6 Summary -- 4.7 Exercises 3 -- 5 Case Studies -- 5.1 Personnel System Development -- 5.2 Mine Pump Control -- 5.3 Vending Machine -- 6 Conclusions -- A Exercise Solutions -- A.1 Exercises 1 -- A.2 Exercises 2 -- A.3 Exercises 3 -- B Properties of Weakest Preconditions -- B.1 Termination and Feasibility -- B.2 Set-theoretic Semantics -- B.3 Refinement -- B.4 Well-formedness Obligations -- B.5 Normal Forms -- B.6 Rules for ? -- B.7 Definition of := -- C Proof Techniques. |
| Record Nr. | UNINA-9910480198303321 |
|
Lano Kevin
|
||
| London : , : Springer London : , : Imprint : Springer, , 1996 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The B Language and Method [[electronic resource] ] : A Guide to Practical Formal Development / / by Kevin Lano
| The B Language and Method [[electronic resource] ] : A Guide to Practical Formal Development / / by Kevin Lano |
| Autore | Lano Kevin |
| Edizione | [1st ed. 1996.] |
| Pubbl/distr/stampa | London : , : Springer London : , : Imprint : Springer, , 1996 |
| Descrizione fisica | 1 online resource (VIII, 232 p.) |
| Disciplina | 005.1/2/015113 |
| Collana | Formal Approaches to Computing and Information Technology (FACIT) |
| Soggetto topico |
Software engineering
Mathematical logic Programming languages (Electronic computers) Software Engineering Mathematical Logic and Formal Languages Programming Languages, Compilers, Interpreters |
| ISBN | 1-4471-1494-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1 Introduction -- 1.1 Formal Methods -- 1.2 The History of B -- 1.3 The Relationship of B to Other Formal Methods -- 1.4 Summary -- 2 The Foundations of B AMN -- 2.1 Mathematical Notation -- 2.2 Defining Operations -- 2.3 Abstract Machines -- 2.4 Machine Composition Mechanisms -- 2.5 Refinement -- 2.6 Implementation -- 2.7 Summary -- 2.8 Exercises 1 -- 3 Analysis and Specification -- 3.1 Requirements Analysis -- 3.2 Specification Development -- 3.3 Animation -- 3.4 Proof of Internal Consistency Obligations -- 3.5 Ship Loading Case Study — Specification -- 3.6 Renaming -- 3.7 Aggregation -- 3.8 Summary -- 3.9 Exercises 2 -- 4 Design and Implementation -- 4.1 The Layered Development Paradigm -- 4.2 Refinement Examples -- 4.3 Proofs of Refinement -- 4.4 Decomposing Implementations -- 4.5 Ship Loading Case Study — Implementation -- 4.6 Summary -- 4.7 Exercises 3 -- 5 Case Studies -- 5.1 Personnel System Development -- 5.2 Mine Pump Control -- 5.3 Vending Machine -- 6 Conclusions -- A Exercise Solutions -- A.1 Exercises 1 -- A.2 Exercises 2 -- A.3 Exercises 3 -- B Properties of Weakest Preconditions -- B.1 Termination and Feasibility -- B.2 Set-theoretic Semantics -- B.3 Refinement -- B.4 Well-formedness Obligations -- B.5 Normal Forms -- B.6 Rules for ? -- B.7 Definition of := -- C Proof Techniques. |
| Record Nr. | UNINA-9910789343303321 |
|
Lano Kevin
|
||
| London : , : Springer London : , : Imprint : Springer, , 1996 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The B Language and Method : A Guide to Practical Formal Development / / by Kevin Lano
| The B Language and Method : A Guide to Practical Formal Development / / by Kevin Lano |
| Autore | Lano Kevin |
| Edizione | [1st ed. 1996.] |
| Pubbl/distr/stampa | London : , : Springer London : , : Imprint : Springer, , 1996 |
| Descrizione fisica | 1 online resource (VIII, 232 p.) |
| Disciplina | 005.1/2/015113 |
| Collana | Formal Approaches to Computing and Information Technology (FACIT) |
| Soggetto topico |
Software engineering
Machine theory Compilers (Computer programs) Software Engineering Formal Languages and Automata Theory Compilers and Interpreters |
| ISBN | 1-4471-1494-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1 Introduction -- 1.1 Formal Methods -- 1.2 The History of B -- 1.3 The Relationship of B to Other Formal Methods -- 1.4 Summary -- 2 The Foundations of B AMN -- 2.1 Mathematical Notation -- 2.2 Defining Operations -- 2.3 Abstract Machines -- 2.4 Machine Composition Mechanisms -- 2.5 Refinement -- 2.6 Implementation -- 2.7 Summary -- 2.8 Exercises 1 -- 3 Analysis and Specification -- 3.1 Requirements Analysis -- 3.2 Specification Development -- 3.3 Animation -- 3.4 Proof of Internal Consistency Obligations -- 3.5 Ship Loading Case Study — Specification -- 3.6 Renaming -- 3.7 Aggregation -- 3.8 Summary -- 3.9 Exercises 2 -- 4 Design and Implementation -- 4.1 The Layered Development Paradigm -- 4.2 Refinement Examples -- 4.3 Proofs of Refinement -- 4.4 Decomposing Implementations -- 4.5 Ship Loading Case Study — Implementation -- 4.6 Summary -- 4.7 Exercises 3 -- 5 Case Studies -- 5.1 Personnel System Development -- 5.2 Mine Pump Control -- 5.3 Vending Machine -- 6 Conclusions -- A Exercise Solutions -- A.1 Exercises 1 -- A.2 Exercises 2 -- A.3 Exercises 3 -- B Properties of Weakest Preconditions -- B.1 Termination and Feasibility -- B.2 Set-theoretic Semantics -- B.3 Refinement -- B.4 Well-formedness Obligations -- B.5 Normal Forms -- B.6 Rules for ? -- B.7 Definition of := -- C Proof Techniques. |
| Record Nr. | UNINA-9910971116403321 |
|
Lano Kevin
|
||
| London : , : Springer London : , : Imprint : Springer, , 1996 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Financial Software Engineering / / by Kevin Lano, Howard Haughton
| Financial Software Engineering / / by Kevin Lano, Howard Haughton |
| Autore | Lano Kevin |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (XV, 198 p. 65 illus., 19 illus. in color.) |
| Disciplina | 005.1 |
| Collana | Undergraduate Topics in Computer Science |
| Soggetto topico |
Software engineering
Financial engineering Social sciences - Mathematics Software Engineering Financial Engineering Mathematics in Business, Economics and Finance |
| ISBN | 3-030-14050-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Financial services and markets -- Financial products and analyses -- Model-based and agile developments -- Financial system specification using UML -- Financial system design -- Trading and analytics technologies -- Software modernisation and re-engineering -- Agile model-based development approaches -- Analysis of financial products: CDOs -- Tool support for financial application development. |
| Record Nr. | UNINA-9910337839603321 |
|
Lano Kevin
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Introduction to Software Architecture [[electronic resource] ] : Innovative Design using Clean Architecture and Model-Driven Engineering / / by Kevin Lano, Sobhan Yassipour Tehrani
| Introduction to Software Architecture [[electronic resource] ] : Innovative Design using Clean Architecture and Model-Driven Engineering / / by Kevin Lano, Sobhan Yassipour Tehrani |
| Autore | Lano Kevin |
| Edizione | [1st ed. 2023.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 |
| Descrizione fisica | 1 online resource (264 pages) |
| Disciplina | 005.12 |
| Collana | Undergraduate Topics in Computer Science |
| Soggetto topico |
Software engineering
Computer science Mobile computing Internet programming Software Engineering Models of Computation Mobile Computing Web Development |
| ISBN | 3-031-44143-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Introduction to Software Architecture Concepts -- Introduction to Clean Architecture Concepts,- Development Methods -- Compound Components and Complex Connectors -- Architectural Styles -- Mobile Application Architectures -- Enterprise Systems and Application Servers -- Web Application and Enterprise Information System Architectures -- Service-oriented Architectures -- Safety-critical and Embedded Systems Architectures -- Architectural Design for Machine Learning Systems -- Software Architectures and Re-engineering -- References -- Appendix A: User guide for the architecture diagram tool -- Appendix B: User guide for AgileUML -- Index. |
| Record Nr. | UNISA-996558570803316 |
|
Lano Kevin
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Introduction to Software Architecture : Innovative Design using Clean Architecture and Model-Driven Engineering / / by Kevin Lano, Sobhan Yassipour Tehrani
| Introduction to Software Architecture : Innovative Design using Clean Architecture and Model-Driven Engineering / / by Kevin Lano, Sobhan Yassipour Tehrani |
| Autore | Lano Kevin |
| Edizione | [1st ed. 2023.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 |
| Descrizione fisica | 1 online resource (264 pages) |
| Disciplina | 005.12 |
| Collana | Undergraduate Topics in Computer Science |
| Soggetto topico |
Software engineering
Computer science Mobile computing Internet programming Software Engineering Models of Computation Mobile Computing Web Development |
| ISBN | 3-031-44143-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Introduction to Software Architecture Concepts -- Introduction to Clean Architecture Concepts,- Development Methods -- Compound Components and Complex Connectors -- Architectural Styles -- Mobile Application Architectures -- Enterprise Systems and Application Servers -- Web Application and Enterprise Information System Architectures -- Service-oriented Architectures -- Safety-critical and Embedded Systems Architectures -- Architectural Design for Machine Learning Systems -- Software Architectures and Re-engineering -- References -- Appendix A: User guide for the architecture diagram tool -- Appendix B: User guide for AgileUML -- Index. |
| Record Nr. | UNINA-9910746971703321 |
|
Lano Kevin
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||