Download Software Engineering Education: SEI Conference 1990 by David Gries (auth.), Lionel E. Deimel (eds.) PDF

By David Gries (auth.), Lionel E. Deimel (eds.)

This quantity represents a consultant to software program engineering schooling.

Show description

Read or Download Software Engineering Education: SEI Conference 1990 Pittsburgh, Pennsylvania, USA, April 2–3, 1990 Proceedings PDF

Similar software books

Software Engineering Education: SEI Conference 1990 Pittsburgh, Pennsylvania, USA, April 2–3, 1990 Proceedings

This quantity represents a advisor to software program engineering schooling.

Functional Programming for Loosely-Coupled Multiprocessors (Research Monographs in Parallel and Distributed Computing)

Contemporary growth in VLSI offers titanic parallelism yet basic objective parallel pcs stay elusive because of constrained communications functionality. This booklet proposes a brand new excessive point method of programming that addresses the pragmatic factor of ways a computation is sent throughout a computer.

Empirical Foundations of Information and Software Science

The aim of the second one Symposium on Empirical Foundations of Informa­ tion and software program technological know-how (EFISS) used to be, in essence, almost like that of the 1st Symposium during this sequence, i. e. to discover matters and techniques of sci­ entific inquiry that are of primary and customary curiosity to details and software program sciences, and to map instructions of study that would enjoy the mutual interplay of those fields.

Internetware: A New Software Paradigm for Internet Computing

This e-book offers a finished advent to Internetware, protecting facets starting from the elemental ideas and engineering methodologies to operational systems, caliber measurements and insurance and destiny instructions. it is usually instructions and diverse consultant real-world case stories that function a useful reference source for software program engineers taken with the improvement of Internetware functions.

Additional info for Software Engineering Education: SEI Conference 1990 Pittsburgh, Pennsylvania, USA, April 2–3, 1990 Proceedings

Example text

Dieser Ubergang f¨ uhrt dazu, dass auch der Zustand, der auf ankommende Anrufe wartet, verlassen wird. Das Wiedereinschalten der Maschine f¨ uhrt dazu, dass eben dieser Zustand auch wieder mit betreten wird. Zusammenfassend k¨onnen wir festhalten: Zust¨ ande in StateCharts-Diagrammen sind entweder UND-Superzust¨ ande, ODER-Superzust¨ ande oder Basiszust¨ ande. 24 2 Spezifikationssprachen Anrufbeantworter ein Anrufverarbeitung Tastenverarbeitung (inkl. Ein/Aus) Klingeln Taste gedrückt Lproc Lwait Kproc Kwait Auflegen fertig (Anrufer) Einschalten Ausschalten aus Abb.

Dieses Paradigma ist f¨ ur eingebettete Systeme, insbesondere f¨ ur Realzeitsysteme, ungeeignet, da es beim Von-Neumann-Modell keine M¨oglichkeit gibt, Zeit auszudr¨ ucken. Andere Berechnungsmodelle sind f¨ ur diesen Bereich eher geeignet. Berechnungsmodelle definieren (in Anlehnung an [Lee, 1999]): • Komponenten und die Organisation des Ablaufs von Berechnungen in diesen Komponenten: Prozeduren, Prozesse, Funktionen, endliche Automaten sind m¨ogliche Komponenten. • Kommunikations-Protokolle: Diese Protokolle beschreiben die Kommunikationsm¨oglichkeiten zwischen den Komponenten.

Abb. 15 ist ¨aquivalent zu Abb. 5 SDL Startzustand Zustand Eingabe Ausgabe 33 Abb. 14. Symbole in der graphischen Darstellung von SDL f/v A g/w B h/x C i /y D j/z E k Abb. 15. Ein endlicher Automat und der ver¨anderten Wirkung des Signals k. Abb. 16 zeigt die zugeh¨orige graphische SDL-Darstellung. Offensichtlich ist die Darstellung ¨aquivalent zum Zustandsdiagramm in Abb. 15. Process P1 A B C D E g h i j f w x y z v B C D E A k A Abb. 16. SDL-Darstellung von Abb. 15 Als Erweiterung gegen¨ uber klassischen endlichen Automaten k¨onnen SDLProzesse Operationen auf Daten ausf¨ uhren.

Download PDF sample

Rated 4.10 of 5 – based on 14 votes