ModelWriter WP3 issues - Githubissues

ModelWriter / WP3

A Platform for Automated Analysis of Traceability (WP3)

https://modelwriter.github.io/WP3/

Eclipse Public License 1.0

4 stars 1 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Examine Archer Tool

#106 ferhaterata closed 6 years ago
0
Decision procedure for Requirement Traceability Semantics

#105 ferhaterata opened 7 years ago
0
[Bug] contains relation must be defined as an injective relation

#104 ferhaterata closed 6 years ago
0
Encode Alloy example, Address Book in Z3

#103 ferhaterata opened 7 years ago
0
Encode Alloy example, Birthday Book in Z3

#102 ferhaterata opened 7 years ago
0
Encode Alloy example, Theory of Lists in Z3

#101 ferhaterata opened 7 years ago
0
[Bug] Instance Translator cannot properly set exact scope for top-level signatures more than one

#100 ferhaterata closed 7 years ago
1
[Bug] Instance Translator cannot match brackets while removing Reason@Relation fact regions

#99 ferhaterata closed 7 years ago
0
Compare KodKod Results of Requirement Traceability Theory using Requirement Traceability Data-set with Z3 and CVC4 Results

#98 ferhaterata opened 7 years ago
0
Axiomatisation of Alloy Type System in Equality Logic with Uninterpreted Functions (Java)

#97 ferhaterata opened 7 years ago
0
Relational Reasoning via SMT Solving, Encode Alloy example, Filesystem in Z3

#96 ferhaterata opened 7 years ago
8
Encode Core Requirement Traceability Theory in KodKod Model Finder (Java)

#95 ferhaterata opened 7 years ago
0
Generate Exact Bound for Transitive and Symmetric Closures of contain and similar relations (Quantifier Elimination by Grounding)

#94 ferhaterata closed 7 years ago
0
Extend Core Requirement Traceability Model with Implementation Sort and Satisfies relation

#93 ferhaterata opened 7 years ago
1
Analyze Havelsan Dataset with regards to Requirement Core Traceability Model.

#92 ferhaterata opened 7 years ago
0
Compare UNSAT results of Requirement Traceability Theory with TRIC using Requirement Traceability Data-set

#91 ferhaterata opened 7 years ago
0
Ambiguity

#90 emrekirmizi opened 7 years ago
0
Refining Alloy Specifications in Java (code synthesis)

#89 ferhaterata opened 7 years ago
0
Relationship between Alloy and UML? (replied by prof. Daniel Jackson)

#88 ferhaterata opened 7 years ago
0
Transforming Ecore structures (Multiple State and Type Inheritance, Composition) to Alloy Specification

#87 ferhaterata opened 7 years ago
0
Extended Static Checker for Java version 2 (ESC/Java2)

#86 ferhaterata opened 7 years ago
0
DO-178C certification activities required for Level A software.

#85 ferhaterata opened 7 years ago
1
Prevent cyclic imports provided by user

#84 ferhaterata opened 7 years ago
1
Adapt "hyperlink detection" and "open declaration" features accordingly after changes of importing full package to AST in Model Editor

#83 ferhaterata closed 7 years ago
0
Adapt code completion accordingly after changes of importing full package to AST in Model Editor

#82 ferhaterata opened 7 years ago
0
Use AlloyInEcore.g4 instead of Imports.g4 for imports in Model Editor

#81 ferhaterata closed 7 years ago
0
Introduce Package Template mechanism to Model Editor (#78)

#80 ferhaterata opened 7 years ago
0
Add a language construct to import an instance in instance editor

#79 ferhaterata opened 7 years ago
0
UML Package Template Mechanism and Alloy Parametric Modules

#78 ferhaterata opened 7 years ago
0
Create hyperlinks to open elements in EcoreEditor

#77 y3seker opened 7 years ago
0
No compilation proposals in type parameter's super types

#76 y3seker closed 7 years ago
0
Save TypeChecker's output files into a Java project

#75 y3seker closed 7 years ago
0
Examine 'FreeMarker' template engine project from Apache

#74 ferhaterata opened 7 years ago
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 ferhaterata opened 7 years ago
0
Examine "Translating Z to Alloy" paper to understand the language and schema calculus in the context of Alloy Semantics

#72 ferhaterata opened 7 years ago
0
Discuss the idea of synchronized token streams of different lexers built on top of ANTLR parser technology

#71 ferhaterata opened 7 years ago
0
Examine thoroughly the paper, "A Type System for Object Models" to understand Alloy's Type System.

#70 ferhaterata opened 7 years ago
0
Investigate the possibility of using "Universe Type System" of Java Modeling Language (JML)

#69 ferhaterata opened 7 years ago
0
Examine "javasymbolsolver" (A Symbol Solver for Java built on top of JavaParser) project

#68 ferhaterata opened 7 years ago
0
Examine "javaparser" (Java 1.8 Parser and Abstract Syntax Tree for Java) project

#67 ferhaterata opened 7 years ago
0
AIE Editor can't edit files that are outside of Eclipse workpace

#66 y3seker opened 7 years ago
0
Transformation of AIE instance to Alloy visualization input.

#65 emrekirmizi closed 7 years ago
0
Code compilation of opposite relations

#64 y3seker closed 7 years ago
0
Type checking of opposite relations

#63 y3seker closed 7 years ago
0
Instance imports don't resolve in AIE Editor

#62 y3seker closed 7 years ago
1
Examine "The Java Modeling Language" (JML)

#61 ferhaterata opened 7 years ago
0
Examine OpenJML - formal methods tool for Java and the Java Modeling Language (JML)

#60 ferhaterata opened 7 years ago
0
waffle.io Badge

#59 waffle-iron closed 7 years ago
0
Improve Document Lifecycle in terms of Save Operation

#58 ferhaterata closed 7 years ago
2
Formalize 'subsets' and 'redefines' qualifiers using Ecore annotations. Provide an abstract syntax and concrete syntax appropriately.

#57 ferhaterata opened 7 years ago
0