ModelWriter/WP3

Issues

• Integrate Tarski Visualization panel with AlloyInEcore Instance editor

  #40 opened 7 years ago by ferhaterata
  0

• Examine Java Pathfinder (JPF) project of NASA for verification of Java programs.

  #53 opened 8 years ago by ferhaterata
  0

• Save a textually defined instance as an ECore instance

  #35 opened 8 years ago by ferhaterata
  0

• Unnecessary dependencies

  #22 opened 9 years ago by emrekirmizi
  0

• Improve folding algorithm.

  #27 opened 8 years ago by ferhaterata
  0

• Add a context menu item for each element to delete the associated context from the program.

  #28 opened 8 years ago by ferhaterata
  0

• Check whether an instance conforms to its model without using ECore

  #33 opened 8 years ago by ferhaterata
  0

• If a model is declared for an instance, resolve the class of each eObject and show in the content outline page

  #34 opened 8 years ago by ferhaterata
  0

• Add a context menu item for each slot of an eObject or an eObject on Content Outline of Instance Editor to create the associated context on the program

  #41 opened 8 years ago by ferhaterata
  0

• Prepare D3.2.1 M2M Transformation Framework architectural design document

  #10 opened 7 years ago by ferhaterata
  0

• Transformation of Ecore Models into Java Compilation Units using Eclipse JDT (Java Development Tools) to get warnings such as unused types besides type checking and detecting various semantic errors of language constructs

  #51 opened 8 years ago by ferhaterata
  0

• Transformation of Ecore Models and Constraints into Alloy Specifications for type checking and various semantic errors of expressions and formulas

  #46 opened 8 years ago by ferhaterata
  0

• Investigate Java Collection Package in the context of sets and lists

  #43 opened 8 years ago by ferhaterata
  0

• Resolve Variables and Relations while parsing using semantic predicates of ANTLR

  #30 opened 7 years ago by ferhaterata
  0

• Implement a first version for KodKod Interpretation of ECore Models and Instances

  #37 opened 7 years ago by ferhaterata
  0

• Investigate the possibility of using the type system of Z formal specification language (Spivey's Z).

  #52 opened 8 years ago by ferhaterata
  0

• Finalize content assist features indicated in the following task list

  #29 opened 8 years ago by ferhaterata
  1

• Examine Java Interactive Visualization Environment (JIVE)

  #54 opened 8 years ago by ferhaterata
  0

• Go to declaration of an element defined in another resource

  #38 opened 8 years ago by ferhaterata
  0

• Preserve the order of EModelElements while translating them into textual format using possibly ETreeIterator

  #48 opened 8 years ago by ferhaterata
  1

• Notify errors of name collisions in the namespace hierarchy

  #32 opened 8 years ago by ferhaterata
  0

• Resolve names using the namespace approach that OMG proposed or using JAVA approach

  #31 opened 8 years ago by ferhaterata
  0

• Keywords such as Class, Enum are not mapped to corresponding tokens

  #49 opened 8 years ago by ferhaterata
  1

• Improve Numeric Parsing Algorithm as similar shown in the followings

  #45 opened 8 years ago by ferhaterata
  1

• Assess the feasibility and benefits of encoding UML 2.5 abstract syntax and semantics in AlloyInEcore to generate the java implementation automatically.

  #55 opened 8 years ago by ferhaterata
  0

• Auto-complete incomplete words when pressed C+space (actually it works when empty)

  #50 opened 8 years ago by ferhaterata
  0

• Move ECore and EObject translators to Core project with JUnit tests.

  #47 opened 8 years ago by ferhaterata
  0

• Transformation of Ecore Models into Java Compilation Units for type checking and various semantic errors of language constructs

  #39 opened 8 years ago by ferhaterata
  0

• there must be syntax highlighting scheme for keywords of formulas and expressions.

  #26 opened 8 years ago by ferhaterata
  0

• Highlight 'super' keyword in type parameters of class definitions

  #44 opened 8 years ago by ferhaterata
  0

• EcoreTranslator: order of features in a class should be as such EAttribute, EReference and EOperation

  #42 opened 8 years ago by ferhaterata
  0

• Create a fast fuzzy parser for instance declarations

  #36 opened 8 years ago by ferhaterata
  0

• Check the first TreeSelection in ChangeListener for first changing

  #14 opened 8 years ago by ferhaterata
  0

• Displaying problem of nested annotations

  #15 opened 9 years ago by ferhaterata
  0

• When markers are deleted in MarkerView, ProjectExplorer doesn't refresh

  #18 opened 9 years ago by serhat93
  0

• When parent has been removed, check children and if there is a marker, remove it.

  #13 opened 9 years ago by ferhaterata
  0

• Add markertype to exist marker

  #21 opened 9 years ago by emrekirmizi
  0

• CountMarkersForFile will be added to Command

  #19 opened 9 years ago by serhat93
  0

• When Ecore is closed without saving action, markers don't revert to old version

  #17 opened 9 years ago by serhat93
  0

• Test Task

  #12 opened 9 years ago by ferhaterata
  1

• Closing the visibility of markers

  #16 opened 9 years ago by ferhaterata
  1

• Test

  #20 opened 9 years ago by emrekirmizi
  0

• Test Backlog #4

  #5 opened 10 years ago by ferhaterata
  0

• Test Backlog #5

  #6 opened 10 years ago by ferhaterata
  0

• Test Backlog #1: Collect requirements (user stories) for each use case

  #1 opened 10 years ago by ferhaterata
  0

• Test Backlog #2: ..

  #2 opened 10 years ago by ferhaterata
  0

• Test Backlog #3: ...

  #3 opened 10 years ago by ferhaterata
  1