Modelowania dokumentów schematu XML w logice pierwszego rzędu przy użyciu stopu w celu generowania danych wejściowych testowych dla aplikacji i udowodnienia ograniczeń dotyczących dokumentów.
historia wersji
- Wersja final%20milestone opublikowany na 2007-05-12
Kilka poprawek i aktualizacji - Wersja N/A opublikowany na 2007-05-12
Szczegóły programu
- Kategorii: Edukacji > Innych
- Wydawca: xsd2als.sf.net
- Licencji: Wolna
- Cena: N/A
- Wersja: Array
- Platformy: windows