diff --git a/src/main/java/org/gecko/actions/CreatePortViewModelElementAction.java b/src/main/java/org/gecko/actions/CreatePortViewModelElementAction.java
index 21a48d28..454784e4 100644
--- a/src/main/java/org/gecko/actions/CreatePortViewModelElementAction.java
+++ b/src/main/java/org/gecko/actions/CreatePortViewModelElementAction.java
@@ -16,6 +16,7 @@ public class CreatePortViewModelElementAction extends Action {
     private final GeckoViewModel geckoViewModel;
     private final SystemViewModel systemViewModel;
     private PortViewModel createdPortViewModel;
+    private static final int MARGIN = 2;
 
     CreatePortViewModelElementAction(GeckoViewModel geckoViewModel, SystemViewModel parentSystem) {
         this.geckoViewModel = geckoViewModel;
@@ -26,7 +27,7 @@ public class CreatePortViewModelElementAction extends Action {
     boolean run() throws GeckoException {
         createdPortViewModel = geckoViewModel.getViewModelFactory().createPortViewModelIn(systemViewModel);
         double offset = createdPortViewModel.getSize().getY() * (systemViewModel.getPorts().size() - 1);
-        createdPortViewModel.setPosition(new Point2D(2, 2 + offset));
+        createdPortViewModel.setPosition(new Point2D(MARGIN, MARGIN + offset));
         return true;
     }
 
diff --git a/src/main/java/org/gecko/actions/MoveSystemConnectionViewModelElementAction.java b/src/main/java/org/gecko/actions/MoveSystemConnectionViewModelElementAction.java
index 57eef044..0d930491 100644
--- a/src/main/java/org/gecko/actions/MoveSystemConnectionViewModelElementAction.java
+++ b/src/main/java/org/gecko/actions/MoveSystemConnectionViewModelElementAction.java
@@ -30,6 +30,10 @@ public class MoveSystemConnectionViewModelElementAction extends Action {
     private boolean isVariableBlock = false;
     private boolean wasVariableBlock = false;
 
+    private static final int PLUS = 1;
+    private static final int MINUS = -1;
+    private static final double HALF = 0.5;
+
     MoveSystemConnectionViewModelElementAction(
         GeckoViewModel geckoViewModel, SystemConnectionViewModel systemConnectionViewModel,
         ElementScalerBlock elementScalerBlock, Point2D delta) {
@@ -172,9 +176,9 @@ private PortViewModel getPortViewModelAt(Point2D point) {
     }
 
     private Point2D calculateEndPortPosition(Point2D position, Point2D size, Visibility visibility, boolean isPort) {
-        int sign = isPort ? 1 : -1;
-        return position.add(size.multiply(0.5))
-            .subtract((visibility == Visibility.INPUT ? 1 : -1) * sign * size.getX() / 2, 0);
+        int sign = isPort ? PLUS : MINUS;
+        return position.add(size.multiply(HALF))
+            .subtract((visibility == Visibility.INPUT ? PLUS : MINUS) * sign * size.getX() / 2, 0);
     }
 
     private boolean isSource() {
diff --git a/src/main/java/org/gecko/actions/PastePositionableViewModelElementAction.java b/src/main/java/org/gecko/actions/PastePositionableViewModelElementAction.java
index e8bb59fa..fdafaeed 100644
--- a/src/main/java/org/gecko/actions/PastePositionableViewModelElementAction.java
+++ b/src/main/java/org/gecko/actions/PastePositionableViewModelElementAction.java
@@ -22,7 +22,7 @@
 public class PastePositionableViewModelElementAction extends Action {
     private final GeckoViewModel geckoViewModel;
     private final Set<PositionableViewModelElement<?>> pastedElements;
-    private final Point2D pasteOffset = new Point2D(50, 50);
+    private static final Point2D PASTE_OFFSET = new Point2D(50, 50);
     private CopyPositionableViewModelElementVisitor copyVisitor;
 
     PastePositionableViewModelElementAction(GeckoViewModel geckoViewModel) {
@@ -57,7 +57,7 @@ private boolean pasteSystem() {
             geckoViewModel.getCurrentEditor().getCurrentSystem().getTarget().addVariable(copy);
             copyVisitor.getCopiedPorts().put(v, copy);
             PortViewModel portViewModel = geckoViewModel.getViewModelFactory().createPortViewModelFrom(copy);
-            portViewModel.setPosition(copyVisitor.getCopiedPosAndSize().get(v).getKey().add(pasteOffset));
+            portViewModel.setPosition(copyVisitor.getCopiedPosAndSize().get(v).getKey().add(PASTE_OFFSET));
             pastedElements.add(portViewModel);
         }
         for (System s : copyVisitor.getCopiedSystems().keySet()) {
@@ -72,7 +72,7 @@ private boolean pasteSystem() {
             }
             copyVisitor.getCopiedSystems().put(s, copy);
             SystemViewModel systemViewModel = geckoViewModel.getViewModelFactory().createSystemViewModelFrom(copy);
-            systemViewModel.setPosition(copyVisitor.getCopiedPosAndSize().get(s).getKey().add(pasteOffset));
+            systemViewModel.setPosition(copyVisitor.getCopiedPosAndSize().get(s).getKey().add(PASTE_OFFSET));
             pastedElements.add(systemViewModel);
         }
         return false;
@@ -91,7 +91,7 @@ private boolean pasteAutomaton() throws MissingViewModelElementException {
             }
             copyVisitor.getCopiedStates().put(state, copy);
             StateViewModel stateViewModel = geckoViewModel.getViewModelFactory().createStateViewModelFrom(copy);
-            stateViewModel.setPosition(copyVisitor.getCopiedPosAndSize().get(state).getKey().add(pasteOffset));
+            stateViewModel.setPosition(copyVisitor.getCopiedPosAndSize().get(state).getKey().add(PASTE_OFFSET));
             stateViewModel.setSize(copyVisitor.getCopiedPosAndSize().get(state).getValue());
             pastedElements.add(stateViewModel);
         }
@@ -100,7 +100,7 @@ private boolean pasteAutomaton() throws MissingViewModelElementException {
                 geckoViewModel.getGeckoModel().getModelFactory().copyRegion(copyVisitor.getCopiedRegions().get(region));
             geckoViewModel.getCurrentEditor().getCurrentSystem().getTarget().getAutomaton().addRegion(copy);
             RegionViewModel regionViewModel = geckoViewModel.getViewModelFactory().createRegionViewModelFrom(copy);
-            regionViewModel.setPosition(copyVisitor.getCopiedPosAndSize().get(region).getKey().add(pasteOffset));
+            regionViewModel.setPosition(copyVisitor.getCopiedPosAndSize().get(region).getKey().add(PASTE_OFFSET));
             regionViewModel.setSize(copyVisitor.getCopiedPosAndSize().get(region).getValue());
             pastedElements.add(regionViewModel);
         }
diff --git a/src/main/java/org/gecko/application/GeckoIOManager.java b/src/main/java/org/gecko/application/GeckoIOManager.java
index c8d0e9b6..e12dc8e4 100644
--- a/src/main/java/org/gecko/application/GeckoIOManager.java
+++ b/src/main/java/org/gecko/application/GeckoIOManager.java
@@ -164,7 +164,7 @@ public File getSaveFileChooser(FileTypes fileType) {
     private FileChooser getNewFileChooser(FileTypes fileType) {
         FileChooser fileChooser = new FileChooser();
         fileChooser.getExtensionFilters()
-            .addAll(new FileChooser.ExtensionFilter(fileType.getFileDescription(), fileType.getFileNameRegex()));
+            .addAll(new FileChooser.ExtensionFilter(fileType.getFileDescription(), fileType.getFileNameGlob()));
         return fileChooser;
     }
 
diff --git a/src/main/java/org/gecko/application/GeckoManager.java b/src/main/java/org/gecko/application/GeckoManager.java
index f4c3aee2..c76bba80 100644
--- a/src/main/java/org/gecko/application/GeckoManager.java
+++ b/src/main/java/org/gecko/application/GeckoManager.java
@@ -14,6 +14,9 @@ public class GeckoManager {
     private Gecko gecko;
     private final Stage stage;
 
+    private static final int SCENE_WIDTH = 1024;
+    private static final int SCENE_HEIGHT = 768;
+
     public GeckoManager(Stage stage) throws ModelException {
         this.stage = stage;
         setGecko(new Gecko());
@@ -21,6 +24,6 @@ public GeckoManager(Stage stage) throws ModelException {
 
     public void setGecko(Gecko gecko) {
         this.gecko = gecko;
-        stage.setScene(new Scene(gecko.getView().getMainPane(), 1024, 768));
+        stage.setScene(new Scene(gecko.getView().getMainPane(), SCENE_WIDTH, SCENE_HEIGHT));
     }
 }
diff --git a/src/main/java/org/gecko/io/AutomatonFileSerializer.java b/src/main/java/org/gecko/io/AutomatonFileSerializer.java
index 32cf85c5..fed98e4a 100644
--- a/src/main/java/org/gecko/io/AutomatonFileSerializer.java
+++ b/src/main/java/org/gecko/io/AutomatonFileSerializer.java
@@ -33,9 +33,23 @@
  * to Gecko, such as regions, kinds and priorities, to be compatible with the sys file format.
  */
 public class AutomatonFileSerializer implements FileSerializer {
-
     private final GeckoModel model;
+
     private static final String INDENT = "    ";
+    private static final String SERIALIZED_CONTRACT_NAME_REGEX = "contract %s";
+    private static final String AUTOMATON_SERIALIZATION_AS_SYSTEM_CONTRACT_REGEX
+        = SERIALIZED_CONTRACT_NAME_REGEX + " {";
+    private static final String SERIALIZED_CONTRACT_REGEX = SERIALIZED_CONTRACT_NAME_REGEX + " := %s ==> %s";
+    private static final String SERIALIZED_TRANSITION_REGEX = "%s -> %s :: %s";
+    private static final String SERIALIZED_SYSTEM_REGEX = "reactor %s {";
+    private static final String SERIALIZED_CONNECTION_REGEX = "%s.%s -> %s.%s";
+    private static final String SERIALIZED_STATE_REGEX = "state %s: %s";
+    private static final String VARIABLE_ATTRIBUTES_REGEX = " %s: %s";
+    private static final String TRUE_CONDITION = "TRUE";
+    private static final String SERIALIZED_INPUT = "input";
+    private static final String SERIALIZED_OUTPUT = "output";
+    private static final String SERIALIZED_STATE = "state";
+    private static final int HIGHEST_PRIORITY = 0;
 
     public AutomatonFileSerializer(GeckoModel model) {
         this.model = model;
@@ -70,7 +84,7 @@ private String serializeSystems(GeckoModel model) {
     private String serializeAutomaton(System system) {
         Automaton automaton = system.getAutomaton();
         StringJoiner joiner = new StringJoiner(java.lang.System.lineSeparator());
-        joiner.add("contract %s {".formatted(system.getName()));
+        joiner.add(AUTOMATON_SERIALIZATION_AS_SYSTEM_CONTRACT_REGEX.formatted(system.getName()));
         if (!system.getVariables().isEmpty()) {
             joiner.add(serializeIo(system));
             joiner.add("");
@@ -127,10 +141,10 @@ private String serializeStateContracts(State state, Automaton automaton) {
         }
 
         //applying priorites
-        int prioIndex = 0;
+        int prioIndex = HIGHEST_PRIORITY;
         for (List<Edge> edgeGroup : groupedEdges) {
             for (Edge edge : edgeGroup) {
-                if (prioIndex == 0) {
+                if (prioIndex == HIGHEST_PRIORITY) {
                     continue; //Highest prio doesn't need to be altered
                 }
                 Contract contractWithPrio = newContracts.get(edge.getContract());
@@ -147,7 +161,7 @@ private void applyKindToContract(Contract contract, Kind kind) throws ModelExcep
         switch (kind) {
             case MISS -> {
                 contract.setPreCondition(contract.getPreCondition().not());
-                contract.setPostCondition(Condition.trueCondition());
+                contract.setPostCondition(new Condition(TRUE_CONDITION));
             }
             case FAIL -> {
                 contract.setPostCondition(contract.getPostCondition().not());
@@ -196,18 +210,18 @@ private List<Condition> andConditions(List<Region> regions) {
     }
 
     private String serializeContract(Contract contract) {
-        return INDENT + "contract %s := %s ==> %s".formatted(contract.getName(), contract.getPreCondition(),
+        return INDENT + SERIALIZED_CONTRACT_REGEX.formatted(contract.getName(), contract.getPreCondition(),
             contract.getPostCondition());
     }
 
     private String serializeTransition(Edge edge) {
-        return INDENT + "%s -> %s :: %s".formatted(edge.getSource().getName(), edge.getDestination().getName(),
-            edge.getContract().getName());
+        return INDENT + SERIALIZED_TRANSITION_REGEX
+            .formatted(edge.getSource().getName(), edge.getDestination().getName(), edge.getContract().getName());
     }
 
     private String serializeSystem(System system) {
         StringJoiner joiner = new StringJoiner(java.lang.System.lineSeparator());
-        joiner.add("reactor %s {".formatted(system.getName()));
+        joiner.add(SERIALIZED_SYSTEM_REGEX.formatted(system.getName()));
         if (!system.getVariables().isEmpty()) {
             joiner.add(serializeIo(system));
             joiner.add("");
@@ -217,7 +231,7 @@ private String serializeSystem(System system) {
             joiner.add("");
         }
         if (system.getAutomaton() != null && !system.getAutomaton().isEmpty()) {
-            joiner.add(INDENT + "contract %s".formatted(system.getName()));
+            joiner.add(INDENT + SERIALIZED_CONTRACT_NAME_REGEX.formatted(system.getName()));
             joiner.add("");
         }
         if (!system.getConnections().isEmpty()) {
@@ -241,12 +255,12 @@ private String serializeConnection(SystemConnection connection, System parent) {
         String startPort = connection.getSource().getName();
         String endSystem = serializeSystemReference(parent, connection.getDestination());
         String endPort = connection.getDestination().getName();
-        return INDENT + "%s.%s -> %s.%s".formatted(startSystem, startPort, endSystem, endPort);
+        return INDENT + SERIALIZED_CONNECTION_REGEX.formatted(startSystem, startPort, endSystem, endPort);
     }
 
     private String serializeSystemReference(System parent, Variable var) {
         if (parent.getVariables().contains(var)) {
-            return "self";
+            return AutomatonFileVisitor.SELF_REFERENCE_TOKEN;
         } else {
             return parent.getChildSystemWithVariable(var).getName();
         }
@@ -264,24 +278,24 @@ private String serializeChildren(System system) {
     }
 
     private String serializeChild(System system) {
-        return INDENT + "state %s: %s".formatted(system.getName(), system.getName());
+        return INDENT + SERIALIZED_STATE_REGEX.formatted(system.getName(), system.getName());
     }
 
     private String serializeVariable(Variable variable) {
         String output = "";
         output += INDENT + switch (variable.getVisibility()) {
-            case INPUT -> "input";
-            case OUTPUT -> "output";
-            case STATE -> "state";
+            case INPUT -> SERIALIZED_INPUT;
+            case OUTPUT -> SERIALIZED_OUTPUT;
+            case STATE -> SERIALIZED_STATE;
             default -> throw new IllegalArgumentException("Unknown visibility: " + variable.getVisibility());
         };
-        output += " %s: %s".formatted(variable.getName(), variable.getType());
+        output += VARIABLE_ATTRIBUTES_REGEX.formatted(variable.getName(), variable.getType());
         //TODO append variable value
         return output;
     }
 
     private String serializeCode(String code) {
-        return INDENT + "{=" + code + "=}";
+        return INDENT + AutomatonFileVisitor.CODE_BEGIN + code + AutomatonFileVisitor.CODE_END;
     }
 
     private <T> String serializeCollectionWithMapping(Collection<T> collection, Function<T, String> mapping) {
diff --git a/src/main/java/org/gecko/io/AutomatonFileVisitor.java b/src/main/java/org/gecko/io/AutomatonFileVisitor.java
index 1ea17c00..afe17b30 100644
--- a/src/main/java/org/gecko/io/AutomatonFileVisitor.java
+++ b/src/main/java/org/gecko/io/AutomatonFileVisitor.java
@@ -42,9 +42,12 @@ public class AutomatonFileVisitor extends SystemDefBaseVisitor<Void> {
     private AutomatonFileScout scout;
     private int elementsCreated;
 
-
     private static final String START_STATE_REGEX = "[a-z].*";
-    private static final String SELF_REFERENCE_TOKEN = "self";
+    private static final int USER_SYSTEM_CHOICE_VBOX_SPACING = 10;
+    private static final int USER_SYSTEM_CHOICE_VBOX_PADDING = 20;
+    protected static final String SELF_REFERENCE_TOKEN = "self";
+    protected static final String CODE_BEGIN = "{=";
+    protected static final String CODE_END = "=}";
 
     public AutomatonFileVisitor() throws ModelException {
         this.model = new GeckoModel();
@@ -384,8 +387,7 @@ private void applySubstitution(Condition condition, String toReplace, String toR
     }
 
     private String cleanCode(String code) {
-        //length("{=") = 2
-        return code.substring(2, code.length() - 2);
+        return code.substring(CODE_BEGIN.length(), code.length() - CODE_BEGIN.length());
     }
 
     private System parseSystemReference(String name) {
@@ -421,8 +423,8 @@ private String makeUserChooseSystem(List<String> systemNames) {
         comboBox.getItems().addAll(systemNames);
         comboBox.setPromptText("Choose a system");
 
-        VBox vBox = new VBox(10);
-        vBox.setPadding(new Insets(20));
+        VBox vBox = new VBox(USER_SYSTEM_CHOICE_VBOX_SPACING);
+        vBox.setPadding(new Insets(USER_SYSTEM_CHOICE_VBOX_PADDING));
         vBox.getChildren().add(comboBox);
 
         Alert alert = new Alert(Alert.AlertType.WARNING);
diff --git a/src/main/java/org/gecko/io/FileTypes.java b/src/main/java/org/gecko/io/FileTypes.java
index 23f063ae..66dcaf1c 100644
--- a/src/main/java/org/gecko/io/FileTypes.java
+++ b/src/main/java/org/gecko/io/FileTypes.java
@@ -18,7 +18,7 @@ public enum FileTypes {
         this.fileExtension = fileExtension;
     }
 
-    public String getFileNameRegex() {
+    public String getFileNameGlob() {
         return "*." + fileExtension;
     }
 }
diff --git a/src/main/java/org/gecko/model/Condition.java b/src/main/java/org/gecko/model/Condition.java
index 84b9ec7a..71279d36 100644
--- a/src/main/java/org/gecko/model/Condition.java
+++ b/src/main/java/org/gecko/model/Condition.java
@@ -14,6 +14,9 @@
 public class Condition {
     private String condition;
 
+    private static final String AND_CONDITION_REGEX = "(%s) & (%s)";
+    private static final String NOT_CONDITION_REGEX = "! (%s)";
+
     @JsonCreator
     public Condition(@JsonProperty("condition") String condition) throws ModelException {
         setCondition(condition);
@@ -30,7 +33,7 @@ public void setCondition(@NonNull String condition) throws ModelException {
     public Condition and(Condition other) {
         try {
             // This and other are always valid
-            return new Condition("(" + condition + ") & (" + other.condition + ")");
+            return new Condition(AND_CONDITION_REGEX.formatted(condition, other.condition));
         } catch (ModelException e) {
             return null;
         }
@@ -40,7 +43,7 @@ public Condition and(Condition other) {
     public Condition not() {
         try {
             // This is always valid
-            return new Condition("! (" + condition + ")");
+            return new Condition(NOT_CONDITION_REGEX.formatted(condition));
         } catch (ModelException e) {
             return null;
         }
diff --git a/src/main/java/org/gecko/tools/CursorTool.java b/src/main/java/org/gecko/tools/CursorTool.java
index aa730d2f..91c46b4f 100644
--- a/src/main/java/org/gecko/tools/CursorTool.java
+++ b/src/main/java/org/gecko/tools/CursorTool.java
@@ -29,9 +29,6 @@
  * the {@link Point2D starting position}  and the afferent {@link javafx.scene.shape.Rectangle}.
  */
 public class CursorTool extends Tool {
-
-    private static final double DRAG_THRESHOLD = 4;
-
     private boolean isDragging = false;
     private final SelectionManager selectionManager;
     private final EditorViewModel editorViewModel;
@@ -39,9 +36,10 @@ public class CursorTool extends Tool {
     private Point2D previousDragPosition;
     private Point2D oldPosition;
     private Point2D oldSize;
-
     private ViewElementPane viewPane;
 
+    private static final double DRAG_THRESHOLD = 4;
+
     public CursorTool(ActionManager actionManager, SelectionManager selectionManager, EditorViewModel editorViewModel) {
         super(actionManager, ToolType.CURSOR, false);
         this.selectionManager = selectionManager;
diff --git a/src/main/java/org/gecko/tools/MarqueeTool.java b/src/main/java/org/gecko/tools/MarqueeTool.java
index 269bddf3..05898efc 100644
--- a/src/main/java/org/gecko/tools/MarqueeTool.java
+++ b/src/main/java/org/gecko/tools/MarqueeTool.java
@@ -17,6 +17,9 @@
 public class MarqueeTool extends AreaTool {
     private final EditorViewModel editorViewModel;
 
+    private static final double STROKE_WIDTH = 1;
+    private static final double STROKE_DASH = 5d;
+
     public MarqueeTool(ActionManager actionManager, EditorViewModel editorViewModel) {
         super(actionManager, ToolType.MARQUEE_TOOL, true);
         this.editorViewModel = editorViewModel;
@@ -27,8 +30,8 @@ Rectangle createNewArea() {
         Rectangle marquee = new Rectangle();
         marquee.setFill(null);
         marquee.setStroke(Color.BLUE);
-        marquee.setStrokeWidth(1);
-        marquee.getStrokeDashArray().addAll(5d, 5d);
+        marquee.setStrokeWidth(STROKE_WIDTH);
+        marquee.getStrokeDashArray().addAll(STROKE_DASH, STROKE_DASH);
         return marquee;
     }
 
diff --git a/src/main/java/org/gecko/tools/RegionCreatorTool.java b/src/main/java/org/gecko/tools/RegionCreatorTool.java
index fc18a901..d0a34bdf 100644
--- a/src/main/java/org/gecko/tools/RegionCreatorTool.java
+++ b/src/main/java/org/gecko/tools/RegionCreatorTool.java
@@ -16,6 +16,8 @@
 public class RegionCreatorTool extends AreaTool {
     private Color color;
 
+    private static final double MEDIUM_OPACITY = 0.5;
+
     public RegionCreatorTool(ActionManager actionManager) {
         super(actionManager, ToolType.REGION_CREATOR, false);
     }
@@ -25,7 +27,7 @@ Rectangle createNewArea() {
         Rectangle region = new Rectangle();
         color = Color.color(Math.random(), Math.random(), Math.random());
         region.setFill(color);
-        region.setOpacity(0.5);
+        region.setOpacity(MEDIUM_OPACITY);
         return region;
     }
 
diff --git a/src/main/java/org/gecko/util/graphlayouting/Graphlayouter.java b/src/main/java/org/gecko/util/graphlayouting/Graphlayouter.java
index d955f913..f0650d3e 100644
--- a/src/main/java/org/gecko/util/graphlayouting/Graphlayouter.java
+++ b/src/main/java/org/gecko/util/graphlayouting/Graphlayouter.java
@@ -25,6 +25,8 @@ public class Graphlayouter {
     private final GeckoViewModel viewModel;
     private final ELKGraphCreator elkGraphCreator;
 
+    private static final double THIRD_OF_SYSTEM_WIDTH_DIVIDER = 3;
+
     public Graphlayouter(GeckoViewModel viewModel) {
         this.viewModel = viewModel;
         elkGraphCreator = new ELKGraphCreator(viewModel);
@@ -53,7 +55,7 @@ private void layoutGraph(ElkNode root, LayoutAlgorithms layoutAlgorithm) {
             return;
         }
         root.setProperty(CoreOptions.ALGORITHM, layoutAlgorithm.toString());
-        double spacing = root.getChildren().getFirst().getWidth() / 3;
+        double spacing = root.getChildren().getFirst().getWidth() / THIRD_OF_SYSTEM_WIDTH_DIVIDER;
         root.setProperty(CoreOptions.SPACING_NODE_NODE, spacing);
         if (layoutAlgorithm == LayoutAlgorithms.LAYERED) {
             root.setProperty(LayeredOptions.SPACING_NODE_NODE_BETWEEN_LAYERS, spacing);
diff --git a/src/main/java/org/gecko/view/contextmenu/EdgeViewElementContextMenuBuilder.java b/src/main/java/org/gecko/view/contextmenu/EdgeViewElementContextMenuBuilder.java
index 1d4a4cdd..4a09ebd3 100644
--- a/src/main/java/org/gecko/view/contextmenu/EdgeViewElementContextMenuBuilder.java
+++ b/src/main/java/org/gecko/view/contextmenu/EdgeViewElementContextMenuBuilder.java
@@ -6,7 +6,6 @@
 import javafx.scene.control.SeparatorMenuItem;
 import org.gecko.actions.ActionManager;
 import org.gecko.model.Kind;
-import org.gecko.view.ResourceHandler;
 import org.gecko.viewmodel.EdgeViewModel;
 
 /**
@@ -18,6 +17,11 @@ public class EdgeViewElementContextMenuBuilder extends ViewContextMenuBuilder {
 
     private final EdgeViewModel edgeViewModel;
 
+    private static final String CHANGE_KIND_MENU_ITEM = "Change Kind";
+    private static final String HIT_MENU_ITEM = "HIT";
+    private static final String MISS_KIND_MENU_ITEM = "MISS";
+    private static final String FAIL_KIND_MENU_ITEM = "FAIL";
+
     public EdgeViewElementContextMenuBuilder(
         ActionManager actionManager, EdgeViewModel edgeViewModel) {
         super(actionManager);
@@ -32,23 +36,23 @@ public ContextMenu build() {
         SeparatorMenuItem dataTransferToEdgeEditingSeparator = new SeparatorMenuItem();
 
         // Edge editing commands:
-        Menu changeKindMenu = new Menu(ResourceHandler.getString("Buttons", "change_kind"));
+        Menu changeKindMenu = new Menu(CHANGE_KIND_MENU_ITEM); // TODO: Synchronize fields showed in inspector.
 
-        MenuItem hitMenuItem = new MenuItem(Kind.HIT.name());
+        MenuItem hitMenuItem = new MenuItem(HIT_MENU_ITEM);
         hitMenuItem.setOnAction(
             e -> actionManager.run(actionManager.getActionFactory().createChangeKindAction(edgeViewModel, Kind.HIT)));
 
-        MenuItem missMenuItem = new MenuItem(Kind.MISS.name());
+        MenuItem missMenuItem = new MenuItem(MISS_KIND_MENU_ITEM);
         missMenuItem.setOnAction(
             e -> actionManager.run(actionManager.getActionFactory().createChangeKindAction(edgeViewModel, Kind.MISS)));
 
-        MenuItem failMenuItem = new MenuItem(Kind.FAIL.name());
+        MenuItem failMenuItem = new MenuItem(FAIL_KIND_MENU_ITEM);
         failMenuItem.setOnAction(
             e -> actionManager.run(actionManager.getActionFactory().createChangeKindAction(edgeViewModel, Kind.FAIL)));
 
         changeKindMenu.getItems().addAll(hitMenuItem, missMenuItem, failMenuItem);
 
-        MenuItem deleteMenuItem = new MenuItem(ResourceHandler.getString("Buttons", "delete"));
+        MenuItem deleteMenuItem = new MenuItem(DELETE_MENU_ITEM);
         deleteMenuItem.setOnAction(e -> actionManager.run(
             actionManager.getActionFactory().createDeletePositionableViewModelElementAction(edgeViewModel)));
 
diff --git a/src/main/java/org/gecko/view/contextmenu/RegionViewElementContextMenuBuilder.java b/src/main/java/org/gecko/view/contextmenu/RegionViewElementContextMenuBuilder.java
index bdbe6373..7e256a16 100644
--- a/src/main/java/org/gecko/view/contextmenu/RegionViewElementContextMenuBuilder.java
+++ b/src/main/java/org/gecko/view/contextmenu/RegionViewElementContextMenuBuilder.java
@@ -4,7 +4,6 @@
 import javafx.scene.control.MenuItem;
 import javafx.scene.control.SeparatorMenuItem;
 import org.gecko.actions.ActionManager;
-import org.gecko.view.ResourceHandler;
 import org.gecko.viewmodel.RegionViewModel;
 
 /**
@@ -30,7 +29,7 @@ public ContextMenu build() {
         SeparatorMenuItem dataTransferToRegionEditingSeparator = new SeparatorMenuItem();
 
         // Region editing commands:
-        MenuItem deleteMenuItem = new MenuItem(ResourceHandler.getString("Buttons", "delete"));
+        MenuItem deleteMenuItem = new MenuItem(DELETE_MENU_ITEM);
         deleteMenuItem.setOnAction(e -> actionManager.run(
             actionManager.getActionFactory().createDeletePositionableViewModelElementAction(regionViewModel)));
 
diff --git a/src/main/java/org/gecko/view/contextmenu/StateViewElementContextMenuBuilder.java b/src/main/java/org/gecko/view/contextmenu/StateViewElementContextMenuBuilder.java
index 5fe8f523..fb6544b6 100644
--- a/src/main/java/org/gecko/view/contextmenu/StateViewElementContextMenuBuilder.java
+++ b/src/main/java/org/gecko/view/contextmenu/StateViewElementContextMenuBuilder.java
@@ -4,7 +4,6 @@
 import javafx.scene.control.MenuItem;
 import javafx.scene.control.SeparatorMenuItem;
 import org.gecko.actions.ActionManager;
-import org.gecko.view.ResourceHandler;
 import org.gecko.viewmodel.StateViewModel;
 
 /**
@@ -16,6 +15,8 @@ public class StateViewElementContextMenuBuilder extends ViewContextMenuBuilder {
 
     private final StateViewModel stateViewModel;
 
+    private static final String START_STATE_MENU_ITEM = "Start State";
+
     public StateViewElementContextMenuBuilder(
         ActionManager actionManager, StateViewModel stateViewModel) {
         super(actionManager);
@@ -29,12 +30,12 @@ public ContextMenu build() {
         SeparatorMenuItem dataTransferToStateEditingSeparator = new SeparatorMenuItem();
 
         // State editing commands:
-        MenuItem startStateMenuItem = new MenuItem(ResourceHandler.getString("Buttons", "set_start_state"));
+        MenuItem startStateMenuItem = new MenuItem(START_STATE_MENU_ITEM);
         startStateMenuItem.setDisable(stateViewModel.getIsStartState());
         startStateMenuItem.setOnAction(e -> actionManager.run(
             actionManager.getActionFactory().createSetStartStateViewModelElementAction(stateViewModel)));
 
-        MenuItem deleteMenuItem = new MenuItem(ResourceHandler.getString("Buttons", "delete"));
+        MenuItem deleteMenuItem = new MenuItem(DELETE_MENU_ITEM);
         deleteMenuItem.setOnAction(e -> actionManager.run(
             actionManager.getActionFactory().createDeletePositionableViewModelElementAction(stateViewModel)));
 
diff --git a/src/main/java/org/gecko/view/contextmenu/SystemConnectionViewElementContextMenuBuilder.java b/src/main/java/org/gecko/view/contextmenu/SystemConnectionViewElementContextMenuBuilder.java
index 6bd236c0..f6960bca 100644
--- a/src/main/java/org/gecko/view/contextmenu/SystemConnectionViewElementContextMenuBuilder.java
+++ b/src/main/java/org/gecko/view/contextmenu/SystemConnectionViewElementContextMenuBuilder.java
@@ -4,7 +4,6 @@
 import javafx.scene.control.MenuItem;
 import javafx.scene.control.SeparatorMenuItem;
 import org.gecko.actions.ActionManager;
-import org.gecko.view.ResourceHandler;
 import org.gecko.viewmodel.SystemConnectionViewModel;
 
 /**
@@ -30,7 +29,7 @@ public ContextMenu build() {
         SeparatorMenuItem dataTransferToEdgeEditingSeparator = new SeparatorMenuItem();
 
         // SystemConnection editing commands:
-        MenuItem deleteMenuItem = new MenuItem(ResourceHandler.getString("Buttons", "delete"));
+        MenuItem deleteMenuItem = new MenuItem(DELETE_MENU_ITEM);
         deleteMenuItem.setOnAction(e -> actionManager.run(actionManager.getActionFactory()
             .createDeletePositionableViewModelElementAction(systemConnectionViewModel)));
 
diff --git a/src/main/java/org/gecko/view/contextmenu/SystemViewElementContextMenuBuilder.java b/src/main/java/org/gecko/view/contextmenu/SystemViewElementContextMenuBuilder.java
index 9c011a2b..9ca5c3b4 100644
--- a/src/main/java/org/gecko/view/contextmenu/SystemViewElementContextMenuBuilder.java
+++ b/src/main/java/org/gecko/view/contextmenu/SystemViewElementContextMenuBuilder.java
@@ -4,7 +4,6 @@
 import javafx.scene.control.MenuItem;
 import javafx.scene.control.SeparatorMenuItem;
 import org.gecko.actions.ActionManager;
-import org.gecko.view.ResourceHandler;
 import org.gecko.view.views.shortcuts.Shortcuts;
 import org.gecko.viewmodel.SystemViewModel;
 
@@ -17,6 +16,8 @@ public class SystemViewElementContextMenuBuilder extends ViewContextMenuBuilder
 
     private final SystemViewModel systemViewModel;
 
+    private static final String OPEN_SYSTEM_MENU_ITEM = "Open System";
+
     public SystemViewElementContextMenuBuilder(
         ActionManager actionManager, SystemViewModel systemViewModel) {
         super(actionManager);
@@ -31,12 +32,12 @@ public ContextMenu build() {
         SeparatorMenuItem dataTransferToSystemAccessSeparator = new SeparatorMenuItem();
 
         // Access system commands:
-        MenuItem openSystemMenuItem = new MenuItem(ResourceHandler.getString("Buttons", "open_system"));
+        MenuItem openSystemMenuItem = new MenuItem(OPEN_SYSTEM_MENU_ITEM);
         openSystemMenuItem.setOnAction(
             e -> actionManager.run(actionManager.getActionFactory().createViewSwitchAction(systemViewModel, false)));
         openSystemMenuItem.setAccelerator(Shortcuts.OPEN_CHILD_SYSTEM_EDITOR.get());
 
-        MenuItem deleteMenuItem = new MenuItem(ResourceHandler.getString("Buttons", "delete"));
+        MenuItem deleteMenuItem = new MenuItem(DELETE_MENU_ITEM);
         deleteMenuItem.setOnAction(e -> actionManager.run(
             actionManager.getActionFactory().createDeletePositionableViewModelElementAction(systemViewModel)));
 
diff --git a/src/main/java/org/gecko/view/contextmenu/VariableBlockViewElementContextMenuBuilder.java b/src/main/java/org/gecko/view/contextmenu/VariableBlockViewElementContextMenuBuilder.java
index 4daaff47..f3d7732c 100644
--- a/src/main/java/org/gecko/view/contextmenu/VariableBlockViewElementContextMenuBuilder.java
+++ b/src/main/java/org/gecko/view/contextmenu/VariableBlockViewElementContextMenuBuilder.java
@@ -4,7 +4,6 @@
 import javafx.scene.control.MenuItem;
 import javafx.scene.control.SeparatorMenuItem;
 import org.gecko.actions.ActionManager;
-import org.gecko.view.ResourceHandler;
 import org.gecko.viewmodel.PortViewModel;
 
 /**
@@ -28,7 +27,8 @@ public ContextMenu build() {
 
         SeparatorMenuItem dataTransferToVariableBlockEditingSeparator = new SeparatorMenuItem();
 
-        MenuItem deleteMenuItem = new MenuItem(ResourceHandler.getString("Buttons", "delete"));
+        // Variable Block editing commands:
+        MenuItem deleteMenuItem = new MenuItem(DELETE_MENU_ITEM);
         deleteMenuItem.setOnAction(e -> actionManager.run(
             actionManager.getActionFactory().createDeletePositionableViewModelElementAction(portViewModel)));
 
diff --git a/src/main/java/org/gecko/view/contextmenu/ViewContextMenuBuilder.java b/src/main/java/org/gecko/view/contextmenu/ViewContextMenuBuilder.java
index 2d3696a1..2c395906 100644
--- a/src/main/java/org/gecko/view/contextmenu/ViewContextMenuBuilder.java
+++ b/src/main/java/org/gecko/view/contextmenu/ViewContextMenuBuilder.java
@@ -7,7 +7,6 @@
 import lombok.Getter;
 import lombok.Setter;
 import org.gecko.actions.ActionManager;
-import org.gecko.view.ResourceHandler;
 import org.gecko.view.views.shortcuts.Shortcuts;
 import org.gecko.viewmodel.EditorViewModel;
 
@@ -23,6 +22,13 @@ public class ViewContextMenuBuilder {
     @Getter
     protected ContextMenu contextMenu;
 
+    protected static final String DELETE_MENU_ITEM = "Delete";
+    private static final String CUT_MENU_ITEM = "Cut";
+    private static final String COPY_MENU_ITEM = "Copy";
+    private static final String PASTE_MENU_ITEM = "Paste";
+    private static final String SELECT_ALL_MENU_ITEM = "Select All";
+    private static final String DESELECT_ALL_MENU_ITEM = "Deselect All";
+
     public ViewContextMenuBuilder(ActionManager actionManager) {
         this.actionManager = actionManager;
         this.editorViewModel = null;
@@ -37,7 +43,7 @@ public ContextMenu build() {
         ContextMenu contextMenu = new ContextMenu();
 
         // Data transfer commands:
-        MenuItem cutMenuItem = new MenuItem(ResourceHandler.getString("Buttons", "cut"));
+        MenuItem cutMenuItem = new MenuItem(CUT_MENU_ITEM);
         cutMenuItem.setOnAction(e -> {
             actionManager.run(actionManager.getActionFactory().createCopyPositionableViewModelElementAction());
             actionManager.run(actionManager.getActionFactory().createDeletePositionableViewModelElementAction());
@@ -50,7 +56,7 @@ public ContextMenu build() {
                     editorViewModel.getSelectionManager().getCurrentSelectionProperty()));
         }
 
-        MenuItem copyMenuItem = new MenuItem(ResourceHandler.getString("Buttons", "copy"));
+        MenuItem copyMenuItem = new MenuItem(COPY_MENU_ITEM);
         copyMenuItem.setOnAction(
             e -> actionManager.run(actionManager.getActionFactory().createCopyPositionableViewModelElementAction()));
         copyMenuItem.setAccelerator(Shortcuts.COPY.get());
@@ -61,7 +67,7 @@ public ContextMenu build() {
                     editorViewModel.getSelectionManager().getCurrentSelectionProperty()));
         }
 
-        MenuItem pasteMenuItem = new MenuItem(ResourceHandler.getString("Buttons", "paste"));
+        MenuItem pasteMenuItem = new MenuItem(PASTE_MENU_ITEM);
         pasteMenuItem.setOnAction(
             e -> actionManager.run(actionManager.getActionFactory().createPastePositionableViewModelElementAction()));
         pasteMenuItem.setAccelerator(Shortcuts.PASTE.get());
@@ -69,7 +75,7 @@ public ContextMenu build() {
         SeparatorMenuItem separatorMenuItem = new SeparatorMenuItem();
         separatorMenuItem.setText("");
 
-        MenuItem selectMenuItem = new MenuItem(ResourceHandler.getString("Buttons", "select_all"));
+        MenuItem selectMenuItem = new MenuItem(SELECT_ALL_MENU_ITEM);
         selectMenuItem.setOnAction(e -> actionManager.run(actionManager.getActionFactory()
             .createSelectAction(editorViewModel.getPositionableViewModelElements(), true)));
         selectMenuItem.setAccelerator(Shortcuts.SELECT_ALL.get());
@@ -80,7 +86,7 @@ public ContextMenu build() {
                     editorViewModel.getContainedPositionableViewModelElementsProperty()));
         }
 
-        MenuItem deselectMenuItem = new MenuItem(ResourceHandler.getString("Buttons", "deselect_all"));
+        MenuItem deselectMenuItem = new MenuItem(DESELECT_ALL_MENU_ITEM);
         deselectMenuItem.setOnAction(e -> actionManager.run(actionManager.getActionFactory().createDeselectAction()));
         deselectMenuItem.setAccelerator(Shortcuts.DESELECT_ALL.get());
         if (editorViewModel != null) {
diff --git a/src/main/java/org/gecko/view/inspector/Inspector.java b/src/main/java/org/gecko/view/inspector/Inspector.java
index 70a8b39d..2fe6bf46 100644
--- a/src/main/java/org/gecko/view/inspector/Inspector.java
+++ b/src/main/java/org/gecko/view/inspector/Inspector.java
@@ -20,6 +20,7 @@
 public class Inspector extends ScrollPane {
 
     private static final int INSPECTOR_ELEMENT_SPACING = 10;
+    private static final double INSPECTOR_ELEMENT_PADDING = INSPECTOR_ELEMENT_SPACING / 2.0;
     private static final int INSPECTOR_WIDTH = 320;
     private static final String INSPECTOR_STYLE_NAME = "inspector";
 
@@ -45,7 +46,7 @@ public Inspector(
         for (InspectorElement<?> element : elements) {
             vBox.getChildren().add(element.getControl());
         }
-        setPadding(new Insets(INSPECTOR_ELEMENT_SPACING / 2.0));
+        setPadding(new Insets(INSPECTOR_ELEMENT_PADDING));
         vBox.setSpacing(INSPECTOR_ELEMENT_SPACING);
         getStyleClass().add(INSPECTOR_STYLE_NAME);
         setContent(vBox);
diff --git a/src/main/java/org/gecko/view/inspector/builder/AbstractInspectorBuilder.java b/src/main/java/org/gecko/view/inspector/builder/AbstractInspectorBuilder.java
index a30e80fd..33e51959 100644
--- a/src/main/java/org/gecko/view/inspector/builder/AbstractInspectorBuilder.java
+++ b/src/main/java/org/gecko/view/inspector/builder/AbstractInspectorBuilder.java
@@ -24,6 +24,8 @@ public abstract class AbstractInspectorBuilder<T extends PositionableViewModelEl
     private final ActionManager actionManager;
     private final List<InspectorElement<?>> inspectorElements;
 
+    public static final String INSPECTOR = "Inspector";
+
     protected AbstractInspectorBuilder(ActionManager actionManager, T viewModel) {
         this.actionManager = actionManager;
         this.viewModel = viewModel;
diff --git a/src/main/java/org/gecko/view/inspector/builder/AutomatonVariablePaneBuilder.java b/src/main/java/org/gecko/view/inspector/builder/AutomatonVariablePaneBuilder.java
index 39fb1bf0..9ada2066 100644
--- a/src/main/java/org/gecko/view/inspector/builder/AutomatonVariablePaneBuilder.java
+++ b/src/main/java/org/gecko/view/inspector/builder/AutomatonVariablePaneBuilder.java
@@ -18,6 +18,7 @@ public class AutomatonVariablePaneBuilder {
     private static final int VARIABLE_PANE_WIDTH = 320;
     private static final int VARIABLE_PANE_HEIGHT = 240;
     private static final int ELEMENT_SPACING = 10;
+    private static final double ELEMENT_PADDING = ELEMENT_SPACING / 2.0;
 
     private final ScrollPane scrollPane;
 
@@ -42,7 +43,7 @@ public AutomatonVariablePaneBuilder(ActionManager actionManager, SystemViewModel
             .addAll(inputLabel.getControl(), inputList.getControl(), outputLabel.getControl(), outputList.getControl());
         content.setSpacing(ELEMENT_SPACING);
         scrollPane.setFitToWidth(true);
-        scrollPane.setPadding(new Insets(ELEMENT_SPACING / 2.0));
+        scrollPane.setPadding(new Insets(ELEMENT_PADDING));
         scrollPane.setContent(content);
     }
 
diff --git a/src/main/java/org/gecko/view/inspector/builder/EdgeInspectorBuilder.java b/src/main/java/org/gecko/view/inspector/builder/EdgeInspectorBuilder.java
index 792c3596..59abc442 100644
--- a/src/main/java/org/gecko/view/inspector/builder/EdgeInspectorBuilder.java
+++ b/src/main/java/org/gecko/view/inspector/builder/EdgeInspectorBuilder.java
@@ -19,6 +19,9 @@
  * {@link InspectorContractComboBox}.
  */
 public class EdgeInspectorBuilder extends AbstractInspectorBuilder<EdgeViewModel> {
+    private static final String SOURCE_KEY = "source";
+    private static final String TARGET_KEY = "source";
+    private static final String CONTRACTS_KEY = "contract_plural";
 
     public EdgeInspectorBuilder(ActionManager actionManager, EdgeViewModel viewModel) {
         super(actionManager, viewModel);
@@ -29,9 +32,9 @@ public EdgeInspectorBuilder(ActionManager actionManager, EdgeViewModel viewModel
 
         // Connected states
         addInspectorElement(new InspectorEdgeStateLabel(actionManager, viewModel.getSource(),
-            ResourceHandler.getString("Inspector", "source")));
+            ResourceHandler.getString(INSPECTOR, SOURCE_KEY)));
         addInspectorElement(new InspectorEdgeStateLabel(actionManager, viewModel.getDestination(),
-            ResourceHandler.getString("Inspector", "target")));
+            ResourceHandler.getString(INSPECTOR, TARGET_KEY)));
         addInspectorElement(new InspectorSeparator());
 
         // Priority
@@ -39,7 +42,7 @@ public EdgeInspectorBuilder(ActionManager actionManager, EdgeViewModel viewModel
         addInspectorElement(new InspectorSeparator());
 
         // Contracts
-        addInspectorElement(new InspectorLabel(ResourceHandler.getString("Inspector", "contract_plural")));
+        addInspectorElement(new InspectorLabel(ResourceHandler.getString(INSPECTOR, CONTRACTS_KEY)));
         addInspectorElement(new InspectorContractComboBox(actionManager, viewModel));
     }
 }
diff --git a/src/main/java/org/gecko/view/inspector/builder/RegionInspectorBuilder.java b/src/main/java/org/gecko/view/inspector/builder/RegionInspectorBuilder.java
index 92bc0de2..8f414e49 100644
--- a/src/main/java/org/gecko/view/inspector/builder/RegionInspectorBuilder.java
+++ b/src/main/java/org/gecko/view/inspector/builder/RegionInspectorBuilder.java
@@ -16,6 +16,7 @@
  * {@link InspectorContractItem}.
  */
 public class RegionInspectorBuilder extends AbstractInspectorBuilder<RegionViewModel> {
+    private static final String CONTRACT_KEY = "contract";
 
     public RegionInspectorBuilder(ActionManager actionManager, RegionViewModel viewModel) {
         super(actionManager, viewModel);
@@ -25,7 +26,7 @@ public RegionInspectorBuilder(ActionManager actionManager, RegionViewModel viewM
         addInspectorElement(new InspectorSeparator());
 
         // Contracts
-        addInspectorElement(new InspectorLabel(ResourceHandler.getString("Inspector", "contract")));
+        addInspectorElement(new InspectorLabel(ResourceHandler.getString(INSPECTOR, CONTRACT_KEY)));
         addInspectorElement(new InspectorContractItem(actionManager, viewModel));
     }
 }
diff --git a/src/main/java/org/gecko/view/inspector/builder/StateInspectorBuilder.java b/src/main/java/org/gecko/view/inspector/builder/StateInspectorBuilder.java
index 5802b071..f4d51865 100644
--- a/src/main/java/org/gecko/view/inspector/builder/StateInspectorBuilder.java
+++ b/src/main/java/org/gecko/view/inspector/builder/StateInspectorBuilder.java
@@ -2,7 +2,6 @@
 
 import javafx.collections.ObservableList;
 import org.gecko.actions.ActionManager;
-import org.gecko.view.ResourceHandler;
 import org.gecko.view.inspector.element.InspectorSeparator;
 import org.gecko.view.inspector.element.button.InspectorSetStartStateButton;
 import org.gecko.view.inspector.element.container.InspectorContractLabel;
@@ -22,13 +21,14 @@
  * {@link InspectorContractList}.
  */
 public class StateInspectorBuilder extends AbstractInspectorBuilder<StateViewModel> {
+    private static final String REGIONS = "Regions";
 
     public StateInspectorBuilder(
         ActionManager actionManager, EditorViewModel editorViewModel, StateViewModel viewModel) {
         super(actionManager, viewModel);
 
         // Region label
-        addInspectorElement(new InspectorLabel(ResourceHandler.getString("Inspector", "region_plural")));
+        addInspectorElement(new InspectorLabel(REGIONS));
         ObservableList<RegionViewModel> regionViewModelList = editorViewModel.getRegionViewModels(viewModel);
         addInspectorElement(new InspectorRegionList(regionViewModelList));
 
diff --git a/src/main/java/org/gecko/view/inspector/element/InspectorElement.java b/src/main/java/org/gecko/view/inspector/element/InspectorElement.java
index 69a53100..a29ba08a 100644
--- a/src/main/java/org/gecko/view/inspector/element/InspectorElement.java
+++ b/src/main/java/org/gecko/view/inspector/element/InspectorElement.java
@@ -9,4 +9,6 @@
  */
 public interface InspectorElement<T extends Node> {
     T getControl();
+
+    int FIELD_OFFSET = 50;
 }
diff --git a/src/main/java/org/gecko/view/inspector/element/button/AbstractInspectorButton.java b/src/main/java/org/gecko/view/inspector/element/button/AbstractInspectorButton.java
index 4d17efb0..587ce0ef 100644
--- a/src/main/java/org/gecko/view/inspector/element/button/AbstractInspectorButton.java
+++ b/src/main/java/org/gecko/view/inspector/element/button/AbstractInspectorButton.java
@@ -8,6 +8,7 @@
  */
 public abstract class AbstractInspectorButton extends Button implements InspectorElement<Button> {
     private static final String ICON_STYLE_NAME = "inspector-button";
+    protected static final String BUTTONS = "Buttons";
     private static final int DEFAULT_SIZE = 24;
 
     protected AbstractInspectorButton() {
diff --git a/src/main/java/org/gecko/view/inspector/element/button/InspectorAddContractButton.java b/src/main/java/org/gecko/view/inspector/element/button/InspectorAddContractButton.java
index bc9e79d5..b1d223ab 100644
--- a/src/main/java/org/gecko/view/inspector/element/button/InspectorAddContractButton.java
+++ b/src/main/java/org/gecko/view/inspector/element/button/InspectorAddContractButton.java
@@ -1,6 +1,5 @@
 package org.gecko.view.inspector.element.button;
 
-import javafx.scene.control.Tooltip;
 import org.gecko.actions.ActionManager;
 import org.gecko.view.ResourceHandler;
 import org.gecko.viewmodel.StateViewModel;
@@ -12,11 +11,11 @@
 public class InspectorAddContractButton extends AbstractInspectorButton {
     private static final String STYLE = "inspector-add-button";
     private static final int WIDTH = 70;
+    private static final String ADD_CONTRACT_BUTTON_KEY = "inspector_add_contract";
 
     public InspectorAddContractButton(ActionManager actionManager, StateViewModel stateViewModel) {
         getStyleClass().add(STYLE);
-        setText(ResourceHandler.getString("Buttons", "inspector_add_contract"));
-        setTooltip(new Tooltip(ResourceHandler.getString("Tooltips", "inspector_add_contract")));
+        setText(ResourceHandler.getString(BUTTONS, ADD_CONTRACT_BUTTON_KEY));
         setPrefWidth(WIDTH);
         setOnAction(event -> {
             actionManager.run(
diff --git a/src/main/java/org/gecko/view/inspector/element/button/InspectorAddVariableButton.java b/src/main/java/org/gecko/view/inspector/element/button/InspectorAddVariableButton.java
index af6b1cfd..296f2bab 100644
--- a/src/main/java/org/gecko/view/inspector/element/button/InspectorAddVariableButton.java
+++ b/src/main/java/org/gecko/view/inspector/element/button/InspectorAddVariableButton.java
@@ -1,6 +1,5 @@
 package org.gecko.view.inspector.element.button;
 
-import javafx.scene.control.Tooltip;
 import org.gecko.actions.ActionManager;
 import org.gecko.model.Visibility;
 import org.gecko.view.ResourceHandler;
@@ -13,13 +12,13 @@
  */
 public class InspectorAddVariableButton extends AbstractInspectorButton {
     private static final String STYLE = "inspector-add-button";
+    private static final String ADD_VARIABLE_BUTTON_KEY = "inspector_add_variable";
     private static final int WIDTH = 70;
 
     public InspectorAddVariableButton(
         ActionManager actionManager, SystemViewModel systemViewModel, Visibility visibility) {
         getStyleClass().add(STYLE);
-        setText(ResourceHandler.getString("Buttons", "inspector_add_variable"));
-        setTooltip(new Tooltip(ResourceHandler.getString("Tooltips", "inspector_add_variable")));
+        setText(ResourceHandler.getString(BUTTONS, ADD_VARIABLE_BUTTON_KEY));
         setPrefWidth(WIDTH);
         setOnAction(event -> {
             actionManager.run(actionManager.getActionFactory().createCreatePortViewModelElementAction(systemViewModel));
@@ -30,7 +29,7 @@ public InspectorAddVariableButton(
             try {
                 addedPort.updateTarget();
             } catch (Exception e) {
-                throw new RuntimeException("Recieved error while changeing a port's visibility");
+                throw new RuntimeException("Failed while changing a port's visibility. This should never happen.");
             }
         });
     }
diff --git a/src/main/java/org/gecko/view/inspector/element/button/InspectorDeleteButton.java b/src/main/java/org/gecko/view/inspector/element/button/InspectorDeleteButton.java
index 5dd98f94..9f25ffa3 100644
--- a/src/main/java/org/gecko/view/inspector/element/button/InspectorDeleteButton.java
+++ b/src/main/java/org/gecko/view/inspector/element/button/InspectorDeleteButton.java
@@ -12,6 +12,7 @@
 public class InspectorDeleteButton extends AbstractInspectorButton {
 
     private static final String STYLE = "inspector-delete-button";
+    private static final String DELETE_BUTTON_KEY = "inspector_delete";
     private static final int WIDTH = 300;
 
     public InspectorDeleteButton(ActionManager actionManager, PositionableViewModelElement<?> elementToRemove) {
@@ -19,11 +20,9 @@ public InspectorDeleteButton(ActionManager actionManager, PositionableViewModelE
             actionManager.run(
                 actionManager.getActionFactory().createDeletePositionableViewModelElementAction(elementToRemove));
         });
-        setText(ResourceHandler.getString("Buttons", "delete"));
-        String toolTip = "%s (%s)".formatted(ResourceHandler.getString("Tooltips", "delete"),
-            Shortcuts.DELETE.get().getDisplayText());
-        setTooltip(new Tooltip(toolTip));
+        setText(ResourceHandler.getString(BUTTONS, DELETE_BUTTON_KEY));
         setPrefWidth(WIDTH);
         getStyleClass().add(STYLE);
+        setTooltip(new Tooltip(Shortcuts.DELETE.get().getDisplayText()));
     }
 }
diff --git a/src/main/java/org/gecko/view/inspector/element/button/InspectorOpenSystemButton.java b/src/main/java/org/gecko/view/inspector/element/button/InspectorOpenSystemButton.java
index 85eee7f6..4d56b22f 100644
--- a/src/main/java/org/gecko/view/inspector/element/button/InspectorOpenSystemButton.java
+++ b/src/main/java/org/gecko/view/inspector/element/button/InspectorOpenSystemButton.java
@@ -12,16 +12,15 @@
  */
 public class InspectorOpenSystemButton extends AbstractInspectorButton {
     private static final String STYLE = "inspector-open-system-button";
+    private static final String OPEN_SYSTEM_BUTTON_KEY = "inspector_open_system";
     private static final int WIDTH = 300;
 
     public InspectorOpenSystemButton(ActionManager actionManager, SystemViewModel systemViewModel) {
         getStyleClass().add(STYLE);
-        setText(ResourceHandler.getString("Buttons", "inspector_open_system"));
-        String toolTip = "%s (%s)".formatted(ResourceHandler.getString("Tooltips", "inspector_open_system"),
-            Shortcuts.OPEN_CHILD_SYSTEM_EDITOR.get().getDisplayText());
-        setTooltip(new Tooltip(toolTip));
+        setText(ResourceHandler.getString(BUTTONS, OPEN_SYSTEM_BUTTON_KEY));
         setPrefWidth(WIDTH);
         setOnAction(event -> actionManager.run(
             actionManager.getActionFactory().createViewSwitchAction(systemViewModel, false)));
+        setTooltip(new Tooltip(Shortcuts.OPEN_CHILD_SYSTEM_EDITOR.get().getDisplayText()));
     }
 }
diff --git a/src/main/java/org/gecko/view/inspector/element/button/InspectorSetStartStateButton.java b/src/main/java/org/gecko/view/inspector/element/button/InspectorSetStartStateButton.java
index 10c62357..e519301a 100644
--- a/src/main/java/org/gecko/view/inspector/element/button/InspectorSetStartStateButton.java
+++ b/src/main/java/org/gecko/view/inspector/element/button/InspectorSetStartStateButton.java
@@ -1,7 +1,6 @@
 package org.gecko.view.inspector.element.button;
 
 import javafx.scene.control.ToggleButton;
-import javafx.scene.control.Tooltip;
 import org.gecko.actions.ActionManager;
 import org.gecko.view.ResourceHandler;
 import org.gecko.view.inspector.element.InspectorElement;
@@ -12,12 +11,12 @@
  */
 public class InspectorSetStartStateButton extends ToggleButton implements InspectorElement<ToggleButton> {
     private static final String START_STATE_STYLE = "inspector-start-state-button";
+    private static final String SET_START_STATE_BUTTON_KEY = "inspector_set_start_state";
 
     public InspectorSetStartStateButton(ActionManager actionManager, StateViewModel stateViewModel) {
         getStyleClass().add(START_STATE_STYLE);
         setMaxWidth(Double.MAX_VALUE);
-        setText(ResourceHandler.getString("Buttons", "set_start_state"));
-        setTooltip(new Tooltip(ResourceHandler.getString("Tooltips", "set_start_state")));
+        setText(ResourceHandler.getString(AbstractInspectorButton.BUTTONS, SET_START_STATE_BUTTON_KEY));
         update(stateViewModel.getIsStartState());
         stateViewModel.getIsStartStateProperty().addListener((observable, oldValue, newValue) -> {
             update(newValue);
diff --git a/src/main/java/org/gecko/view/inspector/element/container/InspectorCodeSystemContainer.java b/src/main/java/org/gecko/view/inspector/element/container/InspectorCodeSystemContainer.java
index 0ff15a03..1c6972f0 100644
--- a/src/main/java/org/gecko/view/inspector/element/container/InspectorCodeSystemContainer.java
+++ b/src/main/java/org/gecko/view/inspector/element/container/InspectorCodeSystemContainer.java
@@ -2,7 +2,6 @@
 
 import javafx.scene.layout.VBox;
 import org.gecko.actions.ActionManager;
-import org.gecko.view.ResourceHandler;
 import org.gecko.view.inspector.element.InspectorElement;
 import org.gecko.view.inspector.element.label.InspectorLabel;
 import org.gecko.view.inspector.element.textfield.InspectorAreaField;
@@ -10,15 +9,16 @@
 import org.gecko.viewmodel.SystemViewModel;
 
 public class InspectorCodeSystemContainer extends VBox implements InspectorElement<VBox> {
+    private static final String CODE_INSPECTOR_LABEL = "Code";
 
     public InspectorCodeSystemContainer(ActionManager actionManager, SystemViewModel viewModel) {
         if (!viewModel.getTarget().getChildren().isEmpty()) {
             return;
         }
 
-        getChildren().add(new InspectorLabel(ResourceHandler.getString("Inspector", "code")));
+        getChildren().add(new InspectorLabel(CODE_INSPECTOR_LABEL));
         InspectorAreaField codeField = new InspectorCodeSystemField(actionManager, viewModel);
-        codeField.prefWidthProperty().bind(widthProperty().subtract(50));
+        codeField.prefWidthProperty().bind(widthProperty().subtract(FIELD_OFFSET));
         getChildren().add(codeField);
     }
 
diff --git a/src/main/java/org/gecko/view/inspector/element/container/InspectorContractItem.java b/src/main/java/org/gecko/view/inspector/element/container/InspectorContractItem.java
index 1545a6c5..f97a9090 100644
--- a/src/main/java/org/gecko/view/inspector/element/container/InspectorContractItem.java
+++ b/src/main/java/org/gecko/view/inspector/element/container/InspectorContractItem.java
@@ -9,7 +9,9 @@
 import lombok.Getter;
 import org.gecko.actions.ActionManager;
 import org.gecko.view.ResourceHandler;
+import org.gecko.view.inspector.builder.AbstractInspectorBuilder;
 import org.gecko.view.inspector.element.InspectorElement;
+import org.gecko.view.inspector.element.button.AbstractInspectorButton;
 import org.gecko.view.inspector.element.button.InspectorCollapseContractButton;
 import org.gecko.view.inspector.element.button.InspectorRemoveContractButton;
 import org.gecko.view.inspector.element.label.InspectorLabel;
@@ -34,6 +36,11 @@
 public class InspectorContractItem extends VBox implements InspectorElement<VBox> {
     private ContractViewModel viewModel;
 
+    protected static final String PRE_CONDITION_KEY = "pre_condition";
+    protected static final String POST_CONDITION_KEY = "post_condition";
+    protected static final String INVARIANT_KEY = "invariant";
+    private static final int CONTRACT_FIELD_OFFSET = FIELD_OFFSET + 10;
+
     /**
      * Constructor for the State contract item.
      *
@@ -50,19 +57,20 @@ public InspectorContractItem(
 
         GridPane contractConditions = new GridPane();
 
-        InspectorLabel preConditionLabel = new InspectorLabel(ResourceHandler.getString("Inspector", "pre_condition"));
+        InspectorLabel preConditionLabel
+            = new InspectorLabel(ResourceHandler.getString(AbstractInspectorBuilder.INSPECTOR, PRE_CONDITION_KEY));
         InspectorAreaField preConditionField = new InspectorPreconditionField(actionManager, contractViewModel);
         contractFields.add(preConditionField);
-        preConditionField.prefWidthProperty().bind(widthProperty().subtract(50));
+        preConditionField.prefWidthProperty().bind(widthProperty().subtract(FIELD_OFFSET));
         contractConditions.add(preConditionLabel, 0, 0);
         contractConditions.add(preConditionField, 1, 0);
 
 
         InspectorLabel postConditionLabel =
-            new InspectorLabel(ResourceHandler.getString("Inspector", "post_condition"));
+            new InspectorLabel(ResourceHandler.getString(AbstractInspectorBuilder.INSPECTOR, POST_CONDITION_KEY));
         InspectorAreaField postConditionField = new InspectorPostconditionField(actionManager, contractViewModel);
         contractFields.add(postConditionField);
-        postConditionField.prefWidthProperty().bind(widthProperty().subtract(50));
+        postConditionField.prefWidthProperty().bind(widthProperty().subtract(FIELD_OFFSET));
         contractConditions.add(postConditionLabel, 0, 1);
         contractConditions.add(postConditionField, 1, 1);
         HBox contractNameBox = new HBox();
@@ -88,11 +96,11 @@ public InspectorContractItem(
     public InspectorContractItem(ActionManager actionManager, RegionViewModel regionViewModel) {
 
         GridPane regionConditions = new GridPane();
-        addContractItem(ResourceHandler.getString("Inspector", "pre_condition"),
+        addContractItem(ResourceHandler.getString(AbstractInspectorBuilder.INSPECTOR, PRE_CONDITION_KEY),
             new InspectorPreconditionField(actionManager, regionViewModel.getContract()), 0, regionConditions);
-        addContractItem(ResourceHandler.getString("Inspector", "post_condition"),
+        addContractItem(ResourceHandler.getString(AbstractInspectorBuilder.INSPECTOR, POST_CONDITION_KEY),
             new InspectorPostconditionField(actionManager, regionViewModel.getContract()), 1, regionConditions);
-        addContractItem(ResourceHandler.getString("Inspector", "invariant"),
+        addContractItem(ResourceHandler.getString(AbstractInspectorBuilder.INSPECTOR, INVARIANT_KEY),
             new InspectorInvariantField(actionManager, regionViewModel), 2, regionConditions);
 
         // Build the contract item
@@ -101,7 +109,7 @@ public InspectorContractItem(ActionManager actionManager, RegionViewModel region
 
     private void addContractItem(String label, InspectorAreaField field, int row, GridPane gridPane) {
         gridPane.add(new InspectorLabel(label), 0, row);
-        field.prefWidthProperty().bind(widthProperty().subtract(60));
+        field.prefWidthProperty().bind(widthProperty().subtract(CONTRACT_FIELD_OFFSET));
         gridPane.add(field, 1, row);
     }
 
diff --git a/src/main/java/org/gecko/view/inspector/element/container/InspectorContractLabel.java b/src/main/java/org/gecko/view/inspector/element/container/InspectorContractLabel.java
index d8f8ba77..fe47fa94 100644
--- a/src/main/java/org/gecko/view/inspector/element/container/InspectorContractLabel.java
+++ b/src/main/java/org/gecko/view/inspector/element/container/InspectorContractLabel.java
@@ -2,6 +2,7 @@
 
 import org.gecko.actions.ActionManager;
 import org.gecko.view.ResourceHandler;
+import org.gecko.view.inspector.builder.AbstractInspectorBuilder;
 import org.gecko.view.inspector.element.button.InspectorAddContractButton;
 import org.gecko.view.inspector.element.label.InspectorLabel;
 import org.gecko.viewmodel.StateViewModel;
@@ -11,9 +12,10 @@
  * {@link InspectorAddContractButton}.
  */
 public class InspectorContractLabel extends LabeledInspectorElement {
+    private static final String CONTRACTS_KEY = "contract_plural";
 
     public InspectorContractLabel(ActionManager actionManager, StateViewModel viewModel) {
-        super(new InspectorLabel(ResourceHandler.getString("Inspector", "contract_plural")),
+        super(new InspectorLabel(ResourceHandler.getString(AbstractInspectorBuilder.INSPECTOR, CONTRACTS_KEY)),
             new InspectorAddContractButton(actionManager, viewModel));
     }
 }
diff --git a/src/main/java/org/gecko/view/inspector/element/container/InspectorKindPicker.java b/src/main/java/org/gecko/view/inspector/element/container/InspectorKindPicker.java
index cf70fc48..36ef0d9c 100644
--- a/src/main/java/org/gecko/view/inspector/element/container/InspectorKindPicker.java
+++ b/src/main/java/org/gecko/view/inspector/element/container/InspectorKindPicker.java
@@ -2,6 +2,7 @@
 
 import org.gecko.actions.ActionManager;
 import org.gecko.view.ResourceHandler;
+import org.gecko.view.inspector.builder.AbstractInspectorBuilder;
 import org.gecko.view.inspector.element.combobox.InspectorKindComboBox;
 import org.gecko.view.inspector.element.label.InspectorLabel;
 import org.gecko.viewmodel.EdgeViewModel;
@@ -11,9 +12,10 @@
  * {@link InspectorKindComboBox}.
  */
 public class InspectorKindPicker extends LabeledInspectorElement {
+    private static final String KIND_KEY = "kind";
 
     public InspectorKindPicker(ActionManager actionManager, EdgeViewModel viewModel) {
-        super(new InspectorLabel(ResourceHandler.getString("Inspector", "kind")),
+        super(new InspectorLabel(ResourceHandler.getString(AbstractInspectorBuilder.INSPECTOR, KIND_KEY)),
             new InspectorKindComboBox(actionManager, viewModel));
     }
 }
diff --git a/src/main/java/org/gecko/view/inspector/element/container/InspectorPriorityLabel.java b/src/main/java/org/gecko/view/inspector/element/container/InspectorPriorityLabel.java
index 10854f63..ab7fe9ab 100644
--- a/src/main/java/org/gecko/view/inspector/element/container/InspectorPriorityLabel.java
+++ b/src/main/java/org/gecko/view/inspector/element/container/InspectorPriorityLabel.java
@@ -2,6 +2,7 @@
 
 import org.gecko.actions.ActionManager;
 import org.gecko.view.ResourceHandler;
+import org.gecko.view.inspector.builder.AbstractInspectorBuilder;
 import org.gecko.view.inspector.element.label.InspectorLabel;
 import org.gecko.view.inspector.element.textfield.InspectorPriorityField;
 import org.gecko.viewmodel.EdgeViewModel;
@@ -11,9 +12,10 @@
  * {@link InspectorPriorityField}.
  */
 public class InspectorPriorityLabel extends LabeledInspectorElement {
+    private static final String PRIORITY_KEY = "priority";
 
     public InspectorPriorityLabel(ActionManager actionManager, EdgeViewModel viewModel) {
-        super(new InspectorLabel(ResourceHandler.getString("Inspector", "priority")),
+        super(new InspectorLabel(ResourceHandler.getString(AbstractInspectorBuilder.INSPECTOR, PRIORITY_KEY)),
             new InspectorPriorityField(actionManager, viewModel));
     }
 }
diff --git a/src/main/java/org/gecko/view/inspector/element/container/InspectorRegionColorItem.java b/src/main/java/org/gecko/view/inspector/element/container/InspectorRegionColorItem.java
index e5f50422..1a5dd7bc 100644
--- a/src/main/java/org/gecko/view/inspector/element/container/InspectorRegionColorItem.java
+++ b/src/main/java/org/gecko/view/inspector/element/container/InspectorRegionColorItem.java
@@ -2,6 +2,7 @@
 
 import org.gecko.actions.ActionManager;
 import org.gecko.view.ResourceHandler;
+import org.gecko.view.inspector.builder.AbstractInspectorBuilder;
 import org.gecko.view.inspector.element.InspectorColorPicker;
 import org.gecko.view.inspector.element.label.InspectorLabel;
 import org.gecko.viewmodel.RegionViewModel;
@@ -11,9 +12,10 @@
  * {@link InspectorColorPicker}.
  */
 public class InspectorRegionColorItem extends LabeledInspectorElement {
+    private static final String COLOR = "color";
 
     public InspectorRegionColorItem(ActionManager actionManager, RegionViewModel regionViewModel) {
-        super(new InspectorLabel(ResourceHandler.getString("Inspector", "color")),
+        super(new InspectorLabel(ResourceHandler.getString(AbstractInspectorBuilder.INSPECTOR, COLOR)),
             new InspectorColorPicker(actionManager, regionViewModel));
     }
 }
diff --git a/src/main/java/org/gecko/view/inspector/element/container/InspectorTypeLabel.java b/src/main/java/org/gecko/view/inspector/element/container/InspectorTypeLabel.java
index aac89f10..ee2e59ec 100644
--- a/src/main/java/org/gecko/view/inspector/element/container/InspectorTypeLabel.java
+++ b/src/main/java/org/gecko/view/inspector/element/container/InspectorTypeLabel.java
@@ -2,6 +2,7 @@
 
 import org.gecko.actions.ActionManager;
 import org.gecko.view.ResourceHandler;
+import org.gecko.view.inspector.builder.AbstractInspectorBuilder;
 import org.gecko.view.inspector.element.combobox.InspectorTypeComboBox;
 import org.gecko.view.inspector.element.label.InspectorLabel;
 import org.gecko.viewmodel.PortViewModel;
@@ -11,9 +12,10 @@
  * {@link InspectorTypeComboBox}.
  */
 public class InspectorTypeLabel extends LabeledInspectorElement {
+    protected static final String TYPE_KEY = "type";
 
     public InspectorTypeLabel(ActionManager actionManager, PortViewModel viewModel) {
-        super(new InspectorLabel(ResourceHandler.getString("Inspector", "type")),
+        super(new InspectorLabel(ResourceHandler.getString(AbstractInspectorBuilder.INSPECTOR, TYPE_KEY)),
             new InspectorTypeComboBox(actionManager, viewModel));
     }
 }
diff --git a/src/main/java/org/gecko/view/inspector/element/container/InspectorVariableField.java b/src/main/java/org/gecko/view/inspector/element/container/InspectorVariableField.java
index 2bf841fd..74cb7d93 100644
--- a/src/main/java/org/gecko/view/inspector/element/container/InspectorVariableField.java
+++ b/src/main/java/org/gecko/view/inspector/element/container/InspectorVariableField.java
@@ -6,6 +6,7 @@
 import lombok.Getter;
 import org.gecko.actions.ActionManager;
 import org.gecko.view.ResourceHandler;
+import org.gecko.view.inspector.builder.AbstractInspectorBuilder;
 import org.gecko.view.inspector.element.InspectorElement;
 import org.gecko.view.inspector.element.button.InspectorRemoveVariableButton;
 import org.gecko.view.inspector.element.combobox.InspectorTypeComboBox;
@@ -31,7 +32,8 @@ public InspectorVariableField(ActionManager actionManager, PortViewModel portVie
         InspectorElement<?> variableNameField = new InspectorRenameField(actionManager, portViewModel);
         InspectorElement<?> deleteButton = new InspectorRemoveVariableButton(actionManager, portViewModel);
         nameAndDeleteContainer.getChildren().addAll(variableNameField.getControl(), spacer, deleteButton.getControl());
-        InspectorElement<?> typeLabel = new InspectorLabel(ResourceHandler.getString("Inspector", "type"));
+        InspectorElement<?> typeLabel = new InspectorLabel(ResourceHandler.getString(AbstractInspectorBuilder.INSPECTOR,
+            InspectorTypeLabel.TYPE_KEY));
         InspectorElement<?> typeField = new InspectorTypeComboBox(actionManager, portViewModel);
         HBox typeContainer = new HBox();
         typeContainer.getChildren().addAll(typeLabel.getControl(), typeField.getControl());
diff --git a/src/main/java/org/gecko/view/inspector/element/container/InspectorVariableLabel.java b/src/main/java/org/gecko/view/inspector/element/container/InspectorVariableLabel.java
index 7c52e3fd..eb3c1e9c 100644
--- a/src/main/java/org/gecko/view/inspector/element/container/InspectorVariableLabel.java
+++ b/src/main/java/org/gecko/view/inspector/element/container/InspectorVariableLabel.java
@@ -3,6 +3,7 @@
 import org.gecko.actions.ActionManager;
 import org.gecko.model.Visibility;
 import org.gecko.view.ResourceHandler;
+import org.gecko.view.inspector.builder.AbstractInspectorBuilder;
 import org.gecko.view.inspector.element.button.InspectorAddVariableButton;
 import org.gecko.view.inspector.element.label.InspectorLabel;
 import org.gecko.viewmodel.SystemViewModel;
@@ -12,6 +13,8 @@
  * {@link InspectorAddVariableButton}.
  */
 public class InspectorVariableLabel extends LabeledInspectorElement {
+    private static final String INPUT_KEY = "input";
+    private static final String OUTPUT_KEY = "output";
 
     public InspectorVariableLabel(ActionManager actionManager, SystemViewModel viewModel, Visibility visibility) {
         super(new InspectorLabel(getLabel(visibility)),
@@ -21,8 +24,8 @@ public InspectorVariableLabel(ActionManager actionManager, SystemViewModel viewM
     //Cant be public because it is called in the super constructor
     private static String getLabel(Visibility visibility) {
         return switch (visibility) {
-            case INPUT -> ResourceHandler.getString("Inspector", "input");
-            case OUTPUT -> ResourceHandler.getString("Inspector", "output");
+            case INPUT -> ResourceHandler.getString(AbstractInspectorBuilder.INSPECTOR, INPUT_KEY);
+            case OUTPUT -> ResourceHandler.getString(AbstractInspectorBuilder.INSPECTOR, OUTPUT_KEY);
             default -> "";
         };
     }
diff --git a/src/main/java/org/gecko/view/inspector/element/container/InspectorVisibilityPicker.java b/src/main/java/org/gecko/view/inspector/element/container/InspectorVisibilityPicker.java
index 6658ac7a..78846966 100644
--- a/src/main/java/org/gecko/view/inspector/element/container/InspectorVisibilityPicker.java
+++ b/src/main/java/org/gecko/view/inspector/element/container/InspectorVisibilityPicker.java
@@ -2,6 +2,7 @@
 
 import org.gecko.actions.ActionManager;
 import org.gecko.view.ResourceHandler;
+import org.gecko.view.inspector.builder.AbstractInspectorBuilder;
 import org.gecko.view.inspector.element.combobox.InspectorVisibilityComboBox;
 import org.gecko.view.inspector.element.label.InspectorLabel;
 import org.gecko.viewmodel.PortViewModel;
@@ -11,9 +12,10 @@
  * {@link InspectorVisibilityComboBox}.
  */
 public class InspectorVisibilityPicker extends LabeledInspectorElement {
+    private static final String VISIBILITY_KEY = "visibility";
 
     public InspectorVisibilityPicker(ActionManager actionManager, PortViewModel viewModel) {
-        super(new InspectorLabel(ResourceHandler.getString("Inspector", "visibility")),
+        super(new InspectorLabel(ResourceHandler.getString(AbstractInspectorBuilder.INSPECTOR, VISIBILITY_KEY)),
             new InspectorVisibilityComboBox(actionManager, viewModel));
     }
 }
diff --git a/src/main/java/org/gecko/view/inspector/element/list/InspectorContractList.java b/src/main/java/org/gecko/view/inspector/element/list/InspectorContractList.java
index 58ba340a..922261da 100644
--- a/src/main/java/org/gecko/view/inspector/element/list/InspectorContractList.java
+++ b/src/main/java/org/gecko/view/inspector/element/list/InspectorContractList.java
@@ -12,6 +12,7 @@
  */
 public class InspectorContractList extends AbstractInspectorList<InspectorContractItem> {
     private static final double MIN_HEIGHT = 50;
+    private static final int CONTRACT_ITEM_OFFSET = 20;
 
     public InspectorContractList(ActionManager actionManager, StateViewModel stateViewModel) {
         super();
@@ -31,7 +32,7 @@ public InspectorContractList(ActionManager actionManager, StateViewModel stateVi
                     for (ContractViewModel item : change.getAddedSubList()) {
                         InspectorContractItem newContractItem =
                             new InspectorContractItem(actionManager, stateViewModel, item);
-                        newContractItem.prefWidthProperty().bind(widthProperty().subtract(20));
+                        newContractItem.prefWidthProperty().bind(widthProperty().subtract(CONTRACT_ITEM_OFFSET));
                         items.add(newContractItem);
                     }
                 } else if (change.wasRemoved()) {
diff --git a/src/main/java/org/gecko/view/menubar/MenuBarBuilder.java b/src/main/java/org/gecko/view/menubar/MenuBarBuilder.java
index 621bcc5e..b19dc15c 100644
--- a/src/main/java/org/gecko/view/menubar/MenuBarBuilder.java
+++ b/src/main/java/org/gecko/view/menubar/MenuBarBuilder.java
@@ -1,6 +1,7 @@
 package org.gecko.view.menubar;
 
 import java.io.File;
+import java.util.List;
 import java.util.Set;
 import javafx.beans.binding.Bindings;
 import javafx.scene.control.CustomMenuItem;
@@ -17,9 +18,9 @@
 import org.gecko.actions.ActionManager;
 import org.gecko.application.GeckoIOManager;
 import org.gecko.io.FileTypes;
+import org.gecko.tools.Tool;
 import org.gecko.tools.ToolType;
 import org.gecko.view.GeckoView;
-import org.gecko.view.ResourceHandler;
 import org.gecko.view.inspector.element.label.InspectorLabel;
 import org.gecko.view.inspector.element.textfield.InspectorRenameField;
 import org.gecko.view.views.shortcuts.Shortcuts;
@@ -44,6 +45,33 @@ public class MenuBarBuilder {
     private final GeckoView view;
     private final ActionManager actionManager;
 
+    private static final String FILE_MENU = "File";
+    private static final String EDIT_MENU = "Edit";
+    private static final String VIEW_MENU = "View";
+    private static final String TOOLS_MENU = "Tools";
+    private static final String NEW_MENU_ITEM = "New";
+    private static final String OPEN_MENU_ITEM = "Open";
+    private static final String SAVE_MENU_ITEM = "Save";
+    private static final String SAVE_AS_MENU_ITEM = "Save As";
+    private static final String IMPORT_MENU_ITEM = "Import";
+    private static final String EXPORT_MENU_ITEM = "Export";
+    private static final String UNDO_MENU_ITEM = "Undo";
+    private static final String REDO_MENU_ITEM = "Redo";
+    private static final String CUT_MENU_ITEM = "Cut";
+    private static final String COPY_MENU_ITEM = "Copy";
+    private static final String PASTE_MENU_ITEM = "Paste";
+    private static final String SELECT_ALL_MENU_ITEM = "Select All";
+    private static final String DESELECT_ALL_MENU_ITEM = "Deselect All";
+    private static final String RENAME_ROOT__MENU_ITEM = "Rename Root System";
+    private static final String CHANGE_VIEW_MENU_ITEM = "Change View";
+    private static final String GO_TO_PARENT_MENU_ITEM = "Go To Parent System";
+    private static final String FOCUS_MENU_ITEM = "Focus Selected Element";
+    private static final String ZOOM_IN_MENU_ITEM = "Zoom In";
+    private static final String ZOOM_OUT_MENU_ITEM = "Zoom Out";
+    private static final String TOGGLE_MENU_ITEM = "Toggle Appearance";
+    private static final String SEARCH_MENU_ITEM = "Search Elements";
+    private static final double ZOOM_SCALE = 1.1;
+
     public MenuBarBuilder(GeckoView view, ActionManager actionManager) {
         this.view = view;
         this.actionManager = actionManager;
@@ -57,17 +85,17 @@ public MenuBar build() {
     }
 
     private Menu setupFileMenu() {
-        Menu fileMenu = new Menu(ResourceHandler.getString("Labels", "file"));
+        Menu fileMenu = new Menu(FILE_MENU);
 
-        MenuItem newFileItem = new MenuItem(ResourceHandler.getString("Buttons", "new"));
+        MenuItem newFileItem = new MenuItem(NEW_MENU_ITEM);
         newFileItem.setOnAction(e -> GeckoIOManager.getInstance().createNewProject());
         newFileItem.setAccelerator(Shortcuts.NEW.get());
 
-        MenuItem openFileItem = new MenuItem(ResourceHandler.getString("Buttons", "open"));
+        MenuItem openFileItem = new MenuItem(OPEN_MENU_ITEM);
         openFileItem.setOnAction(e -> GeckoIOManager.getInstance().loadGeckoProject());
         openFileItem.setAccelerator(Shortcuts.OPEN.get());
 
-        MenuItem saveFileItem = new MenuItem(ResourceHandler.getString("Buttons", "save"));
+        MenuItem saveFileItem = new MenuItem(SAVE_MENU_ITEM);
         saveFileItem.setOnAction(e -> {
             File file = GeckoIOManager.getInstance().getFile();
             if (file != null) {
@@ -82,7 +110,7 @@ private Menu setupFileMenu() {
         });
         saveFileItem.setAccelerator(Shortcuts.SAVE.get());
 
-        MenuItem saveAsFileItem = new MenuItem(ResourceHandler.getString("Buttons", "save_as"));
+        MenuItem saveAsFileItem = new MenuItem(SAVE_AS_MENU_ITEM);
         saveAsFileItem.setOnAction(e -> {
             File fileToSaveTo = GeckoIOManager.getInstance().getSaveFileChooser(FileTypes.JSON);
             if (fileToSaveTo != null) {
@@ -91,7 +119,7 @@ private Menu setupFileMenu() {
         });
         saveAsFileItem.setAccelerator(Shortcuts.SAVE_AS.get());
 
-        MenuItem importFileItem = new MenuItem(ResourceHandler.getString("Buttons", "import"));
+        MenuItem importFileItem = new MenuItem(IMPORT_MENU_ITEM);
         importFileItem.setAccelerator(new KeyCodeCombination(KeyCode.I, KeyCombination.SHORTCUT_DOWN));
         importFileItem.setOnAction(e -> {
             File fileToImport = GeckoIOManager.getInstance().getOpenFileChooser(FileTypes.SYS);
@@ -100,7 +128,7 @@ private Menu setupFileMenu() {
             }
         });
 
-        MenuItem exportFileItem = new MenuItem(ResourceHandler.getString("Buttons", "export"));
+        MenuItem exportFileItem = new MenuItem(EXPORT_MENU_ITEM);
         exportFileItem.setAccelerator(new KeyCodeCombination(KeyCode.E, KeyCombination.SHORTCUT_DOWN));
         exportFileItem.setOnAction(e -> {
             File fileToSaveTo = GeckoIOManager.getInstance().getSaveFileChooser(FileTypes.SYS);
@@ -115,44 +143,44 @@ private Menu setupFileMenu() {
     }
 
     private Menu setupEditMenu() {
-        Menu editMenu = new Menu(ResourceHandler.getString("Labels", "edit"));
+        Menu editMenu = new Menu(EDIT_MENU);
 
         // Edit history navigation:
-        MenuItem undoMenuItem = new MenuItem(ResourceHandler.getString("Buttons", "undo"));
+        MenuItem undoMenuItem = new MenuItem(UNDO_MENU_ITEM);
         undoMenuItem.setOnAction(e -> actionManager.undo());
         undoMenuItem.setAccelerator(Shortcuts.UNDO.get());
 
-        MenuItem redoMenuItem = new MenuItem(ResourceHandler.getString("Buttons", "redo"));
+        MenuItem redoMenuItem = new MenuItem(REDO_MENU_ITEM);
         redoMenuItem.setOnAction(e -> actionManager.redo());
         redoMenuItem.setAccelerator(Shortcuts.REDO.get());
 
         SeparatorMenuItem historyToDataTransferSeparator = new SeparatorMenuItem();
 
         // Data transfer commands:
-        MenuItem cutMenuItem = new MenuItem(ResourceHandler.getString("Buttons", "cut"));
+        MenuItem cutMenuItem = new MenuItem(CUT_MENU_ITEM);
         cutMenuItem.setOnAction(
             e -> actionManager.run(actionManager.getActionFactory().createCutPositionableViewModelElementAction()));
         cutMenuItem.setAccelerator(Shortcuts.CUT.get());
 
-        MenuItem copyMenuItem = new MenuItem(ResourceHandler.getString("Buttons", "copy"));
+        MenuItem copyMenuItem = new MenuItem(COPY_MENU_ITEM);
         copyMenuItem.setOnAction(
             e -> actionManager.run(actionManager.getActionFactory().createCopyPositionableViewModelElementAction()));
         copyMenuItem.setAccelerator(Shortcuts.COPY.get());
 
-        MenuItem pasteMenuItem = new MenuItem(ResourceHandler.getString("Buttons", "paste"));
+        MenuItem pasteMenuItem = new MenuItem(PASTE_MENU_ITEM);
         pasteMenuItem.setOnAction(
             e -> actionManager.run(actionManager.getActionFactory().createPastePositionableViewModelElementAction()));
         pasteMenuItem.setAccelerator(Shortcuts.PASTE.get());
 
         // General selection commands:
-        MenuItem selectAllMenuItem = new MenuItem(ResourceHandler.getString("Buttons", "select_all"));
+        MenuItem selectAllMenuItem = new MenuItem(SELECT_ALL_MENU_ITEM);
         selectAllMenuItem.setOnAction(e -> {
             Set<PositionableViewModelElement<?>> allElements = view.getAllDisplayedElements();
             actionManager.run(actionManager.getActionFactory().createSelectAction(allElements, true));
         });
         selectAllMenuItem.setAccelerator(Shortcuts.SELECT_ALL.get());
 
-        MenuItem deselectAllMenuItem = new MenuItem(ResourceHandler.getString("Buttons", "deselect_all"));
+        MenuItem deselectAllMenuItem = new MenuItem(DESELECT_ALL_MENU_ITEM);
         deselectAllMenuItem.setOnAction(
             e -> actionManager.run(actionManager.getActionFactory().createDeselectAction()));
         deselectAllMenuItem.setAccelerator(Shortcuts.DESELECT_ALL.get());
@@ -175,7 +203,7 @@ private CustomMenuItem getRenameRootSystemCustomMenuItem() {
         GeckoViewModel viewModel = view.getViewModel();
         TextField renameRootSystemTextField = new InspectorRenameField(actionManager,
             (Renamable) viewModel.getViewModelElement(viewModel.getGeckoModel().getRoot()));
-        Label renameRootSystemLabel = new InspectorLabel(ResourceHandler.getString("Inspector", "rename_root_system"));
+        Label renameRootSystemLabel = new InspectorLabel(RENAME_ROOT__MENU_ITEM);
         VBox renameRootSystemContainer = new VBox(renameRootSystemLabel, renameRootSystemTextField);
         CustomMenuItem renameRootSystemCustomMenuItem = new CustomMenuItem(renameRootSystemContainer, false);
         renameRootSystemCustomMenuItem.setOnAction(e -> renameRootSystemTextField.requestFocus());
@@ -183,16 +211,16 @@ private CustomMenuItem getRenameRootSystemCustomMenuItem() {
     }
 
     private Menu setupViewMenu() {
-        Menu viewMenu = new Menu(ResourceHandler.getString("Labels", "view"));
+        Menu viewMenu = new Menu(VIEW_MENU);
 
         // View change commands:
-        MenuItem changeViewMenuItem = new MenuItem(ResourceHandler.getString("Buttons", "change_view"));
+        MenuItem changeViewMenuItem = new MenuItem(CHANGE_VIEW_MENU_ITEM);
         changeViewMenuItem.setOnAction(e -> actionManager.run(actionManager.getActionFactory()
             .createViewSwitchAction(view.getCurrentView().getViewModel().getCurrentSystem(),
                 !view.getCurrentView().getViewModel().isAutomatonEditor())));
         changeViewMenuItem.setAccelerator(Shortcuts.SWITCH_EDITOR.get());
 
-        MenuItem goToParentSystemMenuItem = new MenuItem(ResourceHandler.getString("Buttons", "go_to_parent_system"));
+        MenuItem goToParentSystemMenuItem = new MenuItem(GO_TO_PARENT_MENU_ITEM);
         goToParentSystemMenuItem.setOnAction(e -> {
             boolean isAutomatonEditor = view.getCurrentView().getViewModel().isAutomatonEditor();
             SystemViewModel parentSystem = view.getCurrentView().getViewModel().getParentSystem();
@@ -200,8 +228,7 @@ private Menu setupViewMenu() {
         });
         goToParentSystemMenuItem.setAccelerator(Shortcuts.OPEN_PARENT_SYSTEM_EDITOR.get());
 
-        MenuItem focusSelectedElementMenuItem =
-            new MenuItem(ResourceHandler.getString("Buttons", "focus_selected_element"));
+        MenuItem focusSelectedElementMenuItem = new MenuItem(FOCUS_MENU_ITEM);
         focusSelectedElementMenuItem.setOnAction(e -> view.getCurrentView().getViewModel().moveToFocusedElement());
         focusSelectedElementMenuItem.setAccelerator(Shortcuts.FOCUS_SELECTED_ELEMENT.get());
 
@@ -209,23 +236,23 @@ private Menu setupViewMenu() {
 
         // Zooming commands:
 
-        MenuItem zoomInMenuItem = new MenuItem(ResourceHandler.getString("Buttons", "zoom_in"));
+        MenuItem zoomInMenuItem = new MenuItem(ZOOM_IN_MENU_ITEM);
         zoomInMenuItem.setOnAction(
-            e -> actionManager.run(actionManager.getActionFactory().createZoomCenterAction(1.1)));
+            e -> actionManager.run(actionManager.getActionFactory().createZoomCenterAction(ZOOM_SCALE)));
         zoomInMenuItem.setAccelerator(Shortcuts.ZOOM_IN.get());
 
-        MenuItem zoomOutMenuItem = new MenuItem(ResourceHandler.getString("Buttons", "zoom_out"));
+        MenuItem zoomOutMenuItem = new MenuItem(ZOOM_OUT_MENU_ITEM);
         zoomOutMenuItem.setOnAction(
-            e -> actionManager.run(actionManager.getActionFactory().createZoomCenterAction(1 / 1.1)));
+            e -> actionManager.run(actionManager.getActionFactory().createZoomCenterAction(1 / ZOOM_SCALE)));
         zoomOutMenuItem.setAccelerator(Shortcuts.ZOOM_OUT.get());
 
         SeparatorMenuItem zoomToAppearanceSeparator = new SeparatorMenuItem();
 
-        MenuItem toggleAppearanceMenuItem = new MenuItem(ResourceHandler.getString("Buttons", "toggle_appearance"));
+        MenuItem toggleAppearanceMenuItem = new MenuItem(TOGGLE_MENU_ITEM);
         toggleAppearanceMenuItem.setOnAction(e -> view.toggleAppearance());
         toggleAppearanceMenuItem.setAccelerator(Shortcuts.TOGGLE_APPEARANCE.get());
 
-        MenuItem searchElementsMenuItem = new MenuItem(ResourceHandler.getString("Buttons", "search_elements"));
+        MenuItem searchElementsMenuItem = new MenuItem(SEARCH_MENU_ITEM);
         searchElementsMenuItem.setOnAction(e -> view.getCurrentView().toggleSearchWindow());
         searchElementsMenuItem.setAccelerator(Shortcuts.TOGGLE_SEARCH.get());
 
@@ -238,7 +265,7 @@ private Menu setupViewMenu() {
     }
 
     private Menu setupToolsMenu() {
-        Menu toolsMenu = new Menu(ResourceHandler.getString("Labels", "tools"));
+        Menu toolsMenu = new Menu(TOOLS_MENU);
 
         // General tools:
         MenuItem cursorMenuItem = new MenuItem(ToolType.CURSOR.getLabel());
@@ -289,4 +316,33 @@ private MenuItem toolMenuItem(ToolType toolType, boolean isAutomatonTool) {
         }, view.getCurrentViewProperty()));
         return toolMenuItem;
     }
+
+    /**
+     * Updates the tools menu with the updated tool lists.
+     *
+     * @param menuBar   The menu bar to update
+     * @param toolLists The updated tool lists
+     */
+    public static void updateToolsMenu(MenuBar menuBar, List<List<Tool>> toolLists) {
+        List<Tool> constantTools = toolLists.get(0);
+        List<Tool> variableTools = toolLists.get(1);
+
+        menuBar.getMenus()
+            .stream()
+            .filter(menu -> menu.getText().equals(TOOLS_MENU))
+            .findFirst()
+            .ifPresent(toolsMenu -> toolsMenu.getItems().forEach(toolMenu -> {
+                Tool constantTool = constantTools.stream()
+                    .filter(tool -> tool.getToolType().getLabel().equals(toolMenu.getText()))
+                    .findAny()
+                    .orElse(null);
+                Tool activeTool = variableTools.stream()
+                    .filter(tool -> tool.getToolType().getLabel().equals(toolMenu.getText()))
+                    .findAny()
+                    .orElse(null);
+                if (constantTool == null) {
+                    toolMenu.setDisable(activeTool == null);
+                }
+            }));
+    }
 }
diff --git a/src/main/java/org/gecko/view/views/EditorView.java b/src/main/java/org/gecko/view/views/EditorView.java
index 502afa79..d870f7ac 100644
--- a/src/main/java/org/gecko/view/views/EditorView.java
+++ b/src/main/java/org/gecko/view/views/EditorView.java
@@ -62,6 +62,13 @@ public class EditorView {
     private ShortcutHandler shortcutHandler;
     private ContextMenu contextMenu;
 
+    private static final String VIEW = "View";
+    private static final String SYSTEM_KEY = "system";
+    private static final String AUTOMATON_KEY = "automaton";
+    private static final double DEFAULT_ANCHOR_VALUE = 18.0;
+    private static final double LEFT_ANCHOR_VALUE = 15.0;
+
+
     public EditorView(
         ViewFactory viewFactory, ActionManager actionManager, EditorViewModel viewModel) {
         this.viewFactory = viewFactory;
@@ -82,8 +89,8 @@ public EditorView(
         StringProperty tabName = new SimpleStringProperty("Error_Name");
         tabName.bind(Bindings.createStringBinding(() -> {
             String name = viewModel.getCurrentSystem().getName();
-            return name + (viewModel.isAutomatonEditor() ? " (" + ResourceHandler.getString("View", "automaton") + ")"
-                : " (" + ResourceHandler.getString("View", "system") + ")");
+            return name + (viewModel.isAutomatonEditor() ? " (" + ResourceHandler.getString(VIEW, AUTOMATON_KEY) + ")"
+                : " (" + ResourceHandler.getString(VIEW, SYSTEM_KEY) + ")");
         }, viewModel.getCurrentSystem().getNameProperty()));
 
         Label tabLabel = new Label();
@@ -93,16 +100,16 @@ public EditorView(
         // Floating UI
         FloatingUIBuilder floatingUIBuilder = new FloatingUIBuilder(actionManager, viewModel);
         Node zoomButtons = floatingUIBuilder.buildZoomButtons();
-        AnchorPane.setBottomAnchor(zoomButtons, 18.0);
-        AnchorPane.setRightAnchor(zoomButtons, 18.0);
+        AnchorPane.setBottomAnchor(zoomButtons, DEFAULT_ANCHOR_VALUE);
+        AnchorPane.setRightAnchor(zoomButtons, DEFAULT_ANCHOR_VALUE);
 
         Node currentViewLabel = floatingUIBuilder.buildCurrentViewLabel();
-        AnchorPane.setTopAnchor(currentViewLabel, 18.0);
-        AnchorPane.setLeftAnchor(currentViewLabel, 15.0);
+        AnchorPane.setTopAnchor(currentViewLabel, DEFAULT_ANCHOR_VALUE);
+        AnchorPane.setLeftAnchor(currentViewLabel, LEFT_ANCHOR_VALUE);
 
         Node viewSwitchButton = floatingUIBuilder.buildViewSwitchButtons();
-        AnchorPane.setTopAnchor(viewSwitchButton, 18.0);
-        AnchorPane.setRightAnchor(viewSwitchButton, 18.0);
+        AnchorPane.setTopAnchor(viewSwitchButton, DEFAULT_ANCHOR_VALUE);
+        AnchorPane.setRightAnchor(viewSwitchButton, DEFAULT_ANCHOR_VALUE);
 
         searchWindow = floatingUIBuilder.buildSearchWindow(this);
         activateSearchWindow(false);
diff --git a/src/main/java/org/gecko/view/views/FloatingUIBuilder.java b/src/main/java/org/gecko/view/views/FloatingUIBuilder.java
index 2c420e0a..a7258940 100644
--- a/src/main/java/org/gecko/view/views/FloatingUIBuilder.java
+++ b/src/main/java/org/gecko/view/views/FloatingUIBuilder.java
@@ -13,7 +13,6 @@
 import javafx.scene.layout.VBox;
 import javafx.scene.paint.Color;
 import org.gecko.actions.ActionManager;
-import org.gecko.view.ResourceHandler;
 import org.gecko.view.views.shortcuts.Shortcuts;
 import org.gecko.viewmodel.EditorViewModel;
 import org.gecko.viewmodel.PositionableViewModelElement;
@@ -30,6 +29,12 @@ public class FloatingUIBuilder {
     private static final String FLOATING_BUTTON_STYLE_CLASS = "floating-ui-button";
     private static final String ZOOM_IN_STYLE_CLASS = "floating-zoom-in-button";
     private static final String ZOOM_OUT_STYLE_CLASS = "floating-zoom-out-button";
+    private static final String MATCHES_REGEX = "%d of %d matches";
+    private static final String CLOSE_BUTTON = "x";
+    private static final String LEFT_BUTTON = "<";
+    private static final String RIGHT_BUTTON = ">";
+    private static final String SEARCH_FIELD = "Search";
+    private static final int FULL_SCALE = 100;
 
     private final ActionManager actionManager;
     private final EditorViewModel editorViewModel;
@@ -47,23 +52,19 @@ public Node buildZoomButtons() {
         zoomInButton.setOnAction(event -> {
             actionManager.run(actionManager.getActionFactory().createZoomCenterAction(ZOOM_SCALE));
         });
-        String zoomInTooltip = "%s (%s)".formatted(ResourceHandler.getString("Tooltips", "zoom_in"),
-            Shortcuts.ZOOM_IN.get().getDisplayText());
-        zoomInButton.setTooltip(new Tooltip(zoomInTooltip));
+        zoomInButton.setTooltip(new Tooltip(Shortcuts.ZOOM_IN.get().getDisplayText()));
 
         Label zoomLabel = new Label();
         zoomLabel.textProperty().bind(Bindings.createStringBinding(() -> {
             double zoom = editorViewModel.getZoomScale();
-            return String.format("%.0f%%", zoom * 100);
+            return String.format("%.0f%%", zoom * FULL_SCALE);
         }, editorViewModel.getZoomScaleProperty()));
 
         Button zoomOutButton = createStyledButton();
         zoomOutButton.getStyleClass().add(ZOOM_OUT_STYLE_CLASS);
         zoomOutButton.setOnAction(
             event -> actionManager.run(actionManager.getActionFactory().createZoomCenterAction(1 / ZOOM_SCALE)));
-        String zoomOutTooltip = "%s (%s)".formatted(ResourceHandler.getString("Tooltips", "zoom_out"),
-            Shortcuts.ZOOM_OUT.get().getDisplayText());
-        zoomOutButton.setTooltip(new Tooltip(zoomOutTooltip));
+        zoomOutButton.setTooltip(new Tooltip(Shortcuts.ZOOM_OUT.get().getDisplayText()));
 
         zoomButtons.getChildren().addAll(zoomInButton, zoomLabel, zoomOutButton);
         return zoomButtons;
@@ -81,14 +82,14 @@ public Node buildSearchWindow(EditorView editorView) {
         ToolBar searchBar = new ToolBar();
 
         // Close Search:
-        Button closeButton = new Button("x");
+        Button closeButton = new Button(CLOSE_BUTTON);
         closeButton.setCancelButton(true);
 
         // Navigate Search:
-        Button backwardButton = new Button("<");
+        Button backwardButton = new Button(LEFT_BUTTON);
         backwardButton.setDisable(true);
 
-        Button forwardButton = new Button(">");
+        Button forwardButton = new Button(RIGHT_BUTTON);
         forwardButton.setDisable(true);
 
         Label matchesLabel = new Label();
@@ -96,7 +97,7 @@ public Node buildSearchWindow(EditorView editorView) {
 
         final List<PositionableViewModelElement<?>> matches = new ArrayList<>();
         TextField searchTextField = new TextField();
-        searchTextField.setPromptText(ResourceHandler.getString("Labels", "search"));
+        searchTextField.setPromptText(SEARCH_FIELD);
 
         searchBar.getItems().addAll(closeButton, searchTextField, backwardButton, forwardButton, matchesLabel);
 
@@ -109,12 +110,11 @@ public Node buildSearchWindow(EditorView editorView) {
             if (!matches.isEmpty()) {
                 actionManager.run(
                     actionManager.getActionFactory().createFocusPositionableViewModelElementAction(matches.getFirst()));
-                matchesLabel.setText(
-                    String.format(ResourceHandler.getString("Labels", "matches_format_string"), 1, matches.size()));
+                matchesLabel.setText(String.format(MATCHES_REGEX, 1, matches.size()));
                 backwardButton.setDisable(true);
                 forwardButton.setDisable(matches.size() == 1);
             } else {
-                matchesLabel.setText(String.format(ResourceHandler.getString("Labels", "matches_format_string"), 0, 0));
+                matchesLabel.setText(String.format(MATCHES_REGEX, 0, 0));
                 backwardButton.setDisable(true);
                 forwardButton.setDisable(true);
             }
@@ -148,9 +148,7 @@ private void searchNextResult(
         actionManager.run(actionManager.getActionFactory()
             .createFocusPositionableViewModelElementAction(matches.get(currentPosition + direction)));
         currentPosition += direction;
-        matchesLabel.setText(
-            String.format(ResourceHandler.getString("Labels", "matches_format_string"), currentPosition + 1,
-                matches.size()));
+        matchesLabel.setText(String.format(MATCHES_REGEX, currentPosition + 1, matches.size()));
         backwardButton.setDisable(currentPosition == 0);
         forwardButton.setDisable(currentPosition == matches.size() - 1);
     }
@@ -159,6 +157,7 @@ public Node buildViewSwitchButtons() {
         HBox viewSwitchButtons = new HBox();
         final String switchToSystemStyleClass = "floating-switch-to-system-button";
         final String switchToAutomatonStyleClass = "floating-switch-to-automaton-button";
+        final String switchToParentSystemStyleClass = "floating-parent-system-switch-button";
 
         Button switchViewButton = createStyledButton();
         switchViewButton.getStyleClass()
@@ -172,21 +171,17 @@ public Node buildViewSwitchButtons() {
             switchViewButton.getStyleClass()
                 .add(automatonEditor ? switchToSystemStyleClass : switchToAutomatonStyleClass);
         });
-        String switchViewTooltip = "%s (%s)".formatted(ResourceHandler.getString("Tooltips", "switch_view"),
-            Shortcuts.SWITCH_EDITOR.get().getDisplayText());
-        switchViewButton.setTooltip(new Tooltip(switchViewTooltip));
+        switchViewButton.setTooltip(new Tooltip(Shortcuts.SWITCH_EDITOR.get().getDisplayText()));
 
         viewSwitchButtons.getChildren().add(switchViewButton);
 
         if (editorViewModel.getParentSystem() != null) {
             Button parentSystemSwitchButton = createStyledButton();
-            parentSystemSwitchButton.getStyleClass().add("floating-parent-system-switch-button");
+            parentSystemSwitchButton.getStyleClass().add(switchToParentSystemStyleClass);
             parentSystemSwitchButton.setOnAction(event -> actionManager.run(actionManager.getActionFactory()
                 .createViewSwitchAction(editorViewModel.getParentSystem(), editorViewModel.isAutomatonEditor())));
-            String parentSystemSwitchTooltip =
-                "%s (%s)".formatted(ResourceHandler.getString("Tooltips", "parent_system"),
-                    Shortcuts.OPEN_PARENT_SYSTEM_EDITOR.get().getDisplayText());
-            parentSystemSwitchButton.setTooltip(new Tooltip(parentSystemSwitchTooltip));
+            parentSystemSwitchButton.setTooltip(
+                new Tooltip(Shortcuts.OPEN_PARENT_SYSTEM_EDITOR.get().getDisplayText()));
 
             viewSwitchButtons.getChildren().add(parentSystemSwitchButton);
         }
diff --git a/src/main/java/org/gecko/view/views/ViewElementPane.java b/src/main/java/org/gecko/view/views/ViewElementPane.java
index 6f5d2df0..7051cefb 100644
--- a/src/main/java/org/gecko/view/views/ViewElementPane.java
+++ b/src/main/java/org/gecko/view/views/ViewElementPane.java
@@ -35,14 +35,17 @@ public class ViewElementPane {
     @Getter
     private final Set<ViewElement<?>> elements;
 
+    private static final Point2D DEFAULT_MEASURE = new Point2D(0, 0);
+    private static final int DEFAULT_PADDING = 0;
+
     public ViewElementPane(EditorViewModel evm) {
         this.world = new Pane();
         this.pane = new ScrollPane();
-        this.offset = new SimpleObjectProperty<>(new Point2D(0, 0));
-        this.widthPadding = new SimpleDoubleProperty(0);
-        this.heightPadding = new SimpleDoubleProperty(0);
-        this.minWorldPosition = new Point2D(0, 0);
-        this.maxWorldPosition = new Point2D(0, 0);
+        this.offset = new SimpleObjectProperty<>(DEFAULT_MEASURE);
+        this.widthPadding = new SimpleDoubleProperty(DEFAULT_PADDING);
+        this.heightPadding = new SimpleDoubleProperty(DEFAULT_PADDING);
+        this.minWorldPosition = DEFAULT_MEASURE;
+        this.maxWorldPosition = DEFAULT_MEASURE;
         this.elements = new HashSet<>();
         this.evm = evm;
 
diff --git a/src/main/java/org/gecko/view/views/viewelement/BlockViewElement.java b/src/main/java/org/gecko/view/views/viewelement/BlockViewElement.java
index 284dee9f..be3d7d35 100644
--- a/src/main/java/org/gecko/view/views/viewelement/BlockViewElement.java
+++ b/src/main/java/org/gecko/view/views/viewelement/BlockViewElement.java
@@ -25,12 +25,13 @@ public abstract class BlockViewElement extends Pane {
     private boolean selected;
 
     protected static final int BACKGROUND_ROUNDING = 15;
+    private static final Point2D DEFAULT_EDGE_POINT_POSITION = new Point2D(0, 0);
 
     protected BlockViewElement(PositionableViewModelElement<? extends Element> positionableViewModelElement) {
         // Initialize edge points for a rectangular shaped block
         this.edgePoints = FXCollections.observableArrayList();
         for (int i = 0; i < 4; i++) {
-            edgePoints.add(new SimpleObjectProperty<>(new Point2D(0, 0)));
+            edgePoints.add(new SimpleObjectProperty<>(DEFAULT_EDGE_POINT_POSITION));
         }
 
         // Auto calculate new edge points on size and position changes
@@ -48,7 +49,7 @@ private void calculateEdgePoints(PositionableViewModelElement<?> target) {
         Point2D position = target.getPosition();
         double width = target.getSize().getX();
         double height = target.getSize().getY();
-        edgePoints.get(0).setValue(position.add(new Point2D(0, 0)));
+        edgePoints.get(0).setValue(position.add(DEFAULT_EDGE_POINT_POSITION));
         edgePoints.get(1).setValue(position.add(new Point2D(width, 0)));
         edgePoints.get(2).setValue(position.add(new Point2D(width, height)));
         edgePoints.get(3).setValue(position.add(new Point2D(0, height)));
diff --git a/src/main/java/org/gecko/view/views/viewelement/ConnectionViewElement.java b/src/main/java/org/gecko/view/views/viewelement/ConnectionViewElement.java
index 25119472..de268309 100644
--- a/src/main/java/org/gecko/view/views/viewelement/ConnectionViewElement.java
+++ b/src/main/java/org/gecko/view/views/viewelement/ConnectionViewElement.java
@@ -51,6 +51,8 @@ public abstract class ConnectionViewElement extends Path {
      */
     protected List<Pair<DoubleProperty, DoubleProperty>> renderPathSource;
 
+    private static final int DEFAULT_STROKE_WIDTH = 5;
+
     protected ConnectionViewElement(ObservableList<Property<Point2D>> path) {
         this.pathSource = path;
         this.isLoopProperty = new SimpleBooleanProperty(false);
@@ -63,7 +65,7 @@ protected ConnectionViewElement(ObservableList<Property<Point2D>> path) {
         isLoopProperty.addListener((observable, oldValue, newValue) -> updatePathVisualization());
         orientationProperty.addListener((observable, oldValue, newValue) -> updatePathVisualization());
 
-        setStrokeWidth(5);
+        setStrokeWidth(DEFAULT_STROKE_WIDTH);
         getStyleClass().add(STYLE_CLASS);
     }
 
diff --git a/src/main/java/org/gecko/view/views/viewelement/EdgeViewElement.java b/src/main/java/org/gecko/view/views/viewelement/EdgeViewElement.java
index dd37dadd..10c69f47 100644
--- a/src/main/java/org/gecko/view/views/viewelement/EdgeViewElement.java
+++ b/src/main/java/org/gecko/view/views/viewelement/EdgeViewElement.java
@@ -179,7 +179,6 @@ public ObservableList<Property<Point2D>> getEdgePoints() {
     @Override
     public boolean setEdgePoint(int index, Point2D point) {
         if (index == 0) {
-
             edgeViewModel.setStartPoint(point);
             return true;
         } else if (index == 1) {
diff --git a/src/main/java/org/gecko/view/views/viewelement/RegionViewElement.java b/src/main/java/org/gecko/view/views/viewelement/RegionViewElement.java
index 0d4646af..898ccb8e 100644
--- a/src/main/java/org/gecko/view/views/viewelement/RegionViewElement.java
+++ b/src/main/java/org/gecko/view/views/viewelement/RegionViewElement.java
@@ -38,6 +38,13 @@ public class RegionViewElement extends BlockViewElement implements ViewElement<R
 
     private static final String STYLE = "region-view-element";
     private static final String INNER_STYLE = "region-inner-view-element";
+    private static final String LABELS = "Labels";
+    private static final String NAME_KEY = "name";
+    private static final String PRE_CONDITION_SHORT_KEY = "pre_condition_short";
+    private static final String POST_CONDITION_SHORT_KEY = "post_condition_short";
+    private static final String INVARIANT_KEY = "invariant_short";
+
+
 
     public RegionViewElement(RegionViewModel regionViewModel) {
         super(regionViewModel);
@@ -112,16 +119,16 @@ private void constructViewElement() {
         GridPane gridPane = new GridPane();
         gridPane.getStyleClass().add(INNER_STYLE);
 
-        Label nameDesc = new Label(ResourceHandler.getString("Labels", "name") + ": ");
+        Label nameDesc = new Label(ResourceHandler.getString(LABELS, NAME_KEY) + ": ");
         Label name = new Label();
         name.textProperty().bind(nameProperty);
-        Label preConditionDesc = new Label(ResourceHandler.getString("Labels", "pre_condition_short") + ": ");
+        Label preConditionDesc = new Label(ResourceHandler.getString(LABELS, PRE_CONDITION_SHORT_KEY) + ": ");
         Label preCondition = new Label();
         preCondition.textProperty().bind(regionViewModel.getContract().getPreConditionProperty());
-        Label postConditionDesc = new Label(ResourceHandler.getString("Labels", "post_condition_short") + ": ");
+        Label postConditionDesc = new Label(ResourceHandler.getString(LABELS, POST_CONDITION_SHORT_KEY) + ": ");
         Label postCondition = new Label();
         postCondition.textProperty().bind(regionViewModel.getContract().getPostConditionProperty());
-        Label invariantDesc = new Label(ResourceHandler.getString("Labels", "invariant_short") + ": ");
+        Label invariantDesc = new Label(ResourceHandler.getString(LABELS, INVARIANT_KEY) + ": ");
         Label invariant = new Label();
         invariant.textProperty().bind(invariantProperty);
         gridPane.add(nameDesc, 0, 0);
diff --git a/src/main/java/org/gecko/view/views/viewelement/SystemViewElement.java b/src/main/java/org/gecko/view/views/viewelement/SystemViewElement.java
index 161911e6..399da727 100644
--- a/src/main/java/org/gecko/view/views/viewelement/SystemViewElement.java
+++ b/src/main/java/org/gecko/view/views/viewelement/SystemViewElement.java
@@ -31,6 +31,7 @@
 public class SystemViewElement extends BlockViewElement implements ViewElement<SystemViewModel> {
 
     private static final int Z_PRIORITY = 30;
+    private static final int PORT_SPACING = 10;
 
     private final SystemViewModel systemViewModel;
     @Getter
@@ -187,7 +188,7 @@ private List<HBox> setupPortContainers() {
             //Center names vertically and space them out
             VBox.setVgrow(aligner, Priority.ALWAYS);
             aligner.setAlignment(Pos.CENTER);
-            aligner.setSpacing(10);
+            aligner.setSpacing(PORT_SPACING);
             container.getChildren().add(aligner);
             //Width isn't set yet, so we need to listen to it
             widthProperty().addListener((observable, oldValue, newValue) -> {
diff --git a/src/main/java/org/gecko/view/views/viewelement/decorator/SelectableViewElementDecorator.java b/src/main/java/org/gecko/view/views/viewelement/decorator/SelectableViewElementDecorator.java
index aeda331c..1e6a5923 100644
--- a/src/main/java/org/gecko/view/views/viewelement/decorator/SelectableViewElementDecorator.java
+++ b/src/main/java/org/gecko/view/views/viewelement/decorator/SelectableViewElementDecorator.java
@@ -10,6 +10,7 @@
  * It holds a reference to a Group containing the drawn target and borderline Path
  */
 public class SelectableViewElementDecorator extends ViewElementDecorator {
+    private static final String SELECTED_BORDER_STYLE_CLASS = "selected-border";
 
     public SelectableViewElementDecorator(ViewElement<?> decoratorTarget) {
         super(decoratorTarget);
@@ -23,9 +24,9 @@ public Node drawElement() {
     @Override
     public void setSelected(boolean selected) {
         if (selected) {
-            getDecoratorTarget().drawElement().getStyleClass().add("selected-border");
+            getDecoratorTarget().drawElement().getStyleClass().add(SELECTED_BORDER_STYLE_CLASS);
         } else {
-            getDecoratorTarget().drawElement().getStyleClass().remove("selected-border");
+            getDecoratorTarget().drawElement().getStyleClass().remove(SELECTED_BORDER_STYLE_CLASS);
         }
         super.setSelected(selected);
         getDecoratorTarget().setSelected(selected);
diff --git a/src/main/java/org/gecko/viewmodel/BlockViewModelElement.java b/src/main/java/org/gecko/viewmodel/BlockViewModelElement.java
index 7f940c93..c3d1b255 100644
--- a/src/main/java/org/gecko/viewmodel/BlockViewModelElement.java
+++ b/src/main/java/org/gecko/viewmodel/BlockViewModelElement.java
@@ -17,6 +17,7 @@ public abstract class BlockViewModelElement<T extends Element & org.gecko.model.
     extends PositionableViewModelElement<T> implements Renamable {
     public static final double MIN_WIDTH = 100;
     public static final double MIN_HEIGHT = 100;
+    protected static final double HALF = 0.5;
 
     private final StringProperty nameProperty;
 
@@ -61,7 +62,7 @@ public boolean manipulate(@NonNull Point2D firstCornerPoint, @NonNull Point2D se
 
     @Override
     public Point2D getCenter() {
-        return positionProperty.getValue().add(sizeProperty.getValue().multiply(0.5));
+        return positionProperty.getValue().add(sizeProperty.getValue().multiply(HALF));
     }
 
     @Override
diff --git a/src/main/java/org/gecko/viewmodel/EditorViewModel.java b/src/main/java/org/gecko/viewmodel/EditorViewModel.java
index 8221a5e9..759e27c3 100644
--- a/src/main/java/org/gecko/viewmodel/EditorViewModel.java
+++ b/src/main/java/org/gecko/viewmodel/EditorViewModel.java
@@ -47,6 +47,8 @@
 public class EditorViewModel {
     private static final double MAX_ZOOM_SCALE = 2.5;
     private static final double MIN_ZOOM_SCALE = 0.1;
+    private static final double DEFAULT_ZOOM_SCALE = 1;
+    private static final Point2D INITIAL_PIVOT = new Point2D(0, 0);
     private final int id;
     private final ActionManager actionManager;
     private final SystemViewModel currentSystem;
@@ -77,8 +79,8 @@ public EditorViewModel(
         this.selectionManager = new SelectionManager();
         this.currentToolProperty = new SimpleObjectProperty<>();
         this.focusedElementProperty = new SimpleObjectProperty<>();
-        this.pivotProperty = new SimpleObjectProperty<>(new Point2D(0, 0));
-        this.zoomScaleProperty = new SimpleDoubleProperty(1);
+        this.pivotProperty = new SimpleObjectProperty<>(INITIAL_PIVOT);
+        this.zoomScaleProperty = new SimpleDoubleProperty(DEFAULT_ZOOM_SCALE);
         this.needsRefocusProperty = new SimpleBooleanProperty(false);
         initializeTools();
 
diff --git a/src/main/java/org/gecko/viewmodel/PortViewModel.java b/src/main/java/org/gecko/viewmodel/PortViewModel.java
index e29ea65e..c53fd09c 100644
--- a/src/main/java/org/gecko/viewmodel/PortViewModel.java
+++ b/src/main/java/org/gecko/viewmodel/PortViewModel.java
@@ -26,13 +26,16 @@ public class PortViewModel extends BlockViewModelElement<Variable> {
     private final Property<Point2D> systemPortPositionProperty;
     private final Property<Point2D> systemPortSizeProperty;
 
+    private static final Point2D DEFAULT_PORT_SIZE = new Point2D(100, 50);
+    private static final Point2D DEFAULT_SYSTEM_PORT_SIZE = new Point2D(0, 0);
+
     public PortViewModel(int id, @NonNull Variable target) {
         super(id, target);
         this.visibilityProperty = new SimpleObjectProperty<>(target.getVisibility());
         this.typeProperty = new SimpleStringProperty(target.getType());
-        this.sizeProperty.setValue(new Point2D(100, 50));
-        this.systemPortPositionProperty = new SimpleObjectProperty<>(new Point2D(0, 0));
-        this.systemPortSizeProperty = new SimpleObjectProperty<>(new Point2D(0, 0));
+        this.sizeProperty.setValue(DEFAULT_PORT_SIZE);
+        this.systemPortPositionProperty = new SimpleObjectProperty<>(PositionableViewModelElement.DEFAULT_POSITION);
+        this.systemPortSizeProperty = new SimpleObjectProperty<>(DEFAULT_SYSTEM_PORT_SIZE);
     }
 
     public void setSystemPortPosition(@NonNull Point2D position) {
diff --git a/src/main/java/org/gecko/viewmodel/PositionableViewModelElement.java b/src/main/java/org/gecko/viewmodel/PositionableViewModelElement.java
index 53977337..93d6f654 100644
--- a/src/main/java/org/gecko/viewmodel/PositionableViewModelElement.java
+++ b/src/main/java/org/gecko/viewmodel/PositionableViewModelElement.java
@@ -26,10 +26,13 @@ public abstract class PositionableViewModelElement<T extends Element> extends Ab
 
     private final Set<PositionableViewModelElement<?>> observers;
 
+    protected static final Point2D DEFAULT_POSITION = new Point2D(0, 0);
+    private static final Point2D DEFAULT_SIZE = new Point2D(200, 300);
+
     PositionableViewModelElement(int id, @NonNull T target) {
         super(id, target);
-        this.positionProperty = new SimpleObjectProperty<>(new Point2D(0, 0));
-        this.sizeProperty = new SimpleObjectProperty<>(new Point2D(200, 300));
+        this.positionProperty = new SimpleObjectProperty<>(DEFAULT_POSITION);
+        this.sizeProperty = new SimpleObjectProperty<>(DEFAULT_SIZE);
         this.observers = new HashSet<>();
         this.isCurrentlyModified = new SimpleBooleanProperty(false);
     }
diff --git a/src/main/java/org/gecko/viewmodel/RegionViewModel.java b/src/main/java/org/gecko/viewmodel/RegionViewModel.java
index bec8e21d..3d89d883 100644
--- a/src/main/java/org/gecko/viewmodel/RegionViewModel.java
+++ b/src/main/java/org/gecko/viewmodel/RegionViewModel.java
@@ -30,6 +30,8 @@ public class RegionViewModel extends BlockViewModelElement<Region> {
     private final ObservableList<StateViewModel> statesProperty;
     private final ContractViewModel contract;
 
+    private static final int MAXIMUM_RGB_COLOR_VALUE = 255;
+
     public RegionViewModel(
         int id, @NonNull Region target, @NonNull ContractViewModel contract) {
         super(id, target);
@@ -37,12 +39,11 @@ public RegionViewModel(
         this.invariantProperty = new SimpleStringProperty(target.getInvariant().getCondition());
         this.statesProperty = FXCollections.observableArrayList();
 
-        // TODO Alternatives: Fixed default color or random color from given palette.
         Random random = new Random(java.lang.System.currentTimeMillis());
-        int red = random.nextInt(255);
-        int green = random.nextInt(255);
-        int blue = random.nextInt(255);
-        this.colorProperty = new SimpleObjectProperty<>(Color.rgb(red, green, blue, 0.5));
+        int red = random.nextInt(MAXIMUM_RGB_COLOR_VALUE);
+        int green = random.nextInt(MAXIMUM_RGB_COLOR_VALUE);
+        int blue = random.nextInt(MAXIMUM_RGB_COLOR_VALUE);
+        this.colorProperty = new SimpleObjectProperty<>(Color.rgb(red, green, blue, BlockViewModelElement.HALF));
     }
 
     @Override
diff --git a/src/main/java/org/gecko/viewmodel/StateViewModel.java b/src/main/java/org/gecko/viewmodel/StateViewModel.java
index 232a763c..82ff7f34 100644
--- a/src/main/java/org/gecko/viewmodel/StateViewModel.java
+++ b/src/main/java/org/gecko/viewmodel/StateViewModel.java
@@ -210,7 +210,7 @@ private int getIntersectionOrientation(Point2D p1, Point2D p2) {
                 getPosition().add(0, getSize().getY())));
         for (int i = 0; i < edgePoints.size(); i++) {
             Point2D p3 = edgePoints.get(i);
-            Point2D p4 = edgePoints.get((i + 1) % 4);
+            Point2D p4 = edgePoints.get((i + 1) % ORIENTATIONS);
             if (lineIntersectsLine(p1, p2, p3, p4)) {
                 return i;
             }
diff --git a/src/main/java/org/gecko/viewmodel/SystemViewModel.java b/src/main/java/org/gecko/viewmodel/SystemViewModel.java
index e61344b6..557f7318 100644
--- a/src/main/java/org/gecko/viewmodel/SystemViewModel.java
+++ b/src/main/java/org/gecko/viewmodel/SystemViewModel.java
@@ -27,11 +27,13 @@ public class SystemViewModel extends BlockViewModelElement<System> {
     private final ListProperty<PortViewModel> portsProperty;
     private StateViewModel startState;
 
+    private static final Point2D DEFAULT_SYSTEM_SIZE = new Point2D(300, 300);
+
     public SystemViewModel(int id, @NonNull System target) {
         super(id, target);
         this.codeProperty = new SimpleStringProperty(target.getCode());
         this.portsProperty = new SimpleListProperty<>(FXCollections.observableArrayList());
-        this.sizeProperty.setValue(new Point2D(300, 300));
+        this.sizeProperty.setValue(DEFAULT_SYSTEM_SIZE);
     }
 
     public List<PortViewModel> getPorts() {
diff --git a/src/main/java/org/gecko/viewmodel/ViewModelFactory.java b/src/main/java/org/gecko/viewmodel/ViewModelFactory.java
index 80acf2b2..0ed16107 100644
--- a/src/main/java/org/gecko/viewmodel/ViewModelFactory.java
+++ b/src/main/java/org/gecko/viewmodel/ViewModelFactory.java
@@ -31,6 +31,10 @@ public class ViewModelFactory {
     private final ModelFactory modelFactory;
     private final GeckoViewModel geckoViewModel;
 
+    private static final int PLUS = 1;
+    private static final int MINUS = -1;
+    private static final double HALF = 0.5;
+
     public ViewModelFactory(ActionManager actionManager, GeckoViewModel geckoViewModel, ModelFactory modelFactory) {
         this.actionManager = actionManager;
         this.geckoViewModel = geckoViewModel;
@@ -285,9 +289,9 @@ private System findSystemWithState(System parentSystem, State state) {
     }
 
     private Point2D calculateEndPortPosition(Point2D position, Point2D size, Visibility visibility, boolean isPort) {
-        int sign = isPort ? 1 : -1;
-        return position.add(size.multiply(0.5))
-            .subtract((visibility == Visibility.INPUT ? 1 : -1) * sign * size.getX() / 2, 0);
+        int sign = isPort ? PLUS : MINUS;
+        return position.add(size.multiply(HALF))
+            .subtract((visibility == Visibility.INPUT ? PLUS : MINUS) * sign * size.getX() / 2, 0);
     }
 
     private boolean isPort(SystemViewModel systemViewModel, PortViewModel portViewModel) {
diff --git a/src/test/java/org/gecko/io/FileTypesTest.java b/src/test/java/org/gecko/io/FileTypesTest.java
index 4b54186b..5febe1a9 100644
--- a/src/test/java/org/gecko/io/FileTypesTest.java
+++ b/src/test/java/org/gecko/io/FileTypesTest.java
@@ -7,7 +7,7 @@
 public class FileTypesTest {
     @Test
     void getFileNameRegex() {
-        assertEquals("*.json", FileTypes.JSON.getFileNameRegex());
-        assertEquals("*.sys", FileTypes.SYS.getFileNameRegex());
+        assertEquals("*.json", FileTypes.JSON.getFileNameGlob());
+        assertEquals("*.sys", FileTypes.SYS.getFileNameGlob());
     }
 }