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.
Proceedings Proceedings of the 2nd International Workshop on Multimedia Content Analysis in Sports / / Rainer Lienhart
| Proceedings Proceedings of the 2nd International Workshop on Multimedia Content Analysis in Sports / / Rainer Lienhart |
| Autore | Lienhart Rainer |
| Pubbl/distr/stampa | New York, New York : , : Association for Computing Machinery, , 2019 |
| Descrizione fisica | 1 online resource (120 pages) |
| Disciplina | 005.117 |
| Collana | ACM Conferences |
| Soggetto topico | Object-oriented methods (Computer science) |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910412129203321 |
Lienhart Rainer
|
||
| New York, New York : , : Association for Computing Machinery, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Progettazione del software e design pattern in Java / Cay S. Horstmann ; edizione italiana a cura di Marcello Dalpasso
| Progettazione del software e design pattern in Java / Cay S. Horstmann ; edizione italiana a cura di Marcello Dalpasso |
| Autore | Horstmann, Cay S. |
| Pubbl/distr/stampa | Milano : Apogeo, c2004 |
| Descrizione fisica | xviii, 457 p. : ill. ; 24 cm |
| Disciplina | 005.133 |
| Altri autori (Persone) | Dalpasso, Marcello |
| Collana | Idee e strumenti |
| Soggetto topico |
Object-oriented methods (Computer science)
Java (Computer program language) |
| ISBN | 8850321570 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNISALENTO-991000911129707536 |
|
Horstmann, Cay S.
|
||
| Milano : Apogeo, c2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Real time UML workshop for embedded systems [[electronic resource] /] / by Bruce Powell Douglass
| Real time UML workshop for embedded systems [[electronic resource] /] / by Bruce Powell Douglass |
| Autore | Douglass Bruce Powel |
| Edizione | [1st edition] |
| Pubbl/distr/stampa | Massachusettes, : Elsevier, c2007 |
| Descrizione fisica | 1 online resource (433 p.) |
| Disciplina | 005.117 |
| Collana | Embedded technology series |
| Soggetto topico |
Embedded computer systems - Programming
Real-time data processing Object-oriented methods (Computer science) |
| Soggetto genere / forma | Electronic books. |
| ISBN |
1-281-00685-8
9786611006853 0-08-049223-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Front Cover; Real-Time UML Workshop for Embedded Systems; Copyright Page; Contents; Preface; Audience; Goals; Where to Go After the Book; Evaluate UML on ARM; Acknowledgments; About the Author; What's on the CD-ROM?; Chapter 1. Introduction; Basic Modeling Concepts of the UML; Structural Elements and Diagrams; Behavioral Elements and Diagrams; Use Case and Requirements Models; Summary; Check Out the CD-ROM; Chapter 2. The Harmony Process; Introduction; The Harmony Development Process; Summary; Chapter 3. Specifying Requirements; Overview
Problem 3.1 Identifying Kinds of Requirements for Roadrunner Traffic Light Control SystemProblem 3.2 Identifying Use Cases for the Roadrunner Traffic Light Control System; Problem 3.3 Mapping Requirements to Use Cases; Problem 3.4 Identifying Use Cases for the Coyote UAV System; Problem 3.5 Identifying Parametric Requirements; Problem 3.6 Capturing Quality of Service Requirements in Use Cases; Problem 3.7 Operational View: Identifying Traffic Light Scenarios; Problem 3.8 Operational View: CUAVS Optical Surveillance Scenarios; Problem 3.9 Specification View: Use-Case Description Specification View: State Machines for Requirements CaptureProblem 3.10 Specification View: Capturing Complex Requirements; Problem 3.11 Operational to Specification View: Capturing Operational Contracts; References; Chapter 4. Systems Architecture; Overview; Problem 4.1 Organizing the Systems Model; Problem 4.2 Subsystem Identification; Problem 4.3 Mapping Operational Contracts into Subsystem Architecture; Problem 4.4 Identifying Subsystem Use Cases; Looking Ahead; Chapter 5. Object Analysis; Overview; Key Strategies for Object Identification Problem 5.1 Apply Nouns and Causal Agents StrategiesProblem 5.2 Apply Services and Messages Strategies; Problem 5.3 Apply Real-World Items and Physical Devices Strategies; Problem 5.4 Apply Key Concepts and Transaction Strategies; Problem 5.5 Apply Identify Visual Elements and Scenarios Strategies; Problem 5.6 Merge Models from the Various Strategies; Looking Ahead; Chapter 6. Architectural Design; Overview; Problem 6.1 Concurrency and Resource Architecture; Problem 6.2 Distribution Architecture; Problem 6.3 Safety and Reliability Architecture; Looking Ahead Chapter 7. Mechanistic and Detailed DesignOverview; Mechanistic Design; Detailed Design; Problem 7.1 Applying Mechanistic Design Patterns-Part 1; Problem 7.2 Applying Mechanistic Design Patterns-Part 2; Problem 7.3 Applying Detailed-Design State Behavior Patterns; Problem 7.4 Applying Detailed Design Idioms; Summary; Chapter 8. Specifying Requirements: Answers; Answer 3.1 Identifying Kinds of Requirements; Answer 3.2 Identifying Use Cases for Roadrunner Traffic Light Control System; Answer 3.3 Mapping Requirements to Use Cases; Answer 3.4 Identifying Use Cases for Coyote UAV System Answer 3.5 Identifying Parametric Requirements |
| Record Nr. | UNINA-9910457339503321 |
|
Douglass Bruce Powel
|
||
| Massachusettes, : Elsevier, c2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Real time UML workshop for embedded systems [[electronic resource] /] / by Bruce Powell Douglass
| Real time UML workshop for embedded systems [[electronic resource] /] / by Bruce Powell Douglass |
| Autore | Douglass Bruce Powel |
| Edizione | [1st edition] |
| Pubbl/distr/stampa | Massachusettes, : Elsevier, c2007 |
| Descrizione fisica | 1 online resource (433 p.) |
| Disciplina | 005.117 |
| Collana | Embedded technology series |
| Soggetto topico |
Embedded computer systems - Programming
Real-time data processing Object-oriented methods (Computer science) |
| ISBN |
1-281-00685-8
9786611006853 0-08-049223-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Front Cover; Real-Time UML Workshop for Embedded Systems; Copyright Page; Contents; Preface; Audience; Goals; Where to Go After the Book; Evaluate UML on ARM; Acknowledgments; About the Author; What's on the CD-ROM?; Chapter 1. Introduction; Basic Modeling Concepts of the UML; Structural Elements and Diagrams; Behavioral Elements and Diagrams; Use Case and Requirements Models; Summary; Check Out the CD-ROM; Chapter 2. The Harmony Process; Introduction; The Harmony Development Process; Summary; Chapter 3. Specifying Requirements; Overview
Problem 3.1 Identifying Kinds of Requirements for Roadrunner Traffic Light Control SystemProblem 3.2 Identifying Use Cases for the Roadrunner Traffic Light Control System; Problem 3.3 Mapping Requirements to Use Cases; Problem 3.4 Identifying Use Cases for the Coyote UAV System; Problem 3.5 Identifying Parametric Requirements; Problem 3.6 Capturing Quality of Service Requirements in Use Cases; Problem 3.7 Operational View: Identifying Traffic Light Scenarios; Problem 3.8 Operational View: CUAVS Optical Surveillance Scenarios; Problem 3.9 Specification View: Use-Case Description Specification View: State Machines for Requirements CaptureProblem 3.10 Specification View: Capturing Complex Requirements; Problem 3.11 Operational to Specification View: Capturing Operational Contracts; References; Chapter 4. Systems Architecture; Overview; Problem 4.1 Organizing the Systems Model; Problem 4.2 Subsystem Identification; Problem 4.3 Mapping Operational Contracts into Subsystem Architecture; Problem 4.4 Identifying Subsystem Use Cases; Looking Ahead; Chapter 5. Object Analysis; Overview; Key Strategies for Object Identification Problem 5.1 Apply Nouns and Causal Agents StrategiesProblem 5.2 Apply Services and Messages Strategies; Problem 5.3 Apply Real-World Items and Physical Devices Strategies; Problem 5.4 Apply Key Concepts and Transaction Strategies; Problem 5.5 Apply Identify Visual Elements and Scenarios Strategies; Problem 5.6 Merge Models from the Various Strategies; Looking Ahead; Chapter 6. Architectural Design; Overview; Problem 6.1 Concurrency and Resource Architecture; Problem 6.2 Distribution Architecture; Problem 6.3 Safety and Reliability Architecture; Looking Ahead Chapter 7. Mechanistic and Detailed DesignOverview; Mechanistic Design; Detailed Design; Problem 7.1 Applying Mechanistic Design Patterns-Part 1; Problem 7.2 Applying Mechanistic Design Patterns-Part 2; Problem 7.3 Applying Detailed-Design State Behavior Patterns; Problem 7.4 Applying Detailed Design Idioms; Summary; Chapter 8. Specifying Requirements: Answers; Answer 3.1 Identifying Kinds of Requirements; Answer 3.2 Identifying Use Cases for Roadrunner Traffic Light Control System; Answer 3.3 Mapping Requirements to Use Cases; Answer 3.4 Identifying Use Cases for Coyote UAV System Answer 3.5 Identifying Parametric Requirements |
| Record Nr. | UNINA-9910784365203321 |
|
Douglass Bruce Powel
|
||
| Massachusettes, : Elsevier, c2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Real time UML workshop for embedded systems / / by Bruce Powell Douglass
| Real time UML workshop for embedded systems / / by Bruce Powell Douglass |
| Autore | Douglass Bruce Powel |
| Edizione | [1st edition] |
| Pubbl/distr/stampa | Massachusettes, : Elsevier, c2007 |
| Descrizione fisica | 1 online resource (433 p.) |
| Disciplina | 005.117 |
| Collana | Embedded technology series |
| Soggetto topico |
Embedded computer systems - Programming
Real-time data processing Object-oriented methods (Computer science) |
| ISBN |
1-281-00685-8
9786611006853 0-08-049223-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Front Cover; Real-Time UML Workshop for Embedded Systems; Copyright Page; Contents; Preface; Audience; Goals; Where to Go After the Book; Evaluate UML on ARM; Acknowledgments; About the Author; What's on the CD-ROM?; Chapter 1. Introduction; Basic Modeling Concepts of the UML; Structural Elements and Diagrams; Behavioral Elements and Diagrams; Use Case and Requirements Models; Summary; Check Out the CD-ROM; Chapter 2. The Harmony Process; Introduction; The Harmony Development Process; Summary; Chapter 3. Specifying Requirements; Overview
Problem 3.1 Identifying Kinds of Requirements for Roadrunner Traffic Light Control SystemProblem 3.2 Identifying Use Cases for the Roadrunner Traffic Light Control System; Problem 3.3 Mapping Requirements to Use Cases; Problem 3.4 Identifying Use Cases for the Coyote UAV System; Problem 3.5 Identifying Parametric Requirements; Problem 3.6 Capturing Quality of Service Requirements in Use Cases; Problem 3.7 Operational View: Identifying Traffic Light Scenarios; Problem 3.8 Operational View: CUAVS Optical Surveillance Scenarios; Problem 3.9 Specification View: Use-Case Description Specification View: State Machines for Requirements CaptureProblem 3.10 Specification View: Capturing Complex Requirements; Problem 3.11 Operational to Specification View: Capturing Operational Contracts; References; Chapter 4. Systems Architecture; Overview; Problem 4.1 Organizing the Systems Model; Problem 4.2 Subsystem Identification; Problem 4.3 Mapping Operational Contracts into Subsystem Architecture; Problem 4.4 Identifying Subsystem Use Cases; Looking Ahead; Chapter 5. Object Analysis; Overview; Key Strategies for Object Identification Problem 5.1 Apply Nouns and Causal Agents StrategiesProblem 5.2 Apply Services and Messages Strategies; Problem 5.3 Apply Real-World Items and Physical Devices Strategies; Problem 5.4 Apply Key Concepts and Transaction Strategies; Problem 5.5 Apply Identify Visual Elements and Scenarios Strategies; Problem 5.6 Merge Models from the Various Strategies; Looking Ahead; Chapter 6. Architectural Design; Overview; Problem 6.1 Concurrency and Resource Architecture; Problem 6.2 Distribution Architecture; Problem 6.3 Safety and Reliability Architecture; Looking Ahead Chapter 7. Mechanistic and Detailed DesignOverview; Mechanistic Design; Detailed Design; Problem 7.1 Applying Mechanistic Design Patterns-Part 1; Problem 7.2 Applying Mechanistic Design Patterns-Part 2; Problem 7.3 Applying Detailed-Design State Behavior Patterns; Problem 7.4 Applying Detailed Design Idioms; Summary; Chapter 8. Specifying Requirements: Answers; Answer 3.1 Identifying Kinds of Requirements; Answer 3.2 Identifying Use Cases for Roadrunner Traffic Light Control System; Answer 3.3 Mapping Requirements to Use Cases; Answer 3.4 Identifying Use Cases for Coyote UAV System Answer 3.5 Identifying Parametric Requirements |
| Record Nr. | UNINA-9910809962903321 |
|
Douglass Bruce Powel
|
||
| Massachusettes, : Elsevier, c2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Structured Object-Oriented Formal Language and Method : 11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022, Revised Selected Papers / / Shaoying Liu, Zhenhua Duan, and Ai Liu, editors
| Structured Object-Oriented Formal Language and Method : 11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022, Revised Selected Papers / / Shaoying Liu, Zhenhua Duan, and Ai Liu, editors |
| Edizione | [First edition.] |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2023] |
| Descrizione fisica | 1 online resource (155 pages) |
| Disciplina | 004.0151 |
| Collana | Lecture Notes in Computer Science Series |
| Soggetto topico |
Formal methods (Computer science)
Object-oriented methods (Computer science) |
| ISBN |
9783031294761
9783031294754 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Model Checking & Markov Decision Process -- Formal Derivation and Verification of Critical Path Algorithm for Directed Acyclic Graph -- An Approach of Transforming Non-Markovian Reward to Markovian Reward -- A JPSL based Model Checking Approach for Java Programs -- Model Analysis & Tool Implementation -- Implementation of Matlab matfun Toolkit Based on MSVL -- Extending Visibly Pushdown Automata over Multi-matching Nested Relations -- Schedulability analysis of rate-monotonic algorithm on concurrent execution of digraph real-time tasks -- Formal Specification & Testing -- Formalization of natural language into PPTL specification via neural machine translation -- Testing Program Segments to Detect Runtime Exceptions in Java -- Inferring Exact Domains to Efficiently Generate Valid Test Cases via Testing -- Algorithms & Verification -- Testing and Verifying the security of COVID-19 CT Images Deep Learning System with Adversarial Attack -- Verifying and improving neural networks using testing-based formal verification -- Alternating Projection Temporal Epistemic Logic. |
| Record Nr. | UNISA-996517752003316 |
| Cham, Switzerland : , : Springer, , [2023] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Structured Object-Oriented Formal Language and Method : 11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022, Revised Selected Papers / / Shaoying Liu, Zhenhua Duan, and Ai Liu, editors
| Structured Object-Oriented Formal Language and Method : 11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022, Revised Selected Papers / / Shaoying Liu, Zhenhua Duan, and Ai Liu, editors |
| Edizione | [First edition.] |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2023] |
| Descrizione fisica | 1 online resource (155 pages) |
| Disciplina | 004.0151 |
| Collana | Lecture Notes in Computer Science Series |
| Soggetto topico |
Formal methods (Computer science)
Object-oriented methods (Computer science) |
| ISBN |
9783031294761
9783031294754 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Model Checking & Markov Decision Process -- Formal Derivation and Verification of Critical Path Algorithm for Directed Acyclic Graph -- An Approach of Transforming Non-Markovian Reward to Markovian Reward -- A JPSL based Model Checking Approach for Java Programs -- Model Analysis & Tool Implementation -- Implementation of Matlab matfun Toolkit Based on MSVL -- Extending Visibly Pushdown Automata over Multi-matching Nested Relations -- Schedulability analysis of rate-monotonic algorithm on concurrent execution of digraph real-time tasks -- Formal Specification & Testing -- Formalization of natural language into PPTL specification via neural machine translation -- Testing Program Segments to Detect Runtime Exceptions in Java -- Inferring Exact Domains to Efficiently Generate Valid Test Cases via Testing -- Algorithms & Verification -- Testing and Verifying the security of COVID-19 CT Images Deep Learning System with Adversarial Attack -- Verifying and improving neural networks using testing-based formal verification -- Alternating Projection Temporal Epistemic Logic. |
| Record Nr. | UNINA-9910683344103321 |
| Cham, Switzerland : , : Springer, , [2023] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Toward category-level object recognition / / Jean Ponce ... [et al.] (eds.)
| Toward category-level object recognition / / Jean Ponce ... [et al.] (eds.) |
| Edizione | [1st ed. 2006.] |
| Pubbl/distr/stampa | Berlin ; ; New York, : Springer, c2006 |
| Descrizione fisica | 1 online resource (XI, 620 p.) |
| Disciplina | 006.3/7 |
| Altri autori (Persone) | PonceJean |
| Collana |
Lecture notes in computer science
LNCS sublibrary. SL 6, Image processing, computer vision, pattern recognition, and graphics |
| Soggetto topico |
Computer vision
Pattern recognition systems Image processing - Digital techniques Object-oriented methods (Computer science) |
| ISBN | 3-540-68795-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | pt. 1. Introduction -- pt. 2. Recognition of specific objects -- pt. 3. Recognition of object categories -- pt. 4. Recognition of object categories with geometric relations -- pt. 5. Joint recognition and segmentation. |
| Record Nr. | UNINA-9910484940403321 |
| Berlin ; ; New York, : Springer, c2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
UML Distilled : guida rapida al linguaggio di modellazione standard / Martin Fowler
| UML Distilled : guida rapida al linguaggio di modellazione standard / Martin Fowler |
| Autore | Fowler, Martin |
| Edizione | [3. ed.] |
| Pubbl/distr/stampa | Milano : Pearson Education, 2004 |
| Descrizione fisica | xxviii, 162 cm : fig. ; 24 cm |
| Disciplina |
005.117
005.12 |
| Soggetto topico |
Elaboratori elettronici - Linguaggio UML
Object-oriented methods (Computer science) Computer software - Development UML (Computer science) |
| ISBN | 8871922077 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNISALENTO-991000917319707536 |
|
Fowler, Martin
|
||
| Milano : Pearson Education, 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
UML distilled : a brief guide to the standard object modeling language / Martin Fowler
| UML distilled : a brief guide to the standard object modeling language / Martin Fowler |
| Autore | Fowler, Martin |
| Edizione | [3rd ed.] |
| Pubbl/distr/stampa | Boston : Addison-Wesley, c2004 |
| Descrizione fisica | xxx, 175 p. : ill. ; 24 cm |
| Disciplina |
005.117
005.12 |
| Soggetto topico |
Object-oriented methods (Computer science)
Computer software - Development UML (Computer science) |
| ISBN | 9780321193681 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991001137829707536 |
|
Fowler, Martin
|
||
| Boston : Addison-Wesley, c2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
