The book is concerned with the broad topic of software engineering. It comprises the proceedings of the European Software Engineering Conference (ESEC) held at the University of Warwick in the United Kingdom in September 1989 and its primary purpose is to summarise the state of the art in software engineering as represented by the papers at that conference. The material covers both submitted papers and a number of invited papers given at the conference. The topics covered include: metrics and measurement, software process modelling, formal methods including their use in industry, software configuration management, software development environments, and requirements engineering. The book is most likely to be of interest to researchers and professionals working in the field of software development. The primary value of the book is that it gives an up-to-date treatment of its subject material and includes some interesting discussions of the transfer of research ideas into industrial practice.

The third European Software Engineering Conference follows ESEC'87 and ESEC'89. This series of conferences was set up by the European societies with the aim of providing an international forum for researchers, developersand users of software engineering technology. The need for a meeting point to discuss new results and useful experiences was clear from the large amount of high-quality European software engineering researchin recent years, stimulated, for example, through major European research programmes. The 22 papers in these proceedings were selected from 133 papers submitted from 26 different countries. They cover a fairly broad range of themes such as formal methods and practical experiences with them, special techniques for real-time systems, software evolution and re-engineering, software engineering environments, and software metrics. Invited papers by well-known experts address further important areas: perspectives on configuration management, software factories, user interfacedesign, computer security, and technology transfer.

This volume contains the revised versions of 28 papers presented at the third workshop on Computer Science Logic held in Kaiserslautern, FRG, October 2-6, 1989. These proceedings cover a wide range of topics both from theoretical and applied areas of computer science. More specifically, the papers deal with problems arising at the border of logic and computer science, e.g. in complexity, data base theory, logic programming, artificial intelligece, and temporal logic. The volume should be of interest to all logicians and computer scientists working in the above field.

Proceedings

Method Engineering focuses on the design, construction and evaluation of methods, techniques and support tools for information systems development It addresses a number of important topics, including: method representation formalisms; meta-modelling; situational methods; contingency approaches; system development practices of method engineering; terminology and reference models; ontologies; usability and experience reports; and organisational support and impact.

The emergence of new paradigms for data management raises a variety of exciting challenges. An important goal of database theory is to answer these challenges by providing sound foundations for the development of the field. This volume contains the papers selected for the third International Conference on Database Theory, ICDT'90. The conferences in this series are held biannually in beautiful European cities, Rome in 1986 and Bruges in 1988 with proceedings published as volumes 234 and 326 in the same series. ICDT'90 was organized in Paris by the Institut National de Recherche en Informatique et Automatique. The conference features 2 invited presentations and 31 papers selected from 129 submissions. The papers describe original ideas and new results on the foundations of databases, knowledge bases, object-oriented databases, relational theory, transaction management, data structures and deductive databases. The volume offers a good overview of the state of the art and the current trends in database theory. It should be a valuable source of information for researchers interested in the field.

As a result of the COVID-19 pandemic, most schools had to suddenly shift from traditional face-to-face courses to blended, synchronous, and asynchronous instructional environments. The impact upon the immediacy of remote learning was overwhelming to many faculty, instructional facilitators, teachers, and trainers. Many faculty and trainers have experience with the analysis, design, development, implementation, and evaluation of online and blended learning environments, while many faculty and trainers also do not have this knowledge nor experience. As such, the collegial workspace has developed into a collaborative work environment wherein the faculty are helping faculty, partially because the instructional designer staff and learning advisors are overwhelmed with the number of course projects that must be moved from traditional face-to-face course environments into an online environment within a short period of time. The faculty are helping each other make this move, offering course design and development support and also instructional tips and tricks that will support successful blended and online experiences that enhance learning outcomes. Shifting to Online Learning Through Faculty Collaborative Support focuses on supporting and enhancing blended and distance learning course design and development, successful tips for course design and teaching, techniques for online learning, and embracing collegial mentorship and facilitative support for course and faculty success. This book highlights the strength of collegial bonds while discussing tools, methods, procedural efforts, styles of engagement, learning theories, assessment efforts, and even social learning engagement implementations in online learning. It provides information and lessons and embraces a long-term approach towards understanding institutional impact and collegial support. This book is valuable for school administrators, teachers, course designers, instructional designers, school faculty, business and administrative leadership, practitioners, stakeholders, researchers, academicians, and students interested in how faculty collaborative support is playing a critical role in improving and developing successful online learning.