Tag cloud | Project Tree | Project List
Project tree
Now limiting view to projects in the following categories:
Intended Audience :: Developers [Remove This Filter]
Environment :: Other Environment [Remove This Filter]
|
 Topic > Software Development
|
Browse By:
|
1 project in result set.
1. TOPCASED-EventB - This project aims to integrate the event B language into Topcased. Event B is a formal language based on B language using events to describe systems.
|
- Development Status : 2 - Initial Implementation [Filter]
- Environment : Other Environment (Now Filtering)
- Environment : Win32 (MS Windows) [Filter]
- Environment : X11 Applications [Filter]
- Intended Audience : Developers (Now Filtering)
- License : OSI Approved : Eclipse Public License [Filter]
- Natural Language : English [Filter]
- Operating System : MacOS [Filter]
- Operating System : Microsoft : Windows [Filter]
- Operating System : POSIX : Linux [Filter]
- Programming Language : Java [Filter]
- Topic : Scientific/Engineering [Filter]
- Topic : Software Development [Filter]
|
Activity Percentile: 41.18
Activity Ranking: 21.00
Registered: 2008-05-06 11:44 |
