Metody formalne w inżynierii oprogramowania systemów czasu rzeczywistego

Odkryj najnowsze ważne funkcjonalności języka C++20, w tym moduły, koncepcje, operatory spaceship i inteligentne wskaźniki. Książka ta może stać się podręczną „książką kucharską” programisty, obejmującą zarówno zasadniczy standard języka C++, jak i niektóre z szablonów kodu dostępnych w standardowej bibliotece szablonów (STL).
Przepisy dla C++20: Problemy i rozwiązania zawiera omówienie zagadnień dotyczących liczb, ciągów, daty i czasu, klas, wyjątków, strumieni, przepływów, wskaźników i jeszcze więcej. Ponadto znajdziesz tu przykłady kodu, szablony algorytmów C++, przetwarzanie równoległe, wielowątkowość i procesy numeryczne. Jest tu również kod programowania dla grafiki 3D. Dostępne jest również całe bogactwo szablonów STL dla obiektów funkcji, adapterów, alokatorów i rozszerzeń.
To niezbędne, nowoczesne źródło informacji, które będzie pomocne w każdym projekcie wykorzystującym język programowania C++.
Naucz się:
• Co nowego w języku C++20
• Pisać moduły
• Przetwarzać teksty, liczby i klasy
• Używać kontenerów i algorytmów dostępnych w bibliotece standardowej
• Radzić sobie z szablonami, pamięcią, współbieżnością, sieciami, skryptami i jeszcze więcej
• Tworzyć kod dla grafiki 3D

Języki programowania/C++
Poziom średniozaawansowany
Kod źródłowy dostępny online

Dzięki DevOps możesz przyspieszyć cykl życia związany z dostarczaniem oprogramowania, jeśli tylko poznasz procesy, narzędzia i sposób myślenia będący podstawą kultury DevOps. Ta książka pomaga inżynierom oprogramowania i kierownikom do spraw technicznych w przekształcaniu organizacji w celu przyjęcia podejścia DevOps. Dowiedz się, jak tworzyć bardziej iteracyjny i zorientowany na klienta styl rozwoju i dostarczania, by w efekcie poprawić współpracę, wyeliminować wąskie gardła i zwiększyć produktywność zespołu.

Git - oszczędź sobie kłopotów z synchronizacją projektu!

Praca nad niemal każdym projektem informatycznym wymaga współdziałania wielu osób, często pracujących z dala od siebie. W takich warunkach bardzo łatwo popełnić błąd, nadpisać jakiś ważny plik albo przypadkowo zdublować dane. Mały projekt po takiej wpadce da się jeszcze uratować, ale większy… można wyrzucić do kosza. Chyba że od momentu jego inicjalizacji używamy narzędzia odpowiedzialnego za właściwą synchronizację danych, czyli systemu kontroli wersji, co jest standardem we współczesnej informatyce. Jednym z takich programów jest git, napisany na potrzeby zarządzania kodem źródłowym jądra systemu Linux - taka rekomendacja mówi sama za siebie.

Możliwości programu git i sposoby jego praktycznego zastosowania w różnych projektach przedstawione zostały w tej książce. Znajdziesz tu podstawowe informacje o instalacji środowiska i tworzeniu repozytoriów, pracy z plikami, identyfikowaniu rewizji i zmienianiu historii projektu. Dowiesz się, kiedy i jak tworzyć czy łączyć gałęzie oraz całe repozytoria, korzystać z repozytorium lokalnego i zdalnego, a także synchronizować je w odpowiedni sposób. Poznasz możliwe konflikty między wersjami pliku i nauczysz się radzić sobie z nimi. Zrozumiesz, jak wykorzystywać najbardziej znane serwery hostingowe dla projektów git oraz dostępne w nich, wbudowane systemy śledzenia błędów. I wreszcie przestaniesz miewać koszmary, w których tracisz tygodnie na odszukanie zagubionego pliku. Git zrobi to za Ciebie!

