Zaawansowane wyszukiwanie
  Strona Główna » Sklep » Algorytmy Wzorce UML » Inżynieria oprogramowania » Moje Konto  |  Zawartość Koszyka  |  Do Kasy   
 Wybierz kategorię
Algorytmy Wzorce UML
  Algorytmy
  Deep Learning Uczenie maszynowe
  Inżynieria oprogramowania
  Scrum
  Sztuczna inteligencja
  Techniki programowania
  Wyrażenia regularne
  Wzorce projektowe
  Zarządzanie projektami
Bazy danych
Bezpieczeństwo
Bioinformatyka
Biznes Ekonomia Firma
Chemia
DTP Design
E-biznes
Ekonometria
Elektronika Elektrotechnika
Energetyka
Fizyka
GIS
Grafika użytkowa
Hardware
Informatyczne systemy zarządzania
Informatyka w szkole
Języki programowania
Matematyka
Multimedia
Obsługa komputera
Office
Poradniki
Programowanie gier
Programy inżynierskie
Programy matematyczne
Słowniki
Serwery
Sieci komputerowe
Systemy operacyjne
Technika
Telekomunikacja
Tworzenie stron WWW

Zobacz pełny katalog »
 Wydawnictwo:
 MsPress
Kompletny przewodnik po DAX. Analiza biznesowa przy użyciu Microsoft Excel, SQL Server Analysis Services i Power BI

Kompletny przewodnik po DAX. Analiza biznesowa przy użyciu Microsoft Excel, SQL Server Analysis Services i Power BI

98.70zł
88.83zł
Metody formalne w inżynierii oprogramowania systemów czasu rzeczywistego 89.00zł 72.09zł
Metody formalne w inżynierii oprogramowania systemów czasu rzeczywistego

Autor: Tomasz Szmuc, Marcin Szpyrka

ISBN: 978-83-204-3669-3

Ilość stron: 466

Data wydania: 07/2010

W książce zaprezentowano przede wszystkim wyniki badań naukowych dotyczących zastosowania metod formalnych w inżynierii oprogramowania systemów czasu rzeczywistego.

Rozwijający się rynek zastosowań systemów informatycznych powoduje wzrost zapotrzebowania na systemy, które powinny być rozwijane szybko, jak najmniejszym kosztem, przy zapewnieniu wysokiej jakości produktu końcowego. Choć wydaje się, iż oczekiwania te wzajemnie się wykluczają, wciąż podejmowane są próby opracowania metod, które by je spełniły. W ostatnich latach obserwuje się wzrost zainteresowania zastosowaniem metod formalnych przy realizacji systemów informatycznych.

Książka składa się z dwóch powiązanych części: teoretycznej i teoretyczno-aplikacyjnej. W pierwszej przedstawiono elementy wykładu z logiki matematycznej, teorii sieci Petriego i algebry procesów. Druga część ma charakter bardziej przystępny, ukierunkowany na praktykę inżynierską.

Książka jest przeznaczona jest dla tych, którzy metody formalne chcą wykorzystać w badaniach naukowych lub w praktyce inżynierskiej, dla wykładowców takich przedmiotów, które przynajmniej częściowo dotyczą tych metod, a także dla studentów studiów inżynierskich, magisterskich i doktoranckich, na których wykładane są zagadnienia dotyczące metod formalnych.

Rozdziały:
1. Wprowadzenie
2. Sieci Petriego      
3. Algebry procesów        
4. Logiki temporalne i logiki czasu rzeczywistego          
5. Automaty czasowe     
6. Charakterystyka oprogramowania systemów wbudowanych
7. Strukturalne modelowanie i analiza poprawności sterowników
8. Hybrydowe modelowanie i analiza poprawności sieci Petriego/CCS
9. Analiza czasowa z zastosowaniem czasowych kolorowanych sieci Petriego
10. Zintegrowane podejście do analizy i modelowania z zastosowaniem             RTCP-sieci    
11. Systematyczna analiza poprawności z zastosowaniem algebr procesów      
12. Metody reprezentacji i analizy systemów regułowych          
13. Poprawność względna i funkcja obserwacji  
14. Weryfikacja modelowa          
15. Translacja diagramów języka UML na kolorowane hierarchiczne             sieci Petriego      
16. Modelowanie i weryfikacja implementacji    

A Język programowania Ada 2005


Najniższa cena z 30 dni przed obniżką 72,09zł

Metody formalne w inżynierii oprogramowania systemów czasu rzeczywistego
Tytuł książki: "Metody formalne w inżynierii oprogramowania systemów czasu rzeczywistego"
Autor: Tomasz Szmuc, Marcin Szpyrka
Wydawnictwo: WNT
Cena: 89.00zł 72.09zł
Klienci, którzy kupili „Metody formalne w inżynierii oprogramowania systemów czasu rzeczywistego”, kupili także:

Bogać się! Dziesięć przykazań zarabiania pieniędzy Wydanie II, Rabbi Daniel Lapin, Wydawnictwo Onepress

Programowanie funkcyjne w języku C# Jak pisać lepszy kod, Enrico Buonanno, Wydawnictwo Naukowe PWN

Rachunkowość część 2, Anna Kuczyńska-Cesarz, Wydawnictwo Difin
<b>Get Sh*t Done. Skuteczne techniki podkręcania wydajności, pokonywania prokrastynacji i zwiększania rentowności</b>, <font color="navy">Jeffrey Gitomer</font>, <font color="green"> Wydawnictwo Onepress</font>
Get Sh*t Done. Skuteczne techniki podkręcania wydajności, pokonywania prokrastynacji i zwiększania rentowności, Jeffrey Gitomer, Wydawnictwo Onepress
<b>Komunikowanie organizacji w kryzysie Metody i modele ograniczania ryzyka</b>, <font color="navy">Dariusz Tworzydło</font>, <font color="green"> Wydawnictwo Naukowe PWN</font>
Komunikowanie organizacji w kryzysie Metody i modele ograniczania ryzyka, Dariusz Tworzydło, Wydawnictwo Naukowe PWN
<b>Nie kłóćcie się. Jak pomóc dziecku, kiedy rodzice się kłócą</b>, <font color="navy">Anna Maria Wesołowska, Agnieszka Wojciechowska</font>, <font color="green"> Wydawnictwo Sensus</font>
Nie kłóćcie się. Jak pomóc dziecku, kiedy rodzice się kłócą, Anna Maria Wesołowska, Agnieszka Wojciechowska, Wydawnictwo Sensus

Inżynieria sieci telekomunikacyjnych, Zdzisław Pencak, Wydawnictwo WSISiZ

HTML XHTML i CSS praktyczne projekty Wydanie II, Włodzimierz Gajda, Wydawnictwo Helion

Skuteczne wdrażanie strategii, Mark Morgan, Raymond E. Levitt, William Malek, Wydawnictwo Naukowe PWN

czwartek, 28 marca 2024   Mapa strony |  Nowości |  Dzisiejsze promocje |  Koszty wysyłki |  Kontakt z nami