Verification and Validation in Systems Engineering [recurso electrónico] : Assessing UML/SysML Design Models / by Mourad Debbabi, Fawzi Hassaïne, Yosr Jarraya, Andrei Soeanu, Luay Alawneh.

Por: Debbabi, Mourad [author.]Colaborador(es): Hassaïne, Fawzi [author.] | Jarraya, Yosr [author.] | Soeanu, Andrei [author.] | Alawneh, Luay [author.] | SpringerLink (Online service)Tipo de material: TextoTextoEditor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Descripción: XXVI, 248 p. online resourceTipo de contenido: text Tipo de medio: computer Tipo de portador: online resourceISBN: 9783642152283Tema(s): Computer science | Computer system performance | Software engineering | Information Systems | Computer Science | Software Engineering | System Performance and Evaluation | Management of Computing and Information SystemsFormatos físicos adicionales: Printed edition:: Sin títuloClasificación CDD: 005.1 Clasificación LoC:QA76.758Recursos en línea: Libro electrónicoTexto
Contenidos:
Architecture Frameworks, Model-Driven Architecture, and Simulation -- Unified Modeling Language -- Systems Modeling Language -- Verification, Validation, and Accreditation -- Automatic Approach for Synergistic Verification and Validation -- Software Engineering Metrics in the Context of Systems Engineering -- Verification and Validation of UML Behavioral Diagrams -- Probabilistic Model Checking of SysML Activity Diagrams -- Performance Analysis of Time-Constrained SysML Activity Diagrams -- Semantic Foundations of SysML Activity Diagrams -- Soundness of the Translation Algorithm -- Conclusion.
En: Springer eBooksResumen: Verification and validation represents an important process used for the quality assessment of engineered systems and their compliance with the requirements established at the beginning of or during the development cycle. Debbabi and his coauthors investigate methodologies and techniques that can be employed for the automatic verification and validation of systems engineering design models expressed in standardized modeling languages. Their presentation includes a bird’s eye view of the most prominent modeling languages for software and systems engineering, namely the Unified Modeling Language (UML) and the more recent Systems Modeling Language (SysML). Moreover, it elaborates on a number of quantitative and qualitative techniques that synergistically combine automatic verification techniques, program analysis, and software engineering quantitative methods applicable to design models described in these modeling languages. Each of these techniques is additionally explained using a case study highlighting the process, its results, and resulting changes in the system design. Researchers in academia and industry as well as students specializing in software and systems engineering will find here an overview of state-of-the-art validation and verification techniques. Due to their close association with the UML standard, the presented approaches are also applicable to industrial software development.
Star ratings
    Valoración media: 0.0 (0 votos)
Existencias
Tipo de ítem Biblioteca actual Colección Signatura Copia número Estado Fecha de vencimiento Código de barras
Libro Electrónico Biblioteca Electrónica
Colección de Libros Electrónicos QA76.758 (Browse shelf(Abre debajo)) 1 No para préstamo 374971-2001

Architecture Frameworks, Model-Driven Architecture, and Simulation -- Unified Modeling Language -- Systems Modeling Language -- Verification, Validation, and Accreditation -- Automatic Approach for Synergistic Verification and Validation -- Software Engineering Metrics in the Context of Systems Engineering -- Verification and Validation of UML Behavioral Diagrams -- Probabilistic Model Checking of SysML Activity Diagrams -- Performance Analysis of Time-Constrained SysML Activity Diagrams -- Semantic Foundations of SysML Activity Diagrams -- Soundness of the Translation Algorithm -- Conclusion.

Verification and validation represents an important process used for the quality assessment of engineered systems and their compliance with the requirements established at the beginning of or during the development cycle. Debbabi and his coauthors investigate methodologies and techniques that can be employed for the automatic verification and validation of systems engineering design models expressed in standardized modeling languages. Their presentation includes a bird’s eye view of the most prominent modeling languages for software and systems engineering, namely the Unified Modeling Language (UML) and the more recent Systems Modeling Language (SysML). Moreover, it elaborates on a number of quantitative and qualitative techniques that synergistically combine automatic verification techniques, program analysis, and software engineering quantitative methods applicable to design models described in these modeling languages. Each of these techniques is additionally explained using a case study highlighting the process, its results, and resulting changes in the system design. Researchers in academia and industry as well as students specializing in software and systems engineering will find here an overview of state-of-the-art validation and verification techniques. Due to their close association with the UML standard, the presented approaches are also applicable to industrial software development.

19

Con tecnología Koha