By Barbara Liskov, John V. Guttag

ISBN-10: 0262121123

ISBN-13: 9780262121125

Abstraction and Specification in software improvement bargains execs in application layout and software program engineering a strategy that might permit them to build courses which are trustworthy and fairly effortless to appreciate, regulate, and preserve. solid programming comprises the systematic mastery of complexity, and this e-book presents the 1st unified therapy of the innovations of abstraction and specification, which, the authors argue, are the linchpin of any powerful method of programming. They position specific emphasis at the use of knowledge abstraction to supply hugely modular courses. The authors concentrate on the method of decomposing huge software tasks into autonomous modules that may be assigned to self sufficient operating teams. They speak about tools of decomposition, the types of modules which are Most worthy during this strategy, and methods to extend the possibility that modules produced can in truth be recombined to resolve the unique programming challenge. there are numerous examples of abstractions through the textual content, and every bankruptcy ends with pertinent references and workouts. many of the pattern implementations within the publication are written in CLU, one in all increasingly more languages capable of aid information abstraction. adequate fabric is integrated, notwithstanding, to permit the reader to paintings in Pascal to boot. the fabric during this publication was once built by means of the authors in the course of a decade of training undergraduate, graduate, and professional-level classes. Barbara Liskov, the developer of CLU, is Professor and John Guttag an affiliate Professor of machine technological know-how at MIT. Abstraction and Specification in application improvement is incorporated within the MIT electric Engineering and machine technology sequence.

Show description

Read Online or Download Abstraction and specification in program development PDF

Similar databases books

Barbara Liskov, John V. Guttag's Abstraction and specification in program development PDF

Abstraction and Specification in application improvement deals execs in application layout and software program engineering a strategy that might permit them to build courses which are trustworthy and fairly effortless to appreciate, regulate, and keep. reliable programming includes the systematic mastery of complexity, and this ebook offers the 1st unified therapy of the strategies of abstraction and specification, which, the authors argue, are the linchpin of any powerful method of programming.

ActualTests Oracle9i Program With PLSQL Examp 1Z0147 by ActualTests.com PDF

Эта книга — подробное руководство по управлению базами данных Microsoft SQL Server 2005. В ней даны пошаговые инструкции для установки и конфигурирования SQL Server 2005, создания объектов баз данных, секционирования, зеркального отображения баз данных,создания моментальных снимков баз данных, реализации доставки журналов, репликации и работы с такими компонентами, как Database Mail, carrier dealer, SQL Server Agent и complete textual content seek.

Ken England's The SQL Server 6.5 Performance Optimization and Tuning PDF

The SQL Server 6. five functionality Optimization and Tuning guide takes a close examine the criteria that impact database functionality, starting with sturdy actual layout. the interior garage buildings are lined subsequent, simply because an figuring out of those is key to functionality tuning. The severe topic of indexes is then mentioned, by means of the question optimizer, that's maybe the main an important SQL Server functionality subject.

Extra resources for Abstraction and specification in program development

Sample text

Je nach Einstellung wird das Löschen verboten, oder die Datensätze in der Detailtabelle werden gelöscht. Merkmal: Relationale Operatoren Eine weitere Möglichkeit, Tabellen zu verknüpfen, ist die Nutzung von relationalen Operatoren. book Seite 62 Montag, 2. November 2009 4:41 16 3 Praxis 1: Die Grundlagen Operator Funktion DIFFERENCE Liefert beim Vergleich zweier Tabellen als Ergebnis alle Datensätze, die in der ersten, nicht aber in der zweiten Tabelle vorhanden sind. DIVIDE Liefert von zwei im Aufbau unterschiedlichen Tabellen mit mindestens einer Spaltenüber-einstimmung das Ergebnis der Subtraktion von Tabelle 1 minus Tabelle 2.

November 2009 4:41 16 Herausforderung und Modell: Unsere kleine Firma Information Typ des Werts ID eindeutiger Schlüssel, Bestellnummer Kunden-Nr. 5 Struktur für die Tabelle »bestellungen« Im Feld für die Kundennummer müssen wir später sicherstellen, dass hier nur Werte gespeichert werden können, die auch als ID in der Tabelle kunden vorhanden sind. Außerdem müssen wir noch festlegen, was mit einem Eintrag in der Tabelle bestellungen passieren soll, wenn ein dazu korrespondierender Eintrag in der Tabelle kunden gelöscht wird.

Und wieder erreichen Sie mit dem allseits bewährten rechte Mausklick einen Dialog. Wählen Sie dort den Eintrag Grant-Assistent. Auf dem Reiter Auswahl/Selection finden Sie die beiden Tabellen. Wieder ist nicht schwer zu erraten, dass Sie nun die beiden Tabellen auswählen, indem Sie die Checkboxen vor den Tabellen jeweils markieren. Haben Sie das getan, wechseln Sie auf den Reiter Privilegien. Nun folgen drei Aktionen. Im Dropdown-Menü Rolle wählen Sie im Feld Privilegien die Gruppenrolle group marketing aus.

Download PDF sample

Abstraction and specification in program development by Barbara Liskov, John V. Guttag


by John
4.1

Rated 4.00 of 5 – based on 28 votes