Fundamental Approaches to Software Engineering

computer software maintenance; computer software selection and evaluation; formal logic; formal methods; formal specification; programming languages; semantics; software engineering; specifications; verificatio

Fundamental Approaches to Software Engineering

This open access book constitutes the proceedings of the 23rd International Conference on Fundamental Approaches to Software Engineering, FASE 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The 23 full papers, 1 tool paper and 6 testing competition papers presented in this volume were carefully reviewed and selected from 81 submissions. The papers cover topics such as requirements engineering, software architectures, specification, software quality, validation, verification of functional and non-functional properties, model-driven development and model transformation, software processes, security and software evolution

Database system architecture supporting coexisting query languages and data models

SIGLELD:D48239/84 / BLDSC - British Library Document Supply CentreGBUnited Kingdo

Combining SOA and BPM Technologies for Cross-System Process Automation

This paper summarizes the results of an industry case study that introduced a cross-system business process automation solution based on a combination of SOA and BPM standard technologies (i.e., BPMN, BPEL, WSDL). Besides discussing major weaknesses of the existing, custom-built, solution and comparing them against experiences with the developed prototype, the paper presents a course of action for transforming the current solution into the proposed solution. This includes a general approach, consisting of four distinct steps, as well as specific action items that are to be performed for every step. The discussion also covers language and tool support and challenges arising from the transformation

Multimedia teaching cases

SUMMARY The summary presents an overview of the dissertation and major findings of my research: · Research Area, Questions and Design · Frame of Reference - Domain Knowledge · Major Findings Research Area, Questions and Design This dissertation investigates development and use of multimedia teaching cases, as applied in business education. Teaching cases present companies, and the current problems or opportunities they are facing. (Barnes, Christensen and Hansen 1994, Maufette- Leenders, Erskine and Leenders 1997, Heath 1998, Manninen 1997.) The primary characteristic is that the case is based on real events. Very often the case description follows a decision-making situation. (Mauffette-Leenders, Erskine, and Leenders 1997, Hazard 2000.) The case is prepared by students and then discussed in class. The objective of the class discussion is to analyse the company's situation and come up with viable strategies for the future (Leenders and Erskine 1989, Heath 1998, Orngreen and Bielli 2001). Cases were introduced to business education already in 1910 at the Harvard Business School, and have since then gained widespread use throughout the world (Leenders and Erskine 1989). Traditionally teaching cases have been written descriptions, but the teaching cases in this dissertation are multimedia cases. The use of multimedia teaching cases is a relatively new phenomenon. Because of the novelty of the approach, research on how to apply these or developing them is extremely limited. Though I investigate both a use and a development perspective, the use dimension is investigated with the purpose to inform development. In particular the dissertation results in a set of roles and tools influencing the development process, which is also seen in my three research questions: 1. Which roles and tools characterise the development and use of multimedia teaching cases for business education? 2. How are these roles and tools applied to the multimedia development process, and how do they support or restrain the development. 3. How are the development roles and tools, and the use roles and tools interrelated, and how do they relate to a development model for multimedia teaching cases

A Modelling Approach to Multi-Domain Traceability

Traceability is an important concern in projects that span different engineering domains. Traceability can also be mandated, exploited and man- aged across the engineering lifecycle, and may involve defining connections between heterogeneous models. As a result, traceability can be considered to be multi-domain. This thesis introduces the concept and challenges of multi-domain trace- ability and explains how it can be used to support typical traceability scenarios. It proposes a model-based approach to develop a traceability solution which effectively operates across multiple engineering domains. The approach introduced a collection of tasks and structures which address the identified challenges for a traceability solution in multi-domain projects. The proposed approach demonstrates that modelling principles and MDE techniques can help to address current challenges and consequently improve the effectiveness of a multi-domain traceability solution. A prototype of the required tooling to support the approach is implemented with EMF and atop Epsilon; it consists of an implementation of the proposed structures (models) and model management operations to sup- port traceability. Moreover, the approach is illustrated in the context of two safety-critical projects where multi-domain traceability is required to underpin certification arguments

Summary of Research 1994

The views expressed in this report are those of the authors and do not reflect the official policy or position of the Department of Defense or the U.S. Government.This report contains 359 summaries of research projects which were carried out under funding of the Naval Postgraduate School Research Program. A list of recent publications is also included which consists of conference presentations and publications, books, contributions to books, published journal papers, and technical reports. The research was conducted in the areas of Aeronautics and Astronautics, Computer Science, Electrical and Computer Engineering, Mathematics, Mechanical Engineering, Meteorology, National Security Affairs, Oceanography, Operations Research, Physics, and Systems Management. This also includes research by the Command, Control and Communications (C3) Academic Group, Electronic Warfare Academic Group, Space Systems Academic Group, and the Undersea Warfare Academic Group