Quality of Information and Communications Technology [[electronic resource] ] : 13th International Conference, QUATIC 2020, Faro, Portugal, September 9–11, 2020, Proceedings / / edited by Martin Shepperd, Fernando Brito e Abreu, Alberto Rodrigues da Silva, Ricardo Pérez-Castillo |
Edizione | [1st ed. 2020.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
Descrizione fisica | 1 online resource (XXII, 500 p. 69 illus., 14 illus. in color.) |
Disciplina | 004.0685 |
Collana | Communications in Computer and Information Science |
Soggetto topico |
Software engineering
Application software Artificial intelligence Architecture, Computer Software Engineering/Programming and Operating Systems Information Systems Applications (incl. Internet) Artificial Intelligence Computer System Implementation |
ISBN | 3-030-58793-2 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Quality Aspects in Machine Learning, AI and Data Analytics -- Evidence-Based Software Quality Engineering -- Human and Artificial Intelligences for Software Evolution -- Process Modeling, Improvement and Assessment -- Software Quality Education and Training -- Quality Aspects in Quantum Computing -- Safety, Security and Privacy -- ICT Verification and Validation -- RE, MDD and Agile. |
Record Nr. | UNISA-996465454803316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Quality of Information and Communications Technology : 13th International Conference, QUATIC 2020, Faro, Portugal, September 9–11, 2020, Proceedings / / edited by Martin Shepperd, Fernando Brito e Abreu, Alberto Rodrigues da Silva, Ricardo Pérez-Castillo |
Edizione | [1st ed. 2020.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
Descrizione fisica | 1 online resource (XXII, 500 p. 69 illus., 14 illus. in color.) |
Disciplina | 004.0685 |
Collana | Communications in Computer and Information Science |
Soggetto topico |
Software engineering
Application software Artificial intelligence Architecture, Computer Software Engineering/Programming and Operating Systems Information Systems Applications (incl. Internet) Artificial Intelligence Computer System Implementation |
ISBN | 3-030-58793-2 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Quality Aspects in Machine Learning, AI and Data Analytics -- Evidence-Based Software Quality Engineering -- Human and Artificial Intelligences for Software Evolution -- Process Modeling, Improvement and Assessment -- Software Quality Education and Training -- Quality Aspects in Quantum Computing -- Safety, Security and Privacy -- ICT Verification and Validation -- RE, MDD and Agile. |
Record Nr. | UNINA-9910427719903321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
UML Modeling Languages and Applications [[electronic resource] ] : UML 2004 Satellite Activities Lisbon, Portugal, October 11-15, 2004, Revised Selected Papers / / edited by Nuno Jardim Nunes, Bran Selic, Alberto Rodrigues da Silva, Ambrosio Toval Alvarez |
Edizione | [1st ed. 2005.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 |
Descrizione fisica | 1 online resource (XIV, 298 p.) |
Disciplina | 005.1 |
Collana | Programming and Software Engineering |
Soggetto topico |
Software engineering
Programming languages (Electronic computers) Management information systems Computer science Computer simulation Software Engineering Programming Languages, Compilers, Interpreters Management of Computing and Information Systems Simulation and Modeling |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Workshops -- Consistency Problems in UML-Based Software Development -- 5th International Workshop on Aspect-Oriented Modeling -- Software Architecture Description and UML -- SVERTS – Specification and Validation of Real-Time and Embedded Systems -- Essentials of the 3rd UML Workshop in Software Model Engineering (WiSME’2004) -- Open Issues in Industrial Use Case Modeling -- Models for Non-functional Aspects of Component-Based Software (NfC’04) -- OCL and Model Driven Engineering -- Critical Systems Development Using Modeling Languages (CSDUML’04): Current Developments and Future Challenges (Report on the Third International Workshop) -- Doctoral Symposium -- Industry Track -- Function Net Modeling with UML-RT: Experiences from an Automotive Project at BMW Group -- Supporting the Building and Analysis of an Infrastructure Portfolio Using UML Deployment Diagrams -- Model-Driven Development of Enterprise Applications -- Lessons Learned Applying UML in the Design of Mission Critical Software -- System-on-Chip Verification Process Using UML -- SoftContract: Model-Based Design of Error-Checking Code and Property Monitors -- Tailoring IEEE 1471 for MDE Support -- Data Communications Standards: A Case for the UML -- Experiences in Modeling for a Domain Specific Language -- Six Lessons Learned Using MDA -- Applying MDA and UML in the Development of a Healthcare System -- Managed Architecture of Existing Code as a Practical Transition Towards MDA -- Posters / Demos -- EPTUD: An Eclipse Plugin for Testing UML Designs -- Towards a Platform for Debugging Executed UML-Models in Embedded Systems -- The TopModL Initiative -- PAMPERO: Precise Assistant for the Modeling Process in an Environment with Refinement Orientation -- Tools for Critical Systems Development with UML (Tool Demo) -- Incremental MDD Through Generative Causal Connectedness -- Model-Driven Engineering of Middleware-Mediated Distributed Systems -- Profile Suite for Model Transformations on the Computation Independent Level -- The ProjectIT-RSL Language Overview -- A UML-Based Tool for Designing User Interfaces -- The AGEDIS Tools for Model Based Testing -- Tool Exhibits -- Tools Exhibits. |
Record Nr. | UNISA-996465682703316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|