Software Map
Project Tree
Now limiting view to projects in the following categories:
Intended Audience :: Developers [Remove This Filter]
License :: CeCILL-C [Remove This Filter]
2 projects in result set.
Alignment API
- The Alignment API allows various ontology matchers to share the same format and interface for accessing matching results. It also features a reference implementation and the Alignment server.
|
- Development Status : 5 - Production/Stable[Filter]
- Environment : Console \(Text Based\)[Filter]
- Environment : Web Environment[Filter]
- Intended Audience : Developers (Now Filtering)
- Kind : Software[Filter]
- License : CeCILL-C (Now Filtering)
- License : OSI Approved : GNU Lesser General Public License \(LGPL\)[Filter]
- Natural Language : English[Filter]
- Operating System : OS Independent[Filter]
- Programming Language : Java[Filter]
- Research center : Montbonnot[Filter]
- Topic : Scientific/Engineering : Artificial Intelligence[Filter]
|
Registered: 2005-10-13 12:08 |
Euclide
- Euclide is a Constraint-Based Testing tool for verfying safety-critical C programs. It has three main applications: structural test data generation, counter-example generation, and partial program proving. It runs SICStus Prolog.
|
- Development Status : 2 - Pre-Alpha[Filter]
- Environment : Web Environment[Filter]
- Intended Audience : Developers (Now Filtering)
- Kind : Software[Filter]
- License : CeCILL-C (Now Filtering)
- Natural Language : English[Filter]
- Natural Language : French[Filter]
- Operating System : OS Independent[Filter]
- Programming Language : Prolog[Filter]
- Research center : Rennes[Filter]
- Topic : Scientific/Engineering[Filter]
- Topic : Software Development[Filter]
|
Activity Percentile: 14.37
Registered: 2008-11-24 17:53 |
