SW wykład 1 - Slajd8
Wstęp Literatura Programy Programy, sprzeczne oczekiwania WielkiCel Składnia Semantyka Pragmatyka Logika Metodyka Implementacja Formalna semantyka Przykład Przykład, c.d. Przykład, reguła dowodzenia Uzasadnianie poprawności Plan zajęć
Koniecznie trzeba podkreślić, że nie chodzi tu o formalną syntaktyczną, czy nawet semantyczną poprawność budowanych programów, ale o zasady, na ogół nieco nieformalne, celowego wykorzystania poszczególnych konstrukcji programistycznych zgodnie z ich przeznaczeniem i rozumieniem. Ma to z jednej strony usprawnić budowanie programów przez programistę, a z drugiej zapewnić lepsze rozumienie napisanego kodu. Mieszczą się tu choćby tak trywialne i oczywiste, mam nadzieję, dla Państwa wskazówki, jak "używaj znaczących nazw zmiennych" --- ale i znacznie bardziej skomplikowane wskazówki, ułatwiające na przykład weryfikację merytoryczną powstałego kodu, na przykład "ograniczaj do minimum odwołania do globalnego stanu (zewnętrznych zmiennych) w procedurach".