Instalacja programu git, tworzenie repozytoriów i obszar roboczy
Tworzenie rewizji i przywracanie stanu plików
Stany plików, ignorowanie plików i znaczniki
Identyfikowanie rewizji, skróty komend
Modyfikowanie historii projektu oraz tworzenie i usuwanie gałęzi
Łączenie gałęzi: operacja merge i operacja rebase
Powiązanie repozytorium lokalnego i zdalnego oraz podstawy synchronizacji repozytoriów
Praktyczne wykorzystanie git i łączenie oddzielnych repozytoriów
Treść pliku: konflikty, badanie różnic, pliki tekstowe i binarne
Serwisy github.com i bitbucket.org
Praca grupowa w serwisach github.com oraz bitbucket.org i zintegrowany system śledzenia błędów

Wypróbuj git - wystarczająco dobry nawet dla jądra Linuksa!
O autorze

Włodzimierz Gajda - Certyfikowany inżynier PHP oraz Zend Framework mający ponad dziesięć lat doświadczenia w nauczaniu programowania aplikacji internetowych.

Wykładowca w Katedrze Analizy Numerycznej i Programowania Katolickiego Uniwersytetu Lubelskiego Jana Pawła II.

Prowadzi wykłady dotyczące programowania aplikacji internetowych w PHP, symfony, Zend Framework.

Pomysłodawca i właściciel firmy szkolenia-informatyczne.eu zajmującej się prowadzeniem szkoleń IT.

Od profesjonalnych systemów informatycznych wymaga się wysokiej dostępności usług, łatwego wprowadzania niezbędnych zmian, skalowalności i możliwości przetworzenia ogromnej ilości danych. Java EE 8 znakomicie nadaje się do tworzenia aplikacji spełniających te wyśrubowane kryteria. Poza tym Java to język wieloplatformowy, jej kod jest otwarty, została dobrze przetestowana, a doświadczenie i wsparcie społeczności użytkowników okazują się nie do przecenienia. Wszechstronność i popularność Javy ma też mroczną stronę - programiści bardzo często muszą rozwiązywać istotne problemy, które zwykle dotyczą integracji usług, wysokiej dostępności i odporności systemu na błędy. Rozwiązaniem pozwalającym uniknąć wielu z tych kłopotów jest zastosowanie odpowiednich wzorców projektowych i przestrzeganie dobrych praktyk.

To książka przeznaczona dla programistów, którzy chcą tworzyć aplikacje biznesowe z użyciem wzorców projektowych, wzorców biznesowych i najlepszych praktyk. Zawiera wyjaśnienie podstawowych koncepcji Javy EE 8, opis jej warstw oraz omówienie najlepszych praktyk tworzenia aplikacji biznesowych. Przedstawia zasady łączenia wzorców projektowych i wzorców biznesowych w Javie EE 8, a także techniki optymalizacji rozwiązań z wykorzystaniem programowania aspektowego, programowania reaktywnego i mikrousług. Opisano tu szereg wzorców: integracyjne, reaktywne, bezpieczeństwa, wdrażania i operacyjne. Zaprezentowano również projekt MicroProfile, przydatny do tworzenia aplikacji dla architektury mikrousług.

W książce między innymi:

korzyści ze stosowania wzorców projektowych
wzorce warstw prezentacji i biznesowej
wzorce dla aplikacji działających w chmurze
implementacja wzorca SSO
wzorce związane ze skalowalnością, z wydajnością i zarządzaniem aplikacją
Java EE 8: zestaw świetnych narzędzi dla zawodowca!
O autorach
Rhuan Rocha jest doświadczonym programistą Javy EE. Obecnie wdraża rozwiązania Red Hat oparte na Red Hat Middleware. Wcześniej korzystał z Javy przy pisaniu oprogramowania dla firm i rządów.

