księgarnia informatyczna

Książka informatyczna wydawnictw: BTC Edition Exit Helion Help Microsoft Press Mikom Nakom PJWSTK Read Me Robomatic Skalmierski Tortech Translator WKŁ WNT WSISIZ



Podstawy oprogramowania Zbiór artykułów Davida L. Parnasa         WNT          131.25zł   106.31zł Księgarnia informatyczna komputeks.pl

Autor: Daniel M. Hoffman, David M. Weiss

ISBN: 83-204-2794-0

Ilość stron: 761

Data wydania: 2003

Twarda oprawa

David L. Parnas jest wielkim autorytetem w dziedzinie inżynierii oprogramowania. Jego badania naukowe wywarły nieoceniony wpływ na rozwój informatyki na świecie. Książka zawiera 33 prace Davida L. Parnasa, podzielone na cztery części. Każda z prac jest opatrzona wprowadzeniem napisanym przez jednego z kolegów, współpracowników lub studentów autora. Pierwsza część zbioru obejmuje prace o opisywaniu i specyfikacji oprogramowania. Druga część jest poświęcona projektowaniu oprogramowania. Na trzecią część składają się prace o współbieżności, szeregowaniu i synchronizacji. Czwarta część zawiera prace, w których Parnas przedstawia swoje refleksje na temat różnych przedsięwzięć, w których brał udział. Prowadzi też rozważania na temat bieżącego stanu inżynierii oprogramowania.

Książka "Podstawy oprogramowania" jest przeznaczona dla studentów informatyki na wszystkich uczelniach wyższych. Przeczytawszy ją, dowiedzą się jak rozwijała się dziedzina wiedzy, którą przyjdzie im się zajmować w życiu zawodowym. Zrozumieją też, na czym polega nowoczesna inżynieria oprogramowania.

Rozdziały:

Część I. OPISYWANIE I SPECYFIKOWANIE
David Lorge Parnas, P. Eng.

1. Wprowadzenie John McLean
Zastosowanie asercji o śladach do pisania abstrakcyjnych specyfikacji modułów programowych
Wolfram Bartussek i David L. Parnas

2.Wprowadzenie William Wadge
Mniej ograniczające konstrukcje programów strukturalnych
David L. Parnas i William Wadge

3. Wprowadzenie Martin van Emden
Logika predykatów dla inżynieii oprogramowania
David Lorge Parnas

4. Wprowadzenie Joanne Atlee
Reprezentacje tabelaryczne w dokumentach relacyjnych
Ryszard Janicki, David Lorge Parnas, Jeffery Zucker

5. Wprowadzenie Ali Mili
Dokładne opisywanie i specyfikowanie oprogramowania
D. L. Parnas

6. Wprowadzenie Kathryn Heninger Britton
Specyfikowanie wymagań programowych dla systemów złożonych – nowe techniki i ich zastosowanie
Kathryn L. Heninger

Część II. PROJEKTOWANIE OPROGRAMOWANIA
Dawid Lorge Parnas, P. Eng.

7. Wprowadzenie David M. Weiss
O kryteriach do stosowania przy podziale systemów na moduły
D. L. Parnas

8. Wprowadzenie Paul C. Clements
O „modnym powiedzonku” – struktura hierarchiczna
David L. Parnas

9. Wprowadzenie Daniel Siewiorek
Zastosowanie zasady przezroczystości w projektowaniu systemów o budowie hierarchicznej
D. L. Parnas, D. P. Siewiorek

10. Wprowadzenie Ralph Johnson
O projektowaniu i rozwoju rodzin programów
David L. Parnas

11. Wprowadzenie John Shore
Typy abstrakcyjne definiowane jako klasy zmiennych
D. L. Parnas, J. E. Shore i D. M. Weiss

12.Wprowadzenie Stuart Faulk
Reagowanie na zdarzenia niepożądane w systemach oprogramowania
D. L. Parnas, H. Würges

13. Wprowadzenie James Horning
Niektóre zasady inżynierii oprogramowania
Dawid L. Parnas

14. Wprowadzenie Barry Boehm
Projektowanie programów łatwych do rozszerzania i zawężania
David L. Parnas

15. Wprowadzenie James Waldo
Procedura projektowania abstrakcyjnych interfejsów modułów interfejsów urządzeń
Kathryn Heninger Britton, R. Alan Parker, David L. Parnas

16. Wprowadzenie David M. Weiss
Struktura modularna systemów złożonych
D. L. Parnas, P. V. Clements i D. M. Weiss

17. Wprowadzenie Kathryn Heninger Britton
Aktywne przeglądy projektu – zasady i praktyka
David L. Parnas i David M. Weiss

18. Wprowadzenie Barry Boehm
Racjonalny proces projektowania – jak i po co go imitować
David Lorge Parnas, Paul C. Clements

19. Wprowadzenie A. John van Schouwen
Wykonywanie inspekcji oprogramowania krytycznego dla bezpieczeństwa za pomocą tabel funkcji programowych
David Lorge Parnas

Część III. WSPÓŁBIEŻNOŚĆ I PLANOWANIE
David Lorge Parnas, P. Eng.

20. Wprowadzenie Pierre-Jacques Courtois
Sterowanie współbieżne z „czytelnikami” i „pisarzami”
P.-J. Courtois, F. Heymans, D. L. Parnas

21. Wprowadzenie Stuart Faulk
O rozwiązaniu problemu palaczy tytoniu (bez instrukcji warunkowych)
D. L. Parnas

22. Wprowadzenie Stuart Faulk
O synchronizacji w rygorystycznych systemach czasu rzeczywistego
Stuart R. Faulk i David L. Parnas

23. Wprowadzenie Aloysius Mok
Planowanie procesów za pomocą czasów uwalniania, terminów nieprzekraczalnych, relacji pierwszeństwa i relacji wykluczania
Jia Xu i David L. Parnas

Część IV. KOMENTARZE
David Lorge Parnas, P. Eng.

24. Wprowadzenie James Horning
Budowanie niezawodnego oprogramowania w języku BLOWHARD
David L. Parnas

25. Wprowadzenie John Shore
Wpływ wspomaganych komputerowo systemów barterowych
David L. Parnas

26. Wprowadzenie David M. Weiss
Aspekty oprogramowania systemów obrony strategicznej
David Lorge Parnas

27. SDI – gwałt zadany odpowiedzialności zawodowej
David Lorge Parnas

28. Wprowadzenie Leonard L. Tripp
Odpowiedzialność zawodowa inżynierów oprogramowania
David Lorge Parnas

29.Wrowadzenie Victor R. Basili
Starzenie się oprogramowania
David Lorge Parnas

30. Wprowadzenie Richard Kemmerer
W sprawie „najbardziej wpływowych” artykułów ICSE
David Lorge Parnas

31. Wprowadzenie Daniel Hoffman
Nauczanie programowania jako inżynierii
David Lorge Parnas

32. Wprowadzenie Victor R. Basili
Inżynieria oprogramowania – małżeństwo niespełnione
David Lorge Parnas

33. Wprowadzenie John Shore
Kto minie uczył badać inżynierię oprogramowania
David Lorge Parnas, P. Eng.

Część V. BIBLIOGRAFIA
Bibliografia
O Autorach wprowadzeń
Źródła i prawa autorskie
Skorowidz


Podstawy oprogramowania Zbiór artykułów Davida L. Parnasa

adobe algorytmy apache asp autocad asembler bsd c++ c# delphi dtp excel flash html java javascript linux matlab mysql office php samba voip uml unix visual studio windows word

Księgarnia Informatyczna  zaprasza.