Search Results for "c2"

New version 2.0.4 is available since April, 4th 2017 ========================================= Please download from here: https://sourceforge.net/projects/strategystategenerator/files/strategy-state-generator-2.0.4/ Description =========== The *Strategy/State Generator* creates Java Source Code for classes representing strategies of strategy pattern or states of state pattern in a half-automated way. The *State Pattern* and the *Strategy Pattern* are from a technical view identical (see [Design Pattern](http://c2.com/cgi/wiki?StrategyPattern)). Thus the ancestor project [Strategy Generator](https://sourceforge.net/projects/strategygenerator/) has been adapted as new project *Strategy/State Generator* to generate also *State Pattern* Java source code. Please, note, that the API of this project and [Strategy Generator](https://sourceforge.net/projects/strategygenerator/) are similar but not identical. ...

...It enables the user to check whether an OWL ontology contains "all relevant information" about the application domain, and extends the ontology appropriately if this is not the case. It achieves this by asking the user questions of the form "are instances of classes C1 and C2 also instances of class C3?". If the user confirms such a question, then a new axiom of the application domain that does not follow from the ontology has been discovered, and it is added to the ontology. If the user rejects it, the user has to give a counterexample to this question, i.e., an individual that is an instance of C1, C2 and not C3. ...

LDAP Enabled Application Framework(LEAFs), is a J2EE based application framework that couples a strong security model with MVC. The security of LEAFs is modeled after the TCSEC Class 2 (C2) security specification.