Model-based testing using UML activity diagrams: A systematic map** study
Abstract Context: The Unified Modeling Language (UML) has become the de facto standard
for software modeling. UML models are often used to visualize, understand, and …
for software modeling. UML models are often used to visualize, understand, and …
[BOOK][B] Verification and validation in systems engineering: assessing UML/SysML design models
At the dawn of the 21st century and the information age, communication and c-puting power
are becoming ever increasingly available, virtually pervading almost every aspect of modern …
are becoming ever increasingly available, virtually pervading almost every aspect of modern …
Towards a formal semantics of UML 2.0 activities
H Störrle, JH Hausmann - 2005 - dl.gi.de
The new version 2.0 of the Unified Modeling Language (UML) was targeted at improving
expressiveness and semantic precision. These developments are particularly evident in …
expressiveness and semantic precision. These developments are particularly evident in …
Diagnosing and repairing data anomalies in process models
When using process models for automation, correctness of the models is a key requirement.
While many approaches concentrate on control flow verification only, correct data flow …
While many approaches concentrate on control flow verification only, correct data flow …
Architecture design for deblocking filter in H. 264/JVT/AVC
This paper presents an efficient VLSI architecture for the deblocking filter in H. 264/JVT/AVC.
We use an array of 8/spl times/4 8-bit shift registers with reconfigurable data path to support …
We use an array of 8/spl times/4 8-bit shift registers with reconfigurable data path to support …
[HTML][HTML] Detecting data-flow errors in BPMN 2.0
Data-flow errors in BPMN 2.0 process models, such as missing or unused data, lead to
undesired process executions. In particular, since BPMN 2.0 with a standardized execution …
undesired process executions. In particular, since BPMN 2.0 with a standardized execution …
Automatic test data generation using the activity diagram and search-based technique
In software testing, generating test data is quite expensive and time-consuming. The manual
generation of an appropriately large set of test data to satisfy a specified coverage criterion …
generation of an appropriately large set of test data to satisfy a specified coverage criterion …
Hierarchical colored Petri nets for the verification of SysML designs-activity-based slicing approach
Requirements verification at early phases of the design process is one of the main
challenges when develo** critical and complex systems. In this paper, we focus on the …
challenges when develo** critical and complex systems. In this paper, we focus on the …
The clock constraint specification language for building timed causality models: Application to synchronous data flow graphs
Abstract The uml Profile for Modeling and Analysis of Real-Time and Embedded (RTE)
systems has recently been adopted by the OMG. Its Time Model extends the informal and …
systems has recently been adopted by the OMG. Its Time Model extends the informal and …
Specification and verification of time requirements with CCSL and Esterel
C André, F Mallet - Proceedings of the 2009 ACM SIGPLAN/SIGBED …, 2009 - dl.acm.org
The UML Profile for Modeling and Analysis of Real-Time and Embedded (MARTE) systems
has recently been adopted by the OMG. Its Time Model extends the informal and simplistic …
has recently been adopted by the OMG. Its Time Model extends the informal and simplistic …