Download Innovationen bei Rechen- und Kommunikationssystemen: Eine by Ingo Claßen, Michael Löwe, Susanne Waßerroth, Jan Wortmann PDF

By Ingo Claßen, Michael Löwe, Susanne Waßerroth, Jan Wortmann (auth.), Bernd Wolfinger (eds.)

Inhaltsübersicht: Integration semi-formaler und formaler Methoden für die Spezifikation von Software-Systemen.- Disjunktive logische Programmierung und disjunktive Datenbanken.- Benutzungsschnittstellen für kommunizierende Systeme.- Systemtechnische Unterstützung verteilter Multimedia-Anwendungen.- IT-Sicherheit: Technik im Spannungsfeld von Ethik und Recht.- Workstations: Architekturen, Anwendungen und Entwicklungstrends.- Realzeitsysteme.- Simulationstechnik.- Kommunikation und Koordination in verteilten betrieblichen Anwendungen.- Workshop: computing device, Media and Arts.- scholars Workshop.

Show description

Read or Download Innovationen bei Rechen- und Kommunikationssystemen: Eine Herausforderung für die Informatik PDF

Similar german_5 books

Extra resources for Innovationen bei Rechen- und Kommunikationssystemen: Eine Herausforderung für die Informatik

Example text

3 The ScaIing-Up Problem ror Formal Methods There is a principal problem in "scaling up" formal methods to specifications of large application systems, like business information systems or process control systems. This is due to the following reasons: Formal specification languages are not suitable for a first sketch of the structure of a system and of its role within an existing organization. Formal specifications lack adequate features for deriving several simpler views of a complex system. Large application systems frequently use a standardized architecture which is not supported by current formal specification techniques.

Larsen (eds), FME' 93, Lecture Notes in Computer Science Vol. 670, Springer 1993, pp. 541557. , M. Blaha, W. Premerlani, F. Eddy, W. Lorensen, Object-orientcd modelling and design. Prentice-Hall 1991. Combining with the Object Modeling Technique+ TROLL Ralf Jungclaus' Roel J. Wieringa§ Peter Hartel* Gunter Saake* Thorsten Hartmann* Abstract The focus of this paper is the development of a formally based object-oriented modeling formalism called OMIROLL by using features from mostly informal objectoriented modeling approaches (mainly aMT) and from a formal object-oriented specification approach (TROLL).

Related: Rel ~ Entity x Entity; related total; The two words "related total" in this declaration are an abbreviation for an axiom. This axiom requires the function to be defined for every value of the abstract relationship sort Rel. After instantiation with a concrete ER diagram, concrete values can be named for the sort Rel using the relationship identifers (wants, holds, ... ). The consequence is that the totality axiom holds only if for each relationshop identifier two corresponding entities can be named.

Download PDF sample

Rated 4.45 of 5 – based on 43 votes