ModelWriter/WP3

Issues

• DO-178C certification activities required for Level A software.

  #85 opened 8 years ago by ferhaterata
  1

• Relational Reasoning via SMT Solving, Encode Alloy example, Filesystem in Z3

  #96 opened 8 years ago by ferhaterata
  8

• Examine OpenJML - formal methods tool for Java and the Java Modeling Language (JML)

  #60 opened 8 years ago by ferhaterata
  0

• Examine "The Java Modeling Language" (JML)

  #61 opened 8 years ago by ferhaterata
  0

• Extend Core Requirement Traceability Model with Implementation Sort and Satisfies relation

  #93 opened 8 years ago by ferhaterata
  1

• Decision procedure for Requirement Traceability Semantics

  #105 opened 8 years ago by ferhaterata
  0

• Analyze Havelsan Dataset with regards to Requirement Core Traceability Model.

  #92 opened 8 years ago by ferhaterata
  0

• Refining Alloy Specifications in Java (code synthesis)

  #89 opened 8 years ago by ferhaterata
  0

• Compare UNSAT results of Requirement Traceability Theory with TRIC using Requirement Traceability Data-set

  #91 opened 8 years ago by ferhaterata
  0

• Examine thoroughly the paper, "A Type System for Object Models" to understand Alloy's Type System.

  #70 opened 8 years ago by ferhaterata
  0

• Prevent cyclic imports provided by user

  #84 opened 8 years ago by ferhaterata
  1

• UML Package Template Mechanism and Alloy Parametric Modules

  #78 opened 8 years ago by ferhaterata
  0

• Ambiguity

  #90 opened 8 years ago by emrekirmizi
  0

• Discuss the idea of synchronized token streams of different lexers built on top of ANTLR parser technology

  #71 opened 8 years ago by ferhaterata
  0

• Create hyperlinks to open elements in EcoreEditor

  #77 opened 8 years ago by y3seker
  0

• Examine Archer Tool

  #106 opened 7 years ago by ferhaterata
  0

• Compare KodKod Results of Requirement Traceability Theory using Requirement Traceability Data-set with Z3 and CVC4 Results

  #98 opened 8 years ago by ferhaterata
  0

• Encode Alloy example, Theory of Lists in Z3

  #101 opened 8 years ago by ferhaterata
  0

• Encode Alloy example, Address Book in Z3

  #103 opened 8 years ago by ferhaterata
  0

• Encode Alloy example, Birthday Book in Z3

  #102 opened 8 years ago by ferhaterata
  0

• Design several well-known example in AIE such as FileSystem or AddressBook of Alloy, BirthdayBook of Spivey Z, or Theory of Lists presented by Emina Torlak etc.

  #73 opened 8 years ago by ferhaterata
  0

• Add a language construct to import an instance in instance editor

  #79 opened 8 years ago by ferhaterata
  0

• Encode Core Requirement Traceability Theory in KodKod Model Finder (Java)

  #95 opened 8 years ago by ferhaterata
  0

• Transforming Ecore structures (Multiple State and Type Inheritance, Composition) to Alloy Specification

  #87 opened 8 years ago by ferhaterata
  0

• [Bug] contains relation must be defined as an injective relation

  #104 opened 7 years ago by ferhaterata
  0

• [Bug] Instance Translator cannot properly set exact scope for top-level signatures more than one

  #100 opened 8 years ago by ferhaterata
  1

• [Bug] Instance Translator cannot match brackets while removing Reason@Relation fact regions

  #99 opened 8 years ago by ferhaterata
  0

• Generate Exact Bound for Transitive and Symmetric Closures of contain and similar relations (Quantifier Elimination by Grounding)

  #94 opened 8 years ago by ferhaterata
  0

• Axiomatisation of Alloy Type System in Equality Logic with Uninterpreted Functions (Java)

  #97 opened 8 years ago by ferhaterata
  0

• Examine 'FreeMarker' template engine project from Apache

  #74 opened 8 years ago by ferhaterata
  0

• Examine "javasymbolsolver" (A Symbol Solver for Java built on top of JavaParser) project

  #68 opened 8 years ago by ferhaterata
  0

• Examine "javaparser" (Java 1.8 Parser and Abstract Syntax Tree for Java) project

  #67 opened 8 years ago by ferhaterata
  0

• Relationship between Alloy and UML? (replied by prof. Daniel Jackson)

  #88 opened 8 years ago by ferhaterata
  0

• No compilation proposals in type parameter's super types

  #76 opened 8 years ago by y3seker
  0

• Adapt code completion accordingly after changes of importing full package to AST in Model Editor

  #82 opened 8 years ago by ferhaterata
  0

• Transformation of AIE instance to Alloy visualization input.

  #65 opened 8 years ago by emrekirmizi
  0

• Investigate the possibility of using "Universe Type System" of Java Modeling Language (JML)

  #69 opened 8 years ago by ferhaterata
  0

• Extended Static Checker for Java version 2 (ESC/Java2)

  #86 opened 8 years ago by ferhaterata
  0

• Adapt "hyperlink detection" and "open declaration" features accordingly after changes of importing full package to AST in Model Editor

  #83 opened 8 years ago by ferhaterata
  0

• Use AlloyInEcore.g4 instead of Imports.g4 for imports in Model Editor

  #81 opened 8 years ago by ferhaterata
  0

• Introduce Package Template mechanism to Model Editor (#78)

  #80 opened 8 years ago by ferhaterata
  0

• Formalize 'subsets' and 'redefines' qualifiers using Ecore annotations. Provide an abstract syntax and concrete syntax appropriately.

  #57 opened 8 years ago by ferhaterata
  0

• Type checking of opposite relations

  #63 opened 8 years ago by y3seker
  0

• Save TypeChecker's output files into a Java project

  #75 opened 8 years ago by y3seker
  0

• Examine "Translating Z to Alloy" paper to understand the language and schema calculus in the context of Alloy Semantics

  #72 opened 8 years ago by ferhaterata
  0

• Translation of AlloyInEcore models to Z Specification Language using CZT Corejava

  #56 opened 8 years ago by ferhaterata
  0

• AIE Editor can't edit files that are outside of Eclipse workpace

  #66 opened 8 years ago by y3seker
  0

• Code compilation of opposite relations

  #64 opened 8 years ago by y3seker
  0

• Instance imports don't resolve in AIE Editor

  #62 opened 8 years ago by y3seker
  1

• Improve Document Lifecycle in terms of Save Operation

  #58 opened 8 years ago by ferhaterata
  2