Peter Forbrig Libri

 This book constitutes the thoroughly refereed post-proceedings of the 9th International Workshop on the Design, Specification, and Verification of Interactive Systems, DSV-IS 2002, held in Rostock, Germany in June 2002. The 19 revised full papers presented have gone through two rounds of reviewing, selection, and improvement. All aspects of the design, specification, and verification of interactive systems from the human-computer interaction point of view are addressed. Particular emphasis is given to models and their role in supporting the design and development of interactive systems and user interfaces for ubiquitous computing.

The BIR (Business Informatics Research) conference series began 10 years ago in Rostock, initiated by researchers from Swedish and German universities. Its aim was to establish a global forum for collaboration and idea exchange among business informatics researchers, both senior and junior. Over the years, BIR has evolved into a series of international conferences, primarily held in the Baltic Sea region, including Norway and Iceland. A steering committee maintains the high quality of the proceedings. This year, we are excited to have a renowned international editor publishing selected conference papers. Interest in the conference has grown, with 53 contributions submitted this year, leading to the acceptance of 14 long papers and 4 short papers, alongside additional invited presentations. The selection process was conducted by an International Program Committee, resulting in a collection of engaging papers that tackle significant topics such as knowledge management, ontologies, workflow specifications, databases, and OLAP. The conference commenced with a keynote address by Dr. Klaus Brunnstein from the University of Hamburg, who presented on "The Information Society on the Way to Web 3.0: Perspectives, Opportunities and Risks," a topic that poses challenges for everyone involved.

The IFIP World Computer Congress (WCC) is one of the most important conferences in the area of computer science at the worldwide level and it has a federated structure, which takes into account the rapidly growing and expanding interests in this area. Informatics is rapidly changing and becoming more and more connected to a number of human and social science disciplines. Human–computer interaction is now a mature and still dynamically evolving part of this area, which is represented in IFIP by the Technical Committee 13 on HCI. In this WCC edition it was interesting and useful to have again a Symposium on Human–Computer Interaction in order to p- sent and discuss a number of contributions in this field. There has been increasing awareness among designers of interactive systems of the importance of designing for usability, but we are still far from having products that are really usable, and usability can mean different things depending on the app- cation domain. We are all aware that too many users of current technology often feel frustrated because computer systems are not compatible with their abilities and needs in existing work practices. As designers of tomorrow’s technology, we have the - sponsibility of creating computer artifacts that would permit better user experience with the various computing devices, so that users may enjoy more satisfying expe- ences with information and communications technologies.

Engineering Interactive Systems (EIS) 2008 was an international event combining the 2nd working conference on Human-Centred Software Engineering (HCSE 2008) and the 7th International Workshop on TAsk MOdels and DIAgrams (TAMODIA 2008). HCSE is a working conference that brings together researchers and practitioners - terested in strengthening the scientific foundations of user interface design and examining the relationship between software engineering and human-computer interaction and how to strengthen user-centred design as an essential part of so- ware engineering processes. As a working conference, substantial time is devoted to the open and lively discussion of papers. TAMODIA is an international workshop on models, such as task models and visual representations in Human-Computer Interaction (one of the most widely used notations in this area, ConcurTaskTrees, was developed in the town that hosted this year’s event). It focuses on notations used to describe user tasks ranging from textual and graphical forms to interactive, multimodal and multimedia tools.

The book „Introduction to Programming by Abstract Data Types“ addresses first year computer science students and readers interested in the basic concepts of programming. It is a reliable guide from analysing and specifying problems to implemented software. A systematic way of writing algorithms is trained and a seamless transition to modern principles like data encapsulation and object-oriented programming is shown. The CD-ROM comes with a lot of source code examples and videos showing how tools like VPascal, JBuilder, Delphi, Hope and Haskell environment can be used to understand the principles of programs and specifications. Beside the free systems VPascal (similar to Turbo Pascal), JBuilder University Edition, Hope and Haskell environment there is a Delphi trial version for 60 days available on the CD-ROM. Some exercises with solutions and a glossary are available within the computer based training tool To/ol as well.

