Tool for graph and model transformation
GROOVE is an application designed for model transformation and object-oriented verification. It is centered around the use of simple graphs for modelling of object-oriented systems, and graph transformations as a basis for model transformation and operational semantics.
This entails a formal foundation for model transformation and dynamic semantics, and the ability to verify model transformation and dynamic semantics through an automatic analysis of the resulting graph transformation systems, for instance using model checking.
Requirements:
• Java
Operating system:Windows 8, Windows 7, Windows Vista, Windows XP, Windows 2000, Windows 98
ImTOO 3GP Video Converter v3.1 is a professional mobile phone tool. It supports converting
various popular formats including RM, RA, 3GP, 3G2, WAV, MP3, AAC, WMA, MPG, M4A, AVI,
MP4, MOV, WMV, MPEG, CUE, APE, CDA and AVI to 3GP,RA, RM,AAC, M4A,XviD.
Price: $25.46, Rating: 8.2, Downloads: 107
Download
Total Audio Converter is the best tool to convert mp3, wav, flac, ogg, ape and much more. Look closer at it: TAC supports all audio formats, has built-in CD ripper and audio player, can be handled via command line and is still very user-friendly.
Price: $17.91, Rating: 6, Downloads: 100
Download
Reezaa WMA Converter is an easy-to-use all to WMA converter Converts all formats Video and Audio to WMA,WAV,MP3,OGG,FLAC,AMR,AC3,AAC.It supports MP3, AVI, WMV, MOV, 3GP, MP4, FLV, RM, RMVB, VOB, DAT, MPEG, WAV, WMA, ASF, OGG, RA etc.
Price: $29.95, Rating: 0, Downloads: 93
Download
Ultra QuickTime Converter is a powerful tool to help you convert QuickTime MOV, QT, MP4, M4V files to AVI, DivX, Xvid, MPEG1, MPEG2, WMV, VCD, SVCD, DVD, MP4, 3GP, FLV formats.
Price: $29.00, Rating: 10, Downloads: 73
Download
Jesterware DVD Audio Ripper is a powerful DVD Audio ripping program, which will take your DVD and convert the audio track into an audio formats of your choice.
Price: $24.99, Rating: 6, Downloads: 69
Download