-
Notifications
You must be signed in to change notification settings - Fork 1
Issues: ModelWriter/WP3
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Author
Label
Projects
Milestones
Assignee
Sort
Issues list
Decision procedure for Requirement Traceability Semantics
Alloy
KodKod
Research
SAT
SMT
Traceability
#105
opened Jun 15, 2017 by
ferhaterata
Encode Alloy example, Address Book in Z3
Alloy
completed
SMT
Translation
#103
opened May 29, 2017 by
ferhaterata
Encode Alloy example, Birthday Book in Z3
Alloy
completed
SMT
Translation
#102
opened May 29, 2017 by
ferhaterata
Encode Alloy example, Theory of Lists in Z3
Alloy
completed
SMT
Translation
#101
opened May 29, 2017 by
ferhaterata
Axiomatisation of Alloy Type System in Equality Logic with Uninterpreted Functions (Java)
Alloy
ready
SMT
Translation
#97
opened May 26, 2017 by
ferhaterata
Relational Reasoning via SMT Solving, Encode Alloy example, Filesystem in Z3
Alloy
completed
SMT
Translation
#96
opened May 26, 2017 by
ferhaterata
Encode Core Requirement Traceability Theory in KodKod Model Finder (Java)
completed
Evaluation
KodKod
Traceability
#95
opened May 26, 2017 by
ferhaterata
Analyze Havelsan Dataset with regards to Requirement Core Traceability Model.
Evaluation
HAVELSAN
SotA
Traceability
#92
opened May 25, 2017 by
ferhaterata
Refining Alloy Specifications in Java (code synthesis)
AlloyInEcore
Research
Translation
#89
opened Mar 18, 2017 by
ferhaterata
Relationship between Alloy and UML? (replied by prof. Daniel Jackson)
AlloyInEcore
Research
#88
opened Mar 15, 2017 by
ferhaterata
Extended Static Checker for Java version 2 (ESC/Java2)
AlloyInEcore
Java Verification
Research
#86
opened Mar 14, 2017 by
ferhaterata
DO-178C certification activities required for Level A software.
completed
Traceability
#85
opened Mar 11, 2017 by
ferhaterata
Prevent cyclic imports provided by user
AlloyInEcore
AST
enhancement
Instance
Model
ready
Semantic Analysis
#84
opened Mar 11, 2017 by
ferhaterata
Introduce Package Template mechanism to Model Editor (#78)
AlloyInEcore
AST
Model
ready
Recognizer
#80
opened Mar 11, 2017 by
ferhaterata
Add a language construct to import an instance in instance editor
AlloyInEcore
AST
Instance
ready
Recognizer
#79
opened Mar 11, 2017 by
ferhaterata
UML Package Template Mechanism and Alloy Parametric Modules
AlloyInEcore
Recognizer
SotA
#78
opened Mar 11, 2017 by
ferhaterata
Create hyperlinks to open elements in EcoreEditor
AlloyInEcore
Deferred
Editor
#77
opened Mar 9, 2017 by
y3seker
Examine 'FreeMarker' template engine project from Apache
AlloyInEcore
Deferred
Translation
#74
opened Mar 7, 2017 by
ferhaterata
Previous Next
ProTip!
Type g p on any issue or pull request to go back to the pull request listing page.