Zaawansowane wyszukiwanie
  Strona Główna » Sklep » Algorytmy Wzorce UML » Inżynieria oprogramowania » Moje Konto  |  Zawartość Koszyka  |  Do Kasy   
 Wybierz kategorię
Algorytmy Wzorce UML
  Algorytmy
  Inżynieria oprogramowania
  Sieci neuronowe
  Techniki programowania
  UML
  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
Internet
Języki programowania
Matematyka
Multimedia
Obsługa komputera
Office
Poradniki
Programowanie gier
Programy inżynierskie
Programy matematyczne
Serwery
Sieci Firewalle Protokoły
Słowniki
Systemy operacyjne
Technika
Telekomunikacja
Tworzenie stron WWW

Zobacz pełny katalog »
 Wydawnictwo:
 MsPress
Egzamin 70-412: Konfigurowanie zaawansowanych usług Windows Server 2012 R2

Egzamin 70-412: Konfigurowanie zaawansowanych usług Windows Server 2012 R2

98.70zł
78.96zł
Metody formalne w inżynierii oprogramowania systemów czasu rzeczywistego 82.95zł 63.04zł
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

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: 82.95zł 63.04zł
Klienci, którzy kupili „Metody formalne w inżynierii oprogramowania systemów czasu rzeczywistego”, kupili także:
<b>Damskie laboratorium Przepisy na domowe kosmetyki</b>, <font color="navy">Angelika Gumkowska</font>, <font color="green"> Wydawnictwo Naukowe PWN</font>
Damskie laboratorium Przepisy na domowe kosmetyki, Angelika Gumkowska, Wydawnictwo Naukowe PWN
<b>Head First Design Patterns edycja polska (Rusz głową)</b>, <font color="navy">Eric Freeman, Elisabeth Freeman, Kathy Sierra, Bert Bates</font>, <font color="green"> Wydawnictwo HELION</font>
Head First Design Patterns edycja polska (Rusz głową), Eric Freeman, Elisabeth Freeman, Kathy Sierra, Bert Bates, Wydawnictwo HELION
<b>Uczta programistów</b>, <font color="navy">Henry S. Warren, Jr.</font>, <font color="green"> Wydawnictwo HELION</font>
Uczta programistów, Henry S. Warren, Jr., Wydawnictwo HELION
<b>Fotografia kulinarna dla blogerów</b>, <font color="navy">Matt Armendariz</font>, <font color="green"> Wydawnictwo HELION</font>
Fotografia kulinarna dla blogerów, Matt Armendariz, Wydawnictwo HELION
<b>Ale kosmos! Jak jeść, kochać się i korzystać z WC w stanie nieważkości</b>, <font color="navy">Mary Roach</font>, <font color="green"> Wydawnictwo Znak</font>
Ale kosmos! Jak jeść, kochać się i korzystać z WC w stanie nieważkości, Mary Roach, Wydawnictwo Znak
<b>Android Wprowadzenie do programowania aplikacji. Wydanie V</b>, <font color="navy">Joseph Annuzzi Jr., Lauren Darcey, Shane Conder</font>, <font color="green"> Wydawnictwo HELION</font>
Android Wprowadzenie do programowania aplikacji. Wydanie V, Joseph Annuzzi Jr., Lauren Darcey, Shane Conder, Wydawnictwo HELION
<b>Access 2007 PL ćwiczenia praktyczne</b>, <font color="navy">Danuta Mendrala, Marcin Szeliga</font>, <font color="green"> Wydawnictwo HELION</font>
Access 2007 PL ćwiczenia praktyczne, Danuta Mendrala, Marcin Szeliga, Wydawnictwo HELION
<b>Przygotowanie stanowiska komputerowego do pracy Podręcznik do nauki zawodu Część 2 Kwalifikacja E.12.1</b>, <font color="navy">Tomasz Marciniuk, Krzysztof Pytel, Sylwia Osetek</font>, <font color="green"> Wydawnictwo WSiP</font>
Przygotowanie stanowiska komputerowego do pracy Podręcznik do nauki zawodu Część 2 Kwalifikacja E.12.1, Tomasz Marciniuk, Krzysztof Pytel, Sylwia Osetek, Wydawnictwo WSiP
<b>Node.js w praktyce. Tworzenie skalowalnych aplikacji sieciowych</b>, <font color="navy">Azat Mardan</font>, <font color="green"> Wydawnictwo HELION</font>
Node.js w praktyce. Tworzenie skalowalnych aplikacji sieciowych, Azat Mardan, Wydawnictwo HELION
 Koszyk
0 przedmiotów
Producent
Tu można zobaczyć wszystkie książki z wydawnictwa:

Wydawnictwo WNT
 Kategoria:
 Energetyka
Stabilność systemu elektroenergetycznego

Stabilność systemu elektroenergetycznego

109.00zł
80.66zł
Informacje
Regulamin sklepu.
Koszty wysyłki.
Polityka prywatności.
Jak kupować?
Napisz do Nas.
 Wydawnictwa
 Poradniki
SAP R/3 podręcznik użytkownika Jim Mazzullo, Peter Wheatley HELION
100 sposobów na tworzenie robotów sieciowych Kevin Hemenway, Tara Calishain HELION
Analiza i prezentacja danych w Microsoft Excel Vademecum Walkenbacha Wydanie II John Walkenbach, Michael Alexander HELION
Antywzorce języka SQL Jak unikać pułapek podczas programowania baz danych Bill Karwin HELION
PHP5 tworzenie stron WWW ćwiczenia praktyczne wydanie III Andrzej Kierzkowski HELION
Podstawy fizyki Tom 5 Wydanie 2 David Halliday, Robert Resnick, Jearl Walker Naukowe PWN
Blender Mistrzowskie animacje 3D Tony Mullen HELION
Podstawy fizyki Tom 3 Wydanie 2 David Halliday, Robert Resnick, Jearl Walker Naukowe PWN
Jak zdać egzamin zawodowy w technikum informatycznym? Kwalifikacje E.12, E.13, E.14 Tomasz Kowalski HELION

środa, 19 wrzesień 2018   Mapa strony |  Nowości |  Dzisiejsze promocje |  Koszty wysyłki |  Kontakt z nami