Jove
Visualize
Contact Us
JoVE
x logofacebook logolinkedin logoyoutube logo
ABOUT JoVE
OverviewLeadershipBlogJoVE Help Center
AUTHORS
Publishing ProcessEditorial BoardScope & PoliciesPeer ReviewFAQSubmit
LIBRARIANS
TestimonialsSubscriptionsAccessResourcesLibrary Advisory BoardFAQ
RESEARCH
JoVE JournalMethods CollectionsJoVE Encyclopedia of ExperimentsArchive
EDUCATION
JoVE CoreJoVE BusinessJoVE Science EducationJoVE Lab ManualFaculty Resource CenterFaculty Site
Terms & Conditions of Use
Privacy Policy
Policies

Related Concept Videos

Mismatch Repair01:36

Mismatch Repair

40.5K
Overview
40.5K
Fixing Double-strand Breaks02:04

Fixing Double-strand Breaks

12.7K
The double-stranded structure of DNA has two major advantages. First, it serves as a safe repository of genetic information where one strand serves as the back-up in case the other strand is damaged. Second, the double-helical structure can be wrapped around proteins called histones to form nucleosomes, which can then be tightly wound to form chromosomes. This way, DNA chains up to 2 inches long can be contained within microscopic structures in a cell. A double-stranded break not only damages...
12.7K
Mechanistic Models: Compartment Models in Algorithms for Numerical Problem Solving01:29

Mechanistic Models: Compartment Models in Algorithms for Numerical Problem Solving

88
Mechanistic models play a crucial role in algorithms for numerical problem-solving, particularly in nonlinear mixed effects modeling (NMEM). These models aim to minimize specific objective functions by evaluating various parameter estimates, leading to the development of systematic algorithms. In some cases, linearization techniques approximate the model using linear equations.
In individual population analyses, different algorithms are employed, such as Cauchy's method, which uses a...
88
Homologous Recombination02:31

Homologous Recombination

50.8K
The basic reaction of homologous recombination (HR) involves two chromatids that contain DNA sequences sharing a significant stretch of identity. One of these sequences uses a strand from another as a template to synthesize DNA in an enzyme-catalyzed reaction. The final product is a novel amalgamation of the two substrates. To ensure an accurate recombination of sequences, HR is restricted to the S and G2 phases of the cell cycle. At these stages, the DNA has been replicated already and the...
50.8K
Clearance Models: Compartment Models01:25

Clearance Models: Compartment Models

109
Clearance measures drug elimination from the central compartment, including plasma and highly perfused organs like kidneys and liver. Its calculation varies depending on pharmacokinetic models and administration routes. The one-compartment model, for instance, portrays the pharmacokinetics of polar drugs such as aminoglycoside antibiotics administered intravenously and readily excreted in urine. In this case, clearance is influenced by the terminal rate constant (λz) and the total volume...
109
Gene Conversion02:08

Gene Conversion

9.8K
Other than maintaining genome stability via DNA repair, homologous recombination plays an important role in diversifying the genome. In fact, the recombination of sequences forms the molecular basis of genomic evolution. Random and non-random permutations of genomic sequences create a library of new amalgamated sequences. These newly formed genomes can determine the fitness and survival of cells. In bacteria, homologous and non-homologous types of recombination lead to the evolution of new...
9.8K

You might also read

Related Articles

Articles linked to this work by shared authors, journal, and citation graph.

Sort by
Same author

TIE-UP-SIN: A Method for Enhanced Identification of Protein-Protein Interactions.

Bio-protocol·2026
Same author

Corrigendum to 'Integrated genomic and proteomic analysis of the mouse-adapted <i>Staphylococcus aureus</i> strain JSNZ', Current Research in Microbial Sciences, Volume 9, 2025, 100489.

Current research in microbial sciences·2026
Same author

Requirement of ClpX for CtsR dissociation from its operator elements upon heat stress in <i>Bacillus subtilis</i>.

Frontiers in microbiology·2025
Same author

Unraveling proteomic chaos by independent component analysis-ClpX proficiency promotes the iron and oxygen limitation responses of <i>Staphylococcus aureus</i> and affects the intracellular bacterial behavior.

mSystems·2025
Same author

Free Nucleic Acids in the ChAdOx1 nCov-19-S Adenovirus Vector Vaccine Contribute to an Anti-platelet Factor 4 Antibody Response.

