Software Map

The TeXlipse plugin adds LaTeX editing support to
the Eclipse IDE. It provides both LaTeX and BibTeX
editors, a project creation wizard, and a complete
user manual of the editor functions. Additional
features include syntax highlighting, document
outline, section folding, command completion, cite
and ref completion, templates, builder
integration, viewer integration with inverse
search, and more. The plugin makes it possible for
LaTeX documents to be edited and built like normal
projects in an IDE, and the viewer support makes
it easy to check the outcome.

Acceleo is a code generator designed to
efficiently implement the MDA approach (Model Driven Architecture) and to improve software development productivity. It is natively integrated with Eclipse and EMF. It includes tools and editors making it easy to learn and to adapt to any kind of project or technology. It provides incremental generation, meta-model interoperability, simple and extensible syntax, template driven customization, and more.

TOPCASED stands for Toolkit in OPen source for Critical Applications and SystEm Development. It is a system and software engineering workshop based on Eclipse. It aims to provide the tools required to go from requirements to the implementation stages. Focused on modeling development engineering, it includes several graphical editors (for ECORE, UML, SysML, SAM, AADL, and more), an OCL rules editor and checker, several code generators (SMUC, UML2C, UML2Java, UML2Python), a document generator, gPM (a ticket tracker), xHDL tools, Tramway (a requirements traceability framework), and more. External tools can be easily connected to the workshop through its API or models.

Aniketos-SSVV (Aniketos Security Service Validation and Verification) provides a series of modules that work together to validate the security properties of a Web service composition. The package is given a selection of service compositions (provided in the form of BPMN processes with Web services bound to the service tasks), along with the security policy to be fulfilled. The package then performs various checks on the services to establish whether each composition satisfies the policy, returning an ordered list (ordered in terms of security) of the services that do. It forms part of the larger Aniketos project comprised of four packages in total.

ODT （OCaml 開発ツール） JDT （Java 開発ツール） eclipse プラグインのようなことを目指します。OCaml アプリケーション開発のための IDE の機能を提供します。Http://ocamldt.free.fr （チュートリアル、インストール ノートなど) についてを参照してください。