Joao Purificaçao jest inżynierem elektroniki. Dobrze zna języki C i C++, obecnie wykorzystuje Javę EE do projektowania aplikacji. Jest starszym architektem w firmie Resource IT z siedzibą w Sao Paulo.

Java od lat należy do najpopularniejszych backendowych języków programowania - i do najbardziej rozpowszechnionych języków programowania w ogóle. Zdecydowana większość aplikacji webowych obecnych na rynku konsumenckim i w biznesie powstaje z jej użyciem. Java może się więc okazać świetnym wyborem na początek przygody z programowaniem, a także wtedy, gdy jej nauka ma być pierwszym krokiem na drodze do zmiany zawodowej ścieżki.
Java. Podręcznik na start to pozycja idealna dla każdego, kto chce podjąć takie kroki. W przystępny sposób zaznajamia nie tylko z językiem, ale też z podstawowymi koncepcjami stosowanymi podczas programowania - w obrazowy sposób przyrównuje je do sytuacji znanych spoza świata wirtualnego. Autor nie poprzestaje na podstawach i objaśnia także bardziej zaawansowane zagadnienia, dokonuje również przeglądu zmian, jakie w ciągu ostatnich lat zaszły w kolejnych wersjach Javy. Ostatnie rozdziały poświęca bardziej złożonym aspektom korzystania z tego języka programowania, w tym funkcjonowaniu mechanizmów odśmiecania pamięci, maszynie wirtualnej Javy i jej kompilatorom.
Dzięki książce:
* opanujesz podstawy programowania
* gruntownie zapoznasz się z językiem Java
* zgłębisz obsługę bibliotek
* nauczysz się przeprowadzać testy
* przyswoisz zasady pisania czystego kodu

JavaScript jest wykorzystywanym w wielu celach uniwersalnym językiem ogólnego przeznaczenia — wysokopoziomowym, dynamicznym, przygotowanym do kodowania obiektowego i funkcjonalnego. Zasadniczo służy do programowania sieci WWW: kod JavaScript występuje w zdecydowanej większości stron internetowych. To jednak tylko jedno z możliwych zastosowań tego języka. Wszystko to sprawia, że JavaScript jest najbardziej rozpowszechnionym językiem w historii programowania. Pojawienie się platformy Node.js spowodowało, że stał się wszechstronniejszy, a jego popularność wśród programistów jeszcze wzrosła.

To kolejne wydanie wyczerpującego, kompleksowego przewodnika po języku JavaScript oraz jego najważniejszych klienckich i serwerowych interfejsach API. Książka jest przeznaczona dla programistów, którzy chcą nauczyć się JavaScriptu lub udoskonalić swoje umiejętności tworzenia kodu. Ujęto w niej wersję ES2020 tego języka. Poza praktycznymi wyjaśnieniami dotyczącymi jego struktur i ich stosowania znalazły się tu liczne przykłady, wskazówki i porady. To wydanie zawiera nowe rozdziały poświęcone klasom, modułom, iteratorom, generatorom, promesom i instrukcjom async/await. W efekcie powstał całościowy obraz ekosystemu JavaScript wraz z opisem jego zawiłości, potencjalnych problemów i najlepszych metod radzenia sobie z nimi.

W książce między innymi:

podstawy języka i jego podstawowe elementy
struktury danych, wyrażenia regularne, format JSON
standardowa biblioteka JavaScript
przetwarzanie dokumentów i grafiki
obsługa sieci, pamięci i wątków
środowisko Node oraz profesjonalne narzędzia i rozszerzenia języka

Dowiedz się wszystkiego, co musisz wiedzieć o JavaScripcie!

O autorze książki

David Flanagan od ćwierćwiecza programuje w JavaScripcie i pisze o tym języku. Jest doświadczonym inżynierem oprogramowania, pracuje w VMware. Mieszka z rodziną na północno-zachodnim wybrzeżu Stanów Zjednoczonych, gdzieś pomiędzy Seattle a kanadyjskim Vancouver.