Jnario has the goal to make writing executable specifications for Java as simple as possible. It provides two different languages, one for writing high-level acceptance specifications and one for w...
Nuseen is an eclipse-based environment for the model checker NuSMV, with the aim of helping NuSMV users. It mainly focuses in easing the use of the NuSMV tool by means of graphical elements like bu...
Xtend is a statically-typed programming languages for Java developers.
It leverages Java's typesystem and reuses its syntax as far as possible, but cuts down the amount of boilerplate you ha...
With Xtext you can easily create your own programming languages and domain-specific languages (DSLs). The framework supports the development of language infrastructures including compilers and inte...
Excalibur is a tool supporting the Messir methodology, a Scientific Method for the Software Engineering Master, used in Software Engineering Lectures at bachelor and master levels. Excalibur tool c...
JBC is an eclipse plugin that enables the developer to view and edit files containing java byte code (*.class) inside eclipse. This is done in a way such that a specialized editor opens the .class ...
DSL Forge is a generator of domain-specific language (DSL) editors for web applications and cloud IDEs. The tool allows getting automatically web-based textual editors from ANTLR grammars: given a ...
Generate Word documents from Java.
A highly extensible framework, fully integrated in Eclipse.
A very simple language to generate high quality Word documents
With only 30 keywords...
With Xtext you can easily create your own programming languages and domain-specific languages (DSLs). The framework supports the development of language infrastructures including compilers and inte...
Xtend is a statically-typed programming languages for Java developers.
It leverages Java's typesystem and reuses its syntax as far as possible, but cuts down the amount of boilerplate you ha...
Jnario has the goal to make writing executable specifications for Java as simple as possible. It provides two different languages, one for writing high-level acceptance specifications and one for w...
JBC is an eclipse plugin that enables the developer to view and edit files containing java byte code (*.class) inside eclipse. This is done in a way such that a specialized editor opens the .class ...
DSL Forge is a generator of domain-specific language (DSL) editors for web applications and cloud IDEs. The tool allows getting automatically web-based textual editors from ANTLR grammars: given a ...
Generate Word documents from Java.
A highly extensible framework, fully integrated in Eclipse.
A very simple language to generate high quality Word documents
With only 30 keywords...
Excalibur is a tool supporting the Messir methodology, a Scientific Method for the Software Engineering Master, used in Software Engineering Lectures at bachelor and master levels. Excalibur tool c...
Nuseen is an eclipse-based environment for the model checker NuSMV, with the aim of helping NuSMV users. It mainly focuses in easing the use of the NuSMV tool by means of graphical elements like bu...
