IEEE

Towards formal modeling and verification of UML class diagrams using first-order logic and resolution

Abstract: Although Object Management Group (OMG) Unified Modeling Language (UML) introduced Object Constraint Language (OCL) to add formalism as constraints in its models, it still lacks formal ...
Frontiers

Multilevel mechanisms of in-and-out-of-class integrated physical education on adolescents’ physical health: a qualitative study based on socio-ecological and social cognitive ...

1 School Physical Education, Pai Chai University, Daejeon, Republic of Korea 2 School of Leisure Sports, Pai Chai University, Daejeon, Republic of Korea Introduction: The adolescent physical health ...
IEEE

Multilevel Traceability Links Establishments Between SOFL Formal Specifications and Java Codes Using Multi-dimensional Similarity Measures

Abstract: Linking the components in a formal specification to those in the corresponding program is a prerequisite for formal specification-based program fault detection. Existing traceability link ...