Neville Dean Livres

“Professional engineers can often be distinguished from other designers by the engineers’ ability to use mathematical models to describe and 1 analyze their products.” This observation by Parnas describes the de facto professional standards in all classical engineering disciplines (civil, mechanical, electrical, etc.). Unf- tunately, it is in sharp contrast with current (industrial) practice in software design, where mathematical models are hardly used at all, even by those who, 2 in Holloway’s words “aspire to be engineers.” The rare exceptions are certain critical applications, where mathematical techniques are used under the general name formal methods. Yet, thesamecharacteristicsthatmakeformalmethodsanecessityincritical applicationsmakethemalsoadvantageousineverydaysoftwaredesignatvarious levels from design e? ciency to software quality. Why, then, is education failing with respect to formal methods? – failing to convince students, academics and practitioners alike that formal methods are truly pragmatic; – failing to overcome a phobia of formality and mathematics; – failing to provide students with the basic skills and understanding required toadoptamoremathematicalandlogicalapproachtosoftwaredevelopment. Until education takes these failings seriously, formal methods will be an obscure byway in software engineering, which in turn will remain severely impoverished as a result.

Im Klartext - die neue Lernbuchreihe für Studierende der Informatik im Grundstudium. Kompakte, prägnante und verständlich geschriebene Einführungstexte zu Kernbereichen des Studiums. Für die effiziente Vorbereitung auf Klausuren und Prüfungen. Verfasst von erfahrenen Hochschuldozenten. Mit Fallstudien, Beispielen, Übungen und Website zum Buch. Diskrete Mathematik im Klartext vermittelt die grundlegenden Konzepte der diskreten Mathematik. Beginnt mit den Grundlagen: Mengen und Logik. Ausführliche Behandlung von Relationen und Funktionen. Führt Begriffe intuitiv ein und erklärt dann ihre Anwendung. Präsentiert die Grundideen des Modellierens mit Mengen und Logik und die Anwendung auf praktisch Probleme. Erläuterung nicht-numerische Methoden anhand einer Fallstudie, die sich durch das Buch zieht.