A5012120763- Advanced Software Engineering Methodologies
- Model-Driven Software Engineering Techniques
- Service-Oriented Architecture and Web Services
- Balance, Gait, and Falls Prevention
- Cerebral Palsy and Movement Disorders
- Software System Performance and Reliability
- Software Engineering Research
- Business Process Modeling and Analysis
- Lower Extremity Biomechanics and Pathologies
- Software Testing and Debugging Techniques
- Muscle activation and electromyography studies
- Sports injuries and prevention
- Sports Performance and Training
- Semantic Web and Ontologies
- Stroke Rehabilitation and Recovery
- Effects of Vibration on Health
- Musculoskeletal pain and rehabilitation
- Formal Methods in Verification
- Motor Control and Adaptation
- Software Reliability and Analysis Research
- Foot and Ankle Surgery
- Scoliosis diagnosis and treatment
- Winter Sports Injuries and Performance
- Diabetic Foot Ulcer Assessment and Management
- Healthcare Systems and Practices
Centre National de la Recherche Scientifique
2014-2024
Laboratoire d'Automatique, de Mécanique et d'Informatique Industrielles et Humaines
2015-2024
Université Polytechnique Hauts-de-France
2014-2024
INSA Hauts-de-France
2017-2024
Institut National des Sciences Appliquées de Rennes
2017-2024
Université Lille Nord de France
2010-2023
Université de Pau et des Pays de l'Adour
2012-2021
Université de Lille
2011-2017
Institute for Computer Aided Design
2015
Software (Spain)
2015
A formal definition for the semantics of Whole-Part relationship in Unified Modeling Language or UML is introduced. This provides a fully directly usable specification which can be incorporated into version 2.0 UML. An improvement to current metamodel fragment relating relationships proposed, supplemented by introduction axioms expressed Object Constraint OCL. The overall formalization relates clear and concise emphasis on carefully enunciated (primary) characteristics that apply all...
The objective of this study was to determine the effect body somatotype on standing balance in girls with adolescent idiopathic scoliosis (AIS) who are under observation but not wearing a brace.In all, 74 participated form able-bodied (n = 36) and AIS 38) groups, having an average age 13 yrs. Quiet tested using force platform. Afterward, subjects each group were divided according their dominant somatotype, namely endomorphs (fatness), mesomorphs (muscular), or endomorphic ectomorphs...
Background. Botulinum toxin (BTX) injection into rectus femoris (RF) is a therapeutic modality used to improve knee flexion during the swing phase of gait in hemiparesis. The impact this treatment on lower limb coordination unknown. authors evaluated whether BTX RF associated with modifications intersegmental Methods. 10 control and 14 hemiparetic subjects low peak inappropriate activity mid-swing, using 3-dimensional analysis before 1 month after (Botox, 200 units). Thigh—shank was measured...
Model-driven engineering (MDE) often features quality assurance (QA) techniques to help developers creating software that meets reliability, efficiency, and safety requirements. In this paper, we consider the question of how quality-aware MDE should support data-intensive systems. This is a difficult challenge, since existing models QA largely ignore properties data such as volumes, velocities, or location. Furthermore, requires ability characterize behavior technologies Hadoop/MapReduce,...
Model-driven engineering (MDE) often features quality assurance (QA) techniques to help developers creating software that meets reliability, efficiency, and safety requirements. In this paper, we consider the question of how quality-aware MDE should support data-intensive systems. This is a difficult challenge, since existing models QA largely ignore properties data such as volumes, velocities, or location. Furthermore, requires ability characterize behavior technologies Hadoop/MapReduce,...
The imposing mass of the trunk in relation to whole body has an important impact on human motion. objective this study is determine influence trunk's natural inclination--forward (FW) or backward (BW) with respect vertical--on kinematics and stance limb kinetics during gait initiation.Twenty-five healthy males were divided based their inclination (FW BW) initiation. Instantaneous speed was calculated at center first heel strike. antero-posterior impulse by integrating ground reaction force...
During maximal contractions, the sum of forces exerted by homonymous muscles unilaterally is typically higher than same bilaterally. However, underlying mechanism(s) this phenomenon, which known as bilateral strength deficit, remain equivocal. One potential factor that has received minimal attention contribution body adjustments to and unilateral force production. The purpose study was evaluate plantar-flexors in an innovative dynamometer permitted influence torque from be adapted....
This paper introduces MOCAS (model of components for adaptive systems), a generic state-based component model which enables the self-adaptation software together with their coordination. relies on behavioral adaptation instead structural and uses United Modeling Language (UML). Each embeds UML state machine to realize its behavior at runtime. It is installed in container managing process ensuring consistency. Adaptation triggered when invariants related business properties are violated. The...
Software testing faces up several challenges. One out of these is the opposition between time-to-market software delivery and excessive length activities. The latter results from growth application complexity along with diversity handheld devices. economical competition, branding impose zero-defect products, putting forward as an even more crucial activity. In this paper, we describe a Domain-Specific Modeling Language (DSML) built upon industrial platform (a test bed) which aims to automate...
Presents an approach based on the concept of "use case" to support requirements engineering process. The proposed assists analyst in producing dynamic object-oriented specifications. is "domain expert-oriented" sense that domain expert can actively participate during acquisition activity by identifying and describing use cases. A formal technique using Petri nets also order make expert's as complete unambiguous possible. During conceptualization activity, explanation how some parts...