The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
UML Activity diagrams offer a very large set of constructs, however many of them seem scarcely used or even their existence is not known. Here, we present a precise view of the usage levels of these constructs by means of a survey, covering preliminarily books, courses, tutorials, and tools about UML. Results show that, among the 47 Activity diagrams constructs, a large majority of them seem to be...
We founded recomputation.org about 18 months ago as we write. The site is intended to serve as a repository for computational experiments, embodied in virtual machines so that they can be recomputed at will by other researchers. We reflect in this paper on those aspects of recomputation.org that have worked well, those that have worked less well, and to what extent our views have changed on reproducibility...
CVC4 is a solver for Satisfiability Modulo Theories (SMT). This tutorial aims to give participants an overview of SMT, describe the main features of CVC4, and walk through in-depth examples using CVC4 to demonstrate how to solve real problems with an SMT solver. We will provide a detailed description of various aspects of CVC4's internals, including its architecture, its capacity for dealing with...
We developed software that provides intelligent hands-on bench-top dynamic help to students as they study in laboratories for introductory circuit analysis. Tutoring help is available at “teachable moments” as opposed to students waiting days or weeks for traditional teacher-graded labs reports. Quantitative and qualitative studies show that using the software leads to improved learning, verbalization...
Collaborative teams at the University of Washington Bothell are designing games like Corrupted that introduce students to basic programming structures and functionalities.
Spoken Tutorial project is a team initiative of IIT Bombay with the government support that holds the potential to build an IT literate nation. The paper explains the relevance of the project in the present society along with the methodology of the project and the importance of skill building in the present society. The challenges that might come in the way of the project are also discussed and the...
Computer networks are essential infrastructure in modern society. Much like the electric power grid, we expect networks to always function, and there are often serious material consequences when they fail. Unfortunately, network failures are all too common. At Amazon, a configuration error during routine maintenance triggered cascading failures that shut down a datacenter and the customer machines...
Firmware validation is driven by imperatives and challenges distinct from those of application level software. In this tutorial we will survey the characteristics of firmware projects, focusing on those that make them particularly challenging and important to validate. Well look at the tasks accomplished using firmware, the environments in which it executes, and how firmware is shaped by the constraints...
The tutorial begins with introductory information about the amateur radio communications and continues with studying one of the most popular computer-related radio communication modes: the VHF/UHF and HF “packet-radio” (other popular modes, like “amtor”, “pactor”, “g-tor”, “clover” etc. are also the options). The tutorial discusses (with examples) on how to choose inexpensive hardware and software...
This mini-tutorial highlights and conveys key practices in Requirements Engineering that can be applied in daily projects. It synthesizes the essence of six tutorials presented at the RE'13 Tutorial's sessions, and so promotes a great opportunity for a wider audience to learn from practice and have knowledge transfer. Besides that, this session is a great stimulus to increase the global synergy between...
Student involvement in Free and Open Source Software (FOSS) holds the potential to support a wide range software engineering education topics from requirements to design to testing and more. In addition, participation in a FOSS project exposes students to large, complex software projects and real-world development teams and environments like those that they will typically see after graduation. However,...
Java Pathfinder (JPF) is an open source analysis system that automatically verifies Java programs. The JPF tutorial provides an opportunity to software engineering researchers and practitioners to learn about JPF, be able to install and run JPF, and understand the concepts required to extend JPF. The hands-on tutorial will expose the attendees to the basic architecture framework of JPF, demonstrate...
Variability is becoming an increasingly important concern in software development but techniques to cost-effectively verify and validate software in the presence of variability have yet to become widespread. This half-day tutorial offers an overview of the state of the art in an emerging discipline at the crossroads of formal methods and software engineering: quality assurance of variability-intensive...
Target audience: Software practitioners and researchers wanting to understand the state of the art in using data science for software engineering (SE). Content: In the age of big data, data science (the knowledge of deriving meaningful outcomes from data) is an essential skill that should be equipped by software engineers. It can be used to predict useful information on new projects based on completed...
This half-day tutorial shows how a flexible simulation environment can link the various topic areas of software engineering in the same way they are interwoven in the daily work of practitioners. Based on the simulation goals, the participants act as project managers determining the simulated development process by adequate staffing and allocating software development as well as quality assurance...
The Software Enterprise is a pedagogical model combining traditional lecture with project-based learning. The Enterprise model leads students through a modular series of lessons that combine foundational concepts with skills-based competencies. In this tutorial, software engineering educators in higher education or industry will learn the methodology, get exposed to assessment techniques such as e-portfolios...
The classical formulation of the program-synthesis problem is to find a program that meets a correctness specification given as a logical formula. Recent work on program synthesis and program optimization illustrates many potential benefits of allowing the user to supplement the logical specification with a syntactic template that constrains the space of allowed implementations. Our goal is to identify...
Software analytics is to enable software practitioners to perform data exploration and analysis in order to obtain insightful and actionable information for data-driven tasks around software and services. When applying analytic technologies in practice of software analytics, one should incorporate (1) a broad spectrum of domain knowledge and expertise, e.g., management, machine learning, large-scale...
The AMEISE (A Media Education Initiative for Software Engineering) approach focuses on the simulation of software project management processes. Based on Stuttgart University's SESAM (Software Engineering Simulation by Animated Models) [1], the AMEISE tool-set allows for repeatedly experiencing the complexity of software project management within a game-like simulation environment [2, 3, 4]. The tutorial...
Autism is a general term used to describe a group of complex developmental brain disorders known as Pervasive Developmental Disorders (PDD). It is a life-long disability that prevents people from understanding what they see, hear, and sense. This results in severe problems with social relationships, communications, and behavior. Autism is typically diagnosed between the ages of two and six, although...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.