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 --- Pozycja niedostępna.---
|