Towards an Extensible Architecture and Tool Support for Model-based Verification
Model-based software engineering (MBSE) brings models to the center of software and
system design. Models are powerful abstractions used to support all phases of the software
development life cycle of complex software. As these models grow larger and their
complexity increases, they need to be verified and validated to preserve their correctness.
One possible way to do so is by means of the use of formal methods. However, the
availability of MBSE tools with support for validation and verification is limited, and they …
system design. Models are powerful abstractions used to support all phases of the software
development life cycle of complex software. As these models grow larger and their
complexity increases, they need to be verified and validated to preserve their correctness.
One possible way to do so is by means of the use of formal methods. However, the
availability of MBSE tools with support for validation and verification is limited, and they …
Towards an Extensible Architecture and Tool Support for Model-based Verification.
DE Delgado Camacho, L Burgueño-Caballero… - 2023 - riuma.uma.es
Model-based software engineering (MBSE) brings models to the center of software and
system design. Models are powerful abstractions used to support all phases of the software
development life cycle of complex software. As these models grow larger and their
complexity increases, they need to be verified and validated to preserve their correctness.
One possible way to do so is by means of the use of formal methods. However, the
availability of MBSE tools with support for validation and verification is limited, and they …
system design. Models are powerful abstractions used to support all phases of the software
development life cycle of complex software. As these models grow larger and their
complexity increases, they need to be verified and validated to preserve their correctness.
One possible way to do so is by means of the use of formal methods. However, the
availability of MBSE tools with support for validation and verification is limited, and they …
Showing the best results for this search. See all results