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.
Computer Aided Systems Theory – EUROCAST 2019 [[electronic resource] ] : 17th International Conference, Las Palmas de Gran Canaria, Spain, February 17–22, 2019, Revised Selected Papers, Part II / / edited by Roberto Moreno-Díaz, Franz Pichler, Alexis Quesada-Arencibia
| Computer Aided Systems Theory – EUROCAST 2019 [[electronic resource] ] : 17th International Conference, Las Palmas de Gran Canaria, Spain, February 17–22, 2019, Revised Selected Papers, Part II / / edited by Roberto Moreno-Díaz, Franz Pichler, Alexis Quesada-Arencibia |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (526 pages) : illustrations |
| Disciplina | 005.10285 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer simulation
Database management Computer networks Artificial intelligence Computer systems Computer Modelling Database Management System Computer Communication Networks Artificial Intelligence Computer System Implementation |
| ISBN | 3-030-45096-1 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Applications of Signal Processing Technology -- Artificial Intelligence and Data Mining for Intelligent Transportation Systems and Smart Mobility -- Computer Vision, Machine Learning for Image Analysis and Applications -- Computer and Systems Based Methods and Electronic Technologies in Medicine -- Advances in Biomedical Signal and Image Processing -- Systems Concepts and Methods in Touristic Flows -- Systems in Industrial Robotics, Automation and IoT. |
| Record Nr. | UNISA-996418212603316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Computer Aided Systems Theory – EUROCAST 2019 [[electronic resource] ] : 17th International Conference, Las Palmas de Gran Canaria, Spain, February 17–22, 2019, Revised Selected Papers, Part I / / edited by Roberto Moreno-Díaz, Franz Pichler, Alexis Quesada-Arencibia
| Computer Aided Systems Theory – EUROCAST 2019 [[electronic resource] ] : 17th International Conference, Las Palmas de Gran Canaria, Spain, February 17–22, 2019, Revised Selected Papers, Part I / / edited by Roberto Moreno-Díaz, Franz Pichler, Alexis Quesada-Arencibia |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (535 pages) : illustrations |
| Disciplina | 005.10285 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer simulation
Artificial intelligence Computer networks Computer science—Mathematics Computer Modelling Artificial Intelligence Computer Communication Networks Mathematics of Computing |
| ISBN | 3-030-45093-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Systems Theory and Applications -- Pioneers and Landmarks in the Development of Information and Communication Technologies -- Stochastic Models and Applications to Natural, Social and Technical Systems -- Theory and Applications of Metaheuristic Algorithms -- Model-Based System Design, Verification and Simulation. |
| Record Nr. | UNISA-996418212803316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Computer Aided Systems Theory – EUROCAST 2019 : 17th International Conference, Las Palmas de Gran Canaria, Spain, February 17–22, 2019, Revised Selected Papers, Part I / / edited by Roberto Moreno-Díaz, Franz Pichler, Alexis Quesada-Arencibia
| Computer Aided Systems Theory – EUROCAST 2019 : 17th International Conference, Las Palmas de Gran Canaria, Spain, February 17–22, 2019, Revised Selected Papers, Part I / / edited by Roberto Moreno-Díaz, Franz Pichler, Alexis Quesada-Arencibia |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (535 pages) : illustrations |
| Disciplina | 005.10285 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer simulation
Artificial intelligence Computer networks Computer science—Mathematics Computer Modelling Artificial Intelligence Computer Communication Networks Mathematics of Computing |
| ISBN | 3-030-45093-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Systems Theory and Applications -- Pioneers and Landmarks in the Development of Information and Communication Technologies -- Stochastic Models and Applications to Natural, Social and Technical Systems -- Theory and Applications of Metaheuristic Algorithms -- Model-Based System Design, Verification and Simulation. |
| Record Nr. | UNINA-9910409673103321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Computer Aided Systems Theory – EUROCAST 2019 : 17th International Conference, Las Palmas de Gran Canaria, Spain, February 17–22, 2019, Revised Selected Papers, Part II / / edited by Roberto Moreno-Díaz, Franz Pichler, Alexis Quesada-Arencibia
| Computer Aided Systems Theory – EUROCAST 2019 : 17th International Conference, Las Palmas de Gran Canaria, Spain, February 17–22, 2019, Revised Selected Papers, Part II / / edited by Roberto Moreno-Díaz, Franz Pichler, Alexis Quesada-Arencibia |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (526 pages) : illustrations |
| Disciplina | 005.10285 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer simulation
Database management Computer networks Artificial intelligence Computer systems Computer Modelling Database Management System Computer Communication Networks Artificial Intelligence Computer System Implementation |
| ISBN | 3-030-45096-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Applications of Signal Processing Technology -- Artificial Intelligence and Data Mining for Intelligent Transportation Systems and Smart Mobility -- Computer Vision, Machine Learning for Image Analysis and Applications -- Computer and Systems Based Methods and Electronic Technologies in Medicine -- Advances in Biomedical Signal and Image Processing -- Systems Concepts and Methods in Touristic Flows -- Systems in Industrial Robotics, Automation and IoT. |
| Record Nr. | UNINA-9910409673203321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
IBM Rational Team Concert2 essentials [[electronic resource] ] : improve team productivity with integrated processes, planning, and collaboration using Team Concert Enterprise Edition / / Suresh Krishna, TC Fenstermaker
| IBM Rational Team Concert2 essentials [[electronic resource] ] : improve team productivity with integrated processes, planning, and collaboration using Team Concert Enterprise Edition / / Suresh Krishna, TC Fenstermaker |
| Autore | Krishna Suresh |
| Pubbl/distr/stampa | Birmingham, UK, : Packt Enterprise Pub., c2011 |
| Descrizione fisica | 1 online resource (308 p.) |
| Disciplina | 005.10285 |
| Altri autori (Persone) | FenstermakerT. C |
| Soggetto topico |
Teams in the workplace - Computer programs
Project management - Computer programs |
| Soggetto genere / forma | Electronic books. |
| ISBN |
1-280-23748-1
9786613545879 1-84968-161-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Cover; Copyright; Credits; About the Authors; Acknowledgement; About the Reviewers; www.PacktPub.com; Table of Contents; Preface; Chapter 1: Beginning with IBM RTC; Software development challenges; Distributed teams; Collaboration; Project management; Team addition; Task assignment and scheduling; Project tracking; Build, test, and release; Transparency; Going the Eclipse way; Jazz platform; Introduction; Vision; Architecture; Rational Team Concert; Overview; What's in RTC?; Administration; Built-ins; Agile management; Continuous builds; Process awareness; Team awareness; Work items
Source controlProject dashboards; Jazz-based products; Rational Quality Manager; Rational Requirements Composer; Rational Project Conductor; Rational Insight; Rational Build Forge; Rational Asset Manager; Summary; Chapter 2: Installing RTC and WebSphere; Installing Rational Team Concert; Understanding RTC editions; Installing Enterprise edition; Build system; Client; SCM tools; Repository tools; Server; Configuring WebSphere; Before you start; JVM custom properties; Heap size settings; Changing log details; Security Settings; Deploying Jazz Team Server on WebSphere; Testing the installation Setting up the serverIntroduction; Project areas; Server; User management; Project area management; Process template management; Setting up the client; JUnit project example; Working with Sandbox; Work items perspective; Team Artifacts view; My Work view; Team Central view; Jazz Administration perspective; Process Template view; Team Organization view; JUnit Project on the Web Interface; Team Advisor; Summary; Chapter 3: Setting up the Project; Introduction; Setting up the project; Importing the subversion dump; Project source code; Building and running the application; Admin utility BookManager applicationSummary; Chapter 4: Team and Source Control; Introduction; Team invitation; Streams and components; Repository workspace; Flow target; Repository ownership; Workspace snapshots; Ignoring resources; Explicit resource locks; Change sets; Source control from the RTC Web UI; Summary; Chapter 5: Team Collaboration and Work Items; Work Environment; Scheduled Absences; Mail Configuration; Instant Messaging; Events and feeds; Work Items; Work Items UI; Work Items view; Team Artifacts view; My Work view; Team Central view; Tag Cloud view; Creating Work Items; My Work view; Inbox Future Work ItemsCurrent Work; Team Central; Queries; Predefined queries; Creating queries; Import/Export; Customization; Dashboards; Explore dashboard; Customize dashboards; Summary; Chapter 6: Development Process and Release Planning; Development process; Process templates; Out-of-the-box templates; Translatable templates; Process configuration; Agile development; Project Area; Role definition; Team collaboration; Work items; Repository workspace; Reporting; Release planning; Build management; Release management; Iteration planning; Project tracking; Reality check; Summary Chapter 7: Build Management |
| Record Nr. | UNINA-9910456924403321 |
Krishna Suresh
|
||
| Birmingham, UK, : Packt Enterprise Pub., c2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
IBM Rational Team Concert2 essentials [[electronic resource] ] : improve team productivity with integrated processes, planning, and collaboration using Team Concert Enterprise Edition / / Suresh Krishna, TC Fenstermaker
| IBM Rational Team Concert2 essentials [[electronic resource] ] : improve team productivity with integrated processes, planning, and collaboration using Team Concert Enterprise Edition / / Suresh Krishna, TC Fenstermaker |
| Autore | Krishna Suresh |
| Pubbl/distr/stampa | Birmingham, UK : , : Packt Enterprise Pub., , c2011 |
| Descrizione fisica | 1 online resource (308 pages) |
| Disciplina | 005.10285 |
| Altri autori (Persone) | FenstermakerT. C |
| Soggetto topico |
Teams in the workplace - Computer programs
Project management - Computer programs |
| ISBN |
1-280-23748-1
9786613545879 1-84968-161-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Cover; Copyright; Credits; About the Authors; Acknowledgement; About the Reviewers; www.PacktPub.com; Table of Contents; Preface; Chapter 1: Beginning with IBM RTC; Software development challenges; Distributed teams; Collaboration; Project management; Team addition; Task assignment and scheduling; Project tracking; Build, test, and release; Transparency; Going the Eclipse way; Jazz platform; Introduction; Vision; Architecture; Rational Team Concert; Overview; What's in RTC?; Administration; Built-ins; Agile management; Continuous builds; Process awareness; Team awareness; Work items
Source controlProject dashboards; Jazz-based products; Rational Quality Manager; Rational Requirements Composer; Rational Project Conductor; Rational Insight; Rational Build Forge; Rational Asset Manager; Summary; Chapter 2: Installing RTC and WebSphere; Installing Rational Team Concert; Understanding RTC editions; Installing Enterprise edition; Build system; Client; SCM tools; Repository tools; Server; Configuring WebSphere; Before you start; JVM custom properties; Heap size settings; Changing log details; Security Settings; Deploying Jazz Team Server on WebSphere; Testing the installation Setting up the serverIntroduction; Project areas; Server; User management; Project area management; Process template management; Setting up the client; JUnit project example; Working with Sandbox; Work items perspective; Team Artifacts view; My Work view; Team Central view; Jazz Administration perspective; Process Template view; Team Organization view; JUnit Project on the Web Interface; Team Advisor; Summary; Chapter 3: Setting up the Project; Introduction; Setting up the project; Importing the subversion dump; Project source code; Building and running the application; Admin utility BookManager applicationSummary; Chapter 4: Team and Source Control; Introduction; Team invitation; Streams and components; Repository workspace; Flow target; Repository ownership; Workspace snapshots; Ignoring resources; Explicit resource locks; Change sets; Source control from the RTC Web UI; Summary; Chapter 5: Team Collaboration and Work Items; Work Environment; Scheduled Absences; Mail Configuration; Instant Messaging; Events and feeds; Work Items; Work Items UI; Work Items view; Team Artifacts view; My Work view; Team Central view; Tag Cloud view; Creating Work Items; My Work view; Inbox Future Work ItemsCurrent Work; Team Central; Queries; Predefined queries; Creating queries; Import/Export; Customization; Dashboards; Explore dashboard; Customize dashboards; Summary; Chapter 6: Development Process and Release Planning; Development process; Process templates; Out-of-the-box templates; Translatable templates; Process configuration; Agile development; Project Area; Role definition; Team collaboration; Work items; Repository workspace; Reporting; Release planning; Build management; Release management; Iteration planning; Project tracking; Reality check; Summary Chapter 7: Build Management |
| Record Nr. | UNINA-9910781106303321 |
|
Krishna Suresh
|
||
| Birmingham, UK : , : Packt Enterprise Pub., , c2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
IBM Rational Team Concert2 essentials : improve team productivity with integrated processes, planning, and collaboration using Team Concert Enterprise Edition / / Suresh Krishna, TC Fenstermaker
| IBM Rational Team Concert2 essentials : improve team productivity with integrated processes, planning, and collaboration using Team Concert Enterprise Edition / / Suresh Krishna, TC Fenstermaker |
| Autore | Krishna Suresh |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | Birmingham, UK : , : Packt Enterprise Pub., , c2011 |
| Descrizione fisica | 1 online resource (308 pages) |
| Disciplina | 005.10285 |
| Altri autori (Persone) | FenstermakerT. C |
| Soggetto topico |
Teams in the workplace - Computer programs
Project management - Computer programs |
| ISBN |
1-280-23748-1
9786613545879 1-84968-161-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Cover; Copyright; Credits; About the Authors; Acknowledgement; About the Reviewers; www.PacktPub.com; Table of Contents; Preface; Chapter 1: Beginning with IBM RTC; Software development challenges; Distributed teams; Collaboration; Project management; Team addition; Task assignment and scheduling; Project tracking; Build, test, and release; Transparency; Going the Eclipse way; Jazz platform; Introduction; Vision; Architecture; Rational Team Concert; Overview; What's in RTC?; Administration; Built-ins; Agile management; Continuous builds; Process awareness; Team awareness; Work items
Source controlProject dashboards; Jazz-based products; Rational Quality Manager; Rational Requirements Composer; Rational Project Conductor; Rational Insight; Rational Build Forge; Rational Asset Manager; Summary; Chapter 2: Installing RTC and WebSphere; Installing Rational Team Concert; Understanding RTC editions; Installing Enterprise edition; Build system; Client; SCM tools; Repository tools; Server; Configuring WebSphere; Before you start; JVM custom properties; Heap size settings; Changing log details; Security Settings; Deploying Jazz Team Server on WebSphere; Testing the installation Setting up the serverIntroduction; Project areas; Server; User management; Project area management; Process template management; Setting up the client; JUnit project example; Working with Sandbox; Work items perspective; Team Artifacts view; My Work view; Team Central view; Jazz Administration perspective; Process Template view; Team Organization view; JUnit Project on the Web Interface; Team Advisor; Summary; Chapter 3: Setting up the Project; Introduction; Setting up the project; Importing the subversion dump; Project source code; Building and running the application; Admin utility BookManager applicationSummary; Chapter 4: Team and Source Control; Introduction; Team invitation; Streams and components; Repository workspace; Flow target; Repository ownership; Workspace snapshots; Ignoring resources; Explicit resource locks; Change sets; Source control from the RTC Web UI; Summary; Chapter 5: Team Collaboration and Work Items; Work Environment; Scheduled Absences; Mail Configuration; Instant Messaging; Events and feeds; Work Items; Work Items UI; Work Items view; Team Artifacts view; My Work view; Team Central view; Tag Cloud view; Creating Work Items; My Work view; Inbox Future Work ItemsCurrent Work; Team Central; Queries; Predefined queries; Creating queries; Import/Export; Customization; Dashboards; Explore dashboard; Customize dashboards; Summary; Chapter 6: Development Process and Release Planning; Development process; Process templates; Out-of-the-box templates; Translatable templates; Process configuration; Agile development; Project Area; Role definition; Team collaboration; Work items; Repository workspace; Reporting; Release planning; Build management; Release management; Iteration planning; Project tracking; Reality check; Summary Chapter 7: Build Management |
| Record Nr. | UNINA-9910816920103321 |
|
Krishna Suresh
|
||
| Birmingham, UK : , : Packt Enterprise Pub., , c2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Model-driven dependability assessment of software systems / / Simona Bernardi, Jose Merseguer, Dorina Corina Petriu
| Model-driven dependability assessment of software systems / / Simona Bernardi, Jose Merseguer, Dorina Corina Petriu |
| Autore | Bernardi Simona |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Heidelberg [Germany] : , : Springer, , 2013 |
| Descrizione fisica | 1 online resource (xvi, 187 pages) : illustrations (some color) |
| Disciplina |
004.0151
005.10285 |
| Collana | Gale eBooks |
| Soggetto topico |
Computer software - Evaluation
Computer science Software engineering |
| ISBN | 3-642-39512-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1 Dependability Assessment and Software Life-cycle -- 2 Dependability Concepts -- 3 Software models -- 4 Dependability Domain Model -- 5 Dependability Modeling and Analysis Profile -- 6 Dependability Analysis Techniques -- 7 Proposals for Dependability Assessment -- 8 From Software Models to Dependability Analysis Models -- 9 Conclusions and Advanced Open Issues -- A The MARTE profile -- B Classes in the dependability domain model. |
| Record Nr. | UNINA-9910437574703321 |
|
Bernardi Simona
|
||
| Heidelberg [Germany] : , : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Modelling Foundations and Applications [[electronic resource] ] : 10th European Conference, ECMFA 2014, Held as Part of STAF 2014, York, UK, July 21-25, 2014. Proceedings / / edited by Jordi Cabot, Julia Rubin
| Modelling Foundations and Applications [[electronic resource] ] : 10th European Conference, ECMFA 2014, Held as Part of STAF 2014, York, UK, July 21-25, 2014. Proceedings / / edited by Jordi Cabot, Julia Rubin |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (XVIII, 267 p. 129 illus.) |
| Disciplina | 005.10285 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer logic Programming languages (Electronic computers) Computer communication systems Management information systems Computer science Software Engineering Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Computer Communication Networks Management of Computing and Information Systems |
| ISBN | 3-319-09195-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Model provenance -- Model transformations and code generation -- Model synthesis -- Model-driven testing -- Formal modeling approaches -- Business modeling -- Usability of models. |
| Record Nr. | UNISA-996198271503316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Modelling Foundations and Applications : 10th European Conference, ECMFA 2014, Held as Part of STAF 2014, York, UK, July 21-25, 2014. Proceedings / / edited by Jordi Cabot, Julia Rubin
| Modelling Foundations and Applications : 10th European Conference, ECMFA 2014, Held as Part of STAF 2014, York, UK, July 21-25, 2014. Proceedings / / edited by Jordi Cabot, Julia Rubin |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (XVIII, 267 p. 129 illus.) |
| Disciplina | 005.10285 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer logic Programming languages (Electronic computers) Computer communication systems Management information systems Computer science Software Engineering Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Computer Communication Networks Management of Computing and Information Systems |
| ISBN | 3-319-09195-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Model provenance -- Model transformations and code generation -- Model synthesis -- Model-driven testing -- Formal modeling approaches -- Business modeling -- Usability of models. |
| Record Nr. | UNINA-9910483278503321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
