[styczeń]
luty
marzec
kwiecień maj czerwiec lipiec sierpień wrzesień październik listopad grudzień  Ostatnie 20 wpisów...
|
SPARK, język do zastosowań specjalnych
Wpis z dnia: 2010-07-28, z godziny: 10:03
Firma AdaCore udostępniła darmową wersję języka SPARK, będącego dodatkiem dla programistów Ada tworzących aplikacje do zastosowań, w których poprawność działania kodu jest krytyczna.
SPARK jest językiem oraz zbiorem narzędzi wspomagających automatyczne dowodzenie i weryfikację poprawności kodu źródłowego pisanego w Adzie. Adnotacje przeznaczone dla SPARK są dodawane w postaci komentarzy i np. opisują oczekiwane wyniki działania funkcji lub zakresy zwracanych wyników. SPARK jest dostępny w dwóch wersjach - komercyjnej oraz darmowej (SPARK GPL), przeznaczonej dla środowisk akademickich oraz twórców darmowego oprogramowania. Można go pobrać ze strony AdaCore Libre. Komentarze:
Redakcja Computerworld nie ponosi odpowiedzialności za wypowiedzi Internautów opublikowane na stronach serwisu oraz zastrzega sobie prawo do redagowania, skracania bądź usuwania komentarzy zawierających treści zabronione przez prawo, uznawane za obraźliwie lub naruszające zasady współżycia społecznego. Osoby zamieszczające wypowiedzi naruszające prawo lub prawem chronione dobra osób trzecich mogą ponieść z tego tytułu odpowiedzialność karną lub cywilną.
Ten wpis nie ma jeszcze żadnych komentarzy. Twój może być pierwszy...
|
| Korzystanie z serwisu Bywalec Computerworld jest jednoznaczne z wyrażeniem zgody na następujące warunki obsługi. Regulamin korzystania z serwisu. Serwis realizuje wytyczne ASME oraz uzupełnienia IDG dotyczące zasad publikacji w mediach elektronicznych. | ||
|
© copyright 2012 IDG Poland SA 04-204 Warszawa ul. Jordanowska 12 tel. (+48 22) 321 78 00 fax (+48 22) 321 78 88 |
|
