MyGforge Home

Search projects by category

•  Development Status
•  License
•  Operating System
•  Spoken Language
•  Programming Language
•  Topic
•  Software Development
  •  Interpreters [Show] [Add Filter] (1 project(s), 0 project(s) in subcategories)
  •  Compilers [Show] [Add Filter] (4 project(s), 0 project(s) in subcategories)
  •  Debuggers [Show] [Add Filter] (2 project(s), 0 project(s) in subcategories)
  •  Code Generators [Show] [Add Filter] (2 project(s), 0 project(s) in subcategories)
•  Intended Audience

9 project(s) in result set

Full name	Description	Trove categorization
Cadena	Cadena is an Eclipse-based extensible integrated modeling and development framework for component-based systems.	Development Status: 4 - Beta, 5 - Production/Stable Intended Audience: Developers License: KSU Academic License Operating System: OS Independent Programming Language: Java, Python Spoken Language: English Topic: Education, Scientific/Engineering, Software Development
FRAMES	FRAmework for Model-driven Event diStribution.	Development Status: 1 - Planning, 3 - Alpha Intended Audience: Developers, End Users/Desktop License: KSU Academic License Operating System: OS Independent Programming Language: Java Spoken Language: English Topic: Software Development
SpEx	Specification Extensions for Bogor	Development Status: 3 - Alpha Intended Audience: Developers, End Users/Desktop License: KSU Academic License Operating System: OS Independent Programming Language: Java Spoken Language: English Topic: Scientific/Engineering, Software Development
JMLEclipse	This is an open project for a combined to effort to build an Eclipse plugin for JML that would handle all aspects: parsing, type checking, compilation and run time checking.	Development Status: 2 - Pre-Alpha Intended Audience: Developers License: GNU General Public License (GPL) Operating System: OS Independent Programming Language: Java Spoken Language: English Topic: Scientific/Engineering, Software Development
agentTool	An Eclipse-based integrated design environment to help users analyze, design, and implement multiagent systems.	Development Status: 5 - Production/Stable Intended Audience: Developers License: Kansas State University Operating System: Linux, MacOS, Windows Programming Language: Java Spoken Language: English Topic: Software Development
KSUSNS - KSU Sensor Networks	The KSUSNS project is the central point of collaboration for all of our sensor network work. This includes contributions from many departments and colleges at KSU including the SAnToS lab, Dan Andresen, Gurdip Singh, and Scott DeLoach.	Development Status: 1 - Planning Intended Audience: Developers License: KSU Academic License Operating System: OS Independent Programming Language: Java Spoken Language: English Topic: Analysis, Compilers, Integrated Development Environments (IDE), Networking, Simulation, Software Development, System, Testing, Visualization
SpAda	SpAda is an Eclipse plug-in for developing applications in SPARK -- a subset of Ada for high assurance applications developed by Praxis High Integrity Systems. SpAda provides integrated support for the Praxis SPARK Examiner -- a static checking tool that enforces very coding rules and information flow requirements. SpAda is integrated with AdaCore's GNATBench Eclipse plug-in for Ada. Future versions of SpAda will provide advanced analysis capabilities to aid developers in constructing information flow specifications based on SPARK's "derives" annotations. Our ultimate vision involves extending SpAda so that it becomes an integrated development environment that specifically targets development of information assurance applications in SPARK.	Development Status: 1 - Planning Intended Audience: Developers License: Eclipse Public License Operating System: OS Independent Programming Language: Java Spoken Language: English Topic: Analysis, Compilers, Editors, Integrated Development Environments (IDE), Software Development, Testing, Text Editors, Visualization
Org Model for Adaptive Computational Sys	Organization Model for Adaptive Computational Systems	Development Status: 5 - Production/Stable Intended Audience: Developers License: KSU Academic License Operating System: Linux, Windows Programming Language: Java Spoken Language: English Topic: Software Development
Goal Model for Dynamic Systems	Goal Model for Dynamic Systems	Development Status: 1 - Planning Intended Audience: Developers License: KSU Academic License Operating System: Linux, Windows Programming Language: Java Spoken Language: English Topic: Software Development

Search for projects in all categories

 

Enter * to return all
To search for projects, please enter the criteria in the text box and press "Search" to get the results