|
No information avaiable
http://www.uppaal.com/
popularity:
software
verification
model-checking
model
automata
uppaal
checking
modeling
research
tools
|
|
JFLAP. JFLAP is software for experimenting with formal languages topics including ... and testing examples for these, JFLAP allows one to experiment with construction ...
similarity:
popularity:
automata
java
visualization
software
programming
theory
tools
compilers
algorithms
jflap
|
|
StarUML is an open source project to develop fast, flexible, extensible, ... The goal of the StarUML project is to build a software modeling tool and also ...
similarity:
popularity:
uml
opensource
software
tools
modeling
design
development
programming
windows
tool
|
![]() |
AlternativeTo let you find new Windows, Mac, Linux and online software based on applications you already know instead of useless categories. We make each application ...
similarity:
popularity:
software
alternative
applications
freeware
comparison
windows
linux
mac
tools
opensource
|
![]() |
Software for your iPhone, Pocket PC, Smartphone, iPod or Nokia, fast and easy. ... About Makayama. Professional Products. special offers. DVD to Pocket PC ...
similarity:
popularity:
software
mobile
video
iphone
wifi
tools
dvd
technology
tomtom
smartphone
|
|
Welcome to DSpace, an open-source platform for accessing, managing, and ... DSpace open source software enables open sharing of content that spans ...
similarity:
popularity:
opensource
repository
dspace
software
library
cms
digital
research
tools
archive
|
![]() |
Morae is software for usability testing and user experience research that helps you identify site and application design problems and share them with stakeholders.
similarity:
popularity:
usability
testing
software
tools
design
research
tool
ux
resources
webdesign
|
![]() |
Download site for WinRAR, a tool to process RAR and ZIP files. From RARLAB.
similarity:
popularity:
software
tools
compression
rar
windows
zip
archive
utilities
winrar
tool
|
![]() |
Survey software for online surveys, web surveys, email surveys. Online survey software for customer satisfaction surveys, employee satisfaction surveys, market ...
similarity:
popularity:
survey
tools
surveys
research
online
software
marketing
web
tool
statistics
|
![]() |
Creators of trueSpace - 3D graphics animation software, and VRML tools.
similarity:
popularity:
3d
software
graphics
design
animation
tools
free
art
modeling
truespace
|
|
绿坝-花季护航 一夜成名。 6月9号工信部下发通知,使用中央财政资金4179万元买断 绿坝-花季护航 绿色上网过滤软件产品一年使用权及相关服务. ... Copyright © 2005-2009 Appinn.com. WordPress. 黑ICP备09023260号 ...
similarity:
popularity:
software
blog
软件
web2.0
小众软件
download
tools
博客
it
soft
|