Wichtige Themen der Informatik werden in diesem Buch prägnant und zielgerichtet für Ingenieure aufbereitet. Die modulare Anordnung der Abschnitte ermöglicht ein unabhängiges Lesen, wodurch Leser gezielt auf spezifische Inhalte zugreifen können. Themen wie Internet, Simulation, Datenbanken und Multimedia werden durch praxisnahe Beispiele veranschaulicht. Das durchdachte Layout trägt zusätzlich dazu bei, die Informationen klar und übersichtlich zu präsentieren, was die Nutzung des Buches erleichtert.

KlappentextInhaltsverzeichnis J. Ludewig: Der Modellstudiengang Softwaretechnik J. Mordau, T. Spitta: Die Erprobung von Z in der Lehre J. Raasch, A. Sack-Hauschwitz: Kooperation, Kommunikation, Präsentation: Lernziele im Software-Engineering-Projekt P. Forbrig: Probleme der Themenwahl und der Bewertung bei der Projektarbeit in der Software-Engineering-Ausbildung K. Bothe: Software-Engineering und Compilerbau in der Ausbildung - eine Synthese D. Schmedding: Generierung von Code-Rahmen - Eine konstruktive Maßnahme der Qualitätssicherung F. Nickl, R. Stabl: Praxisbezug bei Software-Entwicklungs-Praktika an der LMU München A. Spillner: Softwarequalitäts-Ingenieur: Ein Plädoyer für eine eigenständige Ausbildung M. Schwarz, W. Schulte: Realistische Aufgabenstellungen für das Softwaregrundpraktikum M. Brunner, U. Schroeder: Anwendung innovativer Lernformen bei der Software-Engineering-Ausbildung mit Unternehmensbeteiligung H. Sikora, W. Pree: Die „Meisterklasse Software-Engineering“: Ein Ansatz für Industriekooperationen zur Bewältigung großer Technologiesprünge „... The book is helpful to discuss the requirements for software engineering education with respect to current idustrial practice.“ R. Dumke. Zentralblatt MATH

Die Tagung HDI 2014 in Freiburg zur Hochschuldidaktik der Informatik HDI wurde erneut vom Fachbereich Informatik und Ausbildung / Didaktik der Informatik (IAD) in der Gesellschaft für Informatik e. V. (GI) organisiert. Sie dient den Lehrenden der Informatik in Studiengängen an Hochschulen als Forum der Information und des Austauschs über neue didaktische Ansätze und bildungspolitische Themen im Bereich der Hochschulausbildung aus der fachlichen Perspektive der Informatik. Die HDI 2014 ist nun bereits die sechste Ausgabe der HDI. Für sie wurde das spezielle Motto „Gestalten und Meistern von Übergängen“ gewählt. Damit soll ein besonderes Augenmerk auf die Übergänge von Schule zum Studium, vom Bachelor zum Master, vom Studium zur Promotion oder vom Studium zur Arbeitswelt gelegt werden.

Das Buch bietet einen Einstieg in die objektorientierte Spezifikation mit UML (Unified Modelling Language), einem Standard für die objektorientierte Softwareentwicklung. Besonders viel Aufmerksamkeit erfährt die Spezifikation dynamischer Zusammenhänge. Hierzu gibt es auf der CD-ROM eine Reihe von Videos, die das Verständnis erleichtern sollen. Daneben werden auch die Möglichkeiten von Aktivitätsdiagrammen aufgezeigt und der Zusammenhang zu den besonders bei Banken und Versicherungen beliebten Ereignis-Prozess-Ketten hergestellt. Die Idee der Entwurfsmuster wird vorgestellt und die Notationsmöglichkeiten in UML diskutiert. Das Buch beschreibt eine an der Universiät Rostock entwickelte Methode zur Verknüpfung von Entwurfsmustern. Die entsprechende Werkzeugunterstützung steht auf der beiliegenden CD zur Verfügung. Auf CD-ROM: Lernprogramm UML mit zahlreichen Videos und Animationen Rational Rose, 30 Tage Vollversion Patternbibliothek für Rational Rose Erweiterung von Rose zur Manipulation von Patterns Informationen zur Programmiersprache PaL Professor Dr. Peter Forbrig hat den Lehrstuhl Softwaretechnik am Institut für Praktische Informatik an der Universität Rostock inne und ist u. a. mit der Entwicklung interaktiver Systeme befasst.