Thrombosis and haemostasis·2025
Same author

Integrated genomic and proteomic analysis of the mouse-adapted <i>Staphylococcus aureus</i> strain JSNZ.

Current research in microbial sciences·2025
Same journal

Formalising privacy regulations with bigraphs.

Software and systems modeling·2026
Same journal

The MDENet education platform: zero-install directed activities for learning MDE.

Software and systems modeling·2026
Same journal

Diagrammatic physical robot models.

Software and systems modeling·2025
Same journal

Extract, model, refine: improved modelling of program verification tools through data enrichment.

Software and systems modeling·2025
Same journal

Using reactive links to propagate changes across engineering models.

Software and systems modeling·2025
Same journal

What makes life for process mining analysts difficult? A reflection of challenges.

Software and systems modeling·2024
See all related articles

Related Experiment Video

Updated: Aug 8, 2025

Fracture Apparatus Design and Protocol Optimization for Closed-stabilized Fractures in Rodents
06:59

Fracture Apparatus Design and Protocol Optimization for Closed-stabilized Fractures in Rodents

Published on: August 14, 2018

13.5K

Generating repairs for inconsistent models.

Luciano Marchezan1, Roland Kretschmer1,2, Wesley K G Assunção1

  • 1Institute for Software Systems Engineering, Johannes Kepler University, Linz, Austria.

Software and Systems Modeling
|February 27, 2023
PubMed
Summary
This summary is machine-generated.

This study introduces a novel method to manage software model inconsistencies by focusing on their root cause. This approach generates targeted repair trees, significantly reducing complexity and aiding developers in selecting appropriate fixes.

Keywords:
Consistency checkingInconsistency repairModel-driven engineeringRepair generation

More Related Videos

3D Printing of Preclinical X-ray Computed Tomographic Data Sets
11:06

3D Printing of Preclinical X-ray Computed Tomographic Data Sets

Published on: March 22, 2013

40.6K
Author Spotlight: Exploring Retinal Regeneration Mechanisms in the Xenopus Frog
09:29

Author Spotlight: Exploring Retinal Regeneration Mechanisms in the Xenopus Frog

Published on: October 13, 2023

1.5K

Related Experiment Videos

Last Updated: Aug 8, 2025

Fracture Apparatus Design and Protocol Optimization for Closed-stabilized Fractures in Rodents
06:59

Fracture Apparatus Design and Protocol Optimization for Closed-stabilized Fractures in Rodents

Published on: August 14, 2018

13.5K
3D Printing of Preclinical X-ray Computed Tomographic Data Sets
11:06

3D Printing of Preclinical X-ray Computed Tomographic Data Sets

Published on: March 22, 2013

40.6K
Author Spotlight: Exploring Retinal Regeneration Mechanisms in the Xenopus Frog
09:29

Author Spotlight: Exploring Retinal Regeneration Mechanisms in the Xenopus Frog

Published on: October 13, 2023

1.5K

Area of Science:

  • Software Engineering
  • Model-Driven Engineering
  • Software Maintenance

Background:

  • Software models often contain inconsistencies that require repair.
  • The number of potential repair actions can be exponentially large, overwhelming developers.
  • Existing methods may not efficiently guide developers to the most relevant repairs.

Purpose of the Study:

  • To develop a method for generating a focused subset of repair actions for software model inconsistencies.
  • To reduce the cognitive load on developers by presenting manageable repair options.
  • To incorporate an ownership-based filtering mechanism to further refine repair suggestions.

Main Methods:

  • Focusing on the immediate cause of a software model inconsistency.
  • Generating a repair tree containing a subset of repair actions directly addressing the cause.
  • Implementing an ownership-based filter to exclude repairs on elements not owned by the developer.

Main Results:

  • The approach successfully generated repair trees with an average size of 5-9 actions per model.
  • Repair trees were generated rapidly, with an average time of 0.3 seconds, demonstrating scalability.
  • The ownership-based filtering mechanism effectively reduced the number of repair possibilities.

Conclusions:

  • The proposed method effectively addresses software model inconsistencies by focusing on their root cause.
  • The approach is both usable and scalable, significantly aiding developers in the repair process.
  • Ownership-based filtering further enhances the practicality of the repair suggestion system.