Amanote Research

Amanote Research

    RegisterSign In

Validating UML Statechart-Based Assertions Libraries for Improved Reliability and Assurance

doi 10.1109/ssiri.2008.54
Full Text
Open PDF
Abstract

Available in full text

Date

July 1, 2008

Authors
Doron DrusinskyJames Bret MichaelThomas W. OtaniMan-Tak Shing
Publisher

IEEE


Related search

Validating Timed UML Models by Simulation and Verification

International Journal on Software Tools for Technology Transfer
Information SystemsSoftware
2005English

Validating UML Simulation Models With Model-Level Unit Tests

2010English

Excellent Libraries: A Quality Assurance Perspective

Advances in Librarianship
LibraryInformation Sciences
English

FFTF Pnl: Reliability Assurance Program Plan for the Fftf.

1967English

Interactive Journal Concept for Improved Scientific Publishing and Quality Assurance

Learned Publishing
Communication
2004English

Reliability Allocation for CNC Machine Based on Improved Fuzzy Analytic Hierarchy Process

INTERNATIONAL JOURNAL ON Advances in Information Sciences and Service Sciences
2012English

Reliability Assurance of High-Technological Sub-Assemblies

Science intensive technologies in mechanical engineering
2018English

Quality Assurance Practices in University Libraries in South Africa

South African Journal of Libraries and Information Science
2011English

Ontology Based Semantics Checking for UML Activity Model

Information Technology Journal
2012English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy