Dziennik Ubezpieczeniowy

Dziennik Ubezpieczeniowy >> Szukaj 

 Mapa strony

Archiwum :: O Dzienniku :: Prenumerata 

 Szukaj

 

 

Ostatnie Dzienniki:

Artykuł: <<< 2017-12-04 >>>

 

Technologie IT

 

Nawigacja

2017-12-05  

|<<

   

 >>|

2017-12-04  

<<<

>>>

 >>|

2017-12-01  

|<<

     

 

Data publikacji: 2017-12-04

Dz.U. nr: 4379

Metody formalne w informatyce

(Comarch)

Metody formalne to oparte na matematyce sposoby specyfikacji, projektowania i weryfikacji oprogramowania. Bazują one na własnej notacji i matematycznym języku, na który składają się formalnie zdefiniowane słownictwo, składnia oraz znaczenia. Dzięki nim definiujemy specyfikację, tzn. określamy to, co system ma robić.

- Mariusz Janczewski, Comarch

 

Zawsze była matematyka. Zanim powstały i zanim rozpoczęły pracę komputery,...

Całość liczy znaków: 3096


ZAMÓW PRENUMERATĘ!!!

 

 

 

Logowanie dla subskrybentów "Dziennika Ubezpieczeniowego"

Prosimy o podanie adresu e-mail, na który przesyłany jest Dziennik:

Na podany adres przesłany zostanie specjalny e-mail z "otwierającym" Archiwum Dziennika Ubezpieczeniowego linkiem.

 

Uwaga!

W przypadku spółek, które wykupiły otwartą subskrypcję Dziennika (rozsyłany wewnętrznie lub w intranecie), można wpisać po prostu swój adres email, np: Jan.Kowalski@TwojaFirma.pl.

 

 

Profesjonalnie o ubezpieczeniach..

Miesięcznik Ubezpieczeniowy

 

 
 Strona przygotowana przez Ogma Sp. z o.o.