Improving a Modular Verification Technique for Aspect Oriented Programming

As aspect oriented software becomes more popular, there will be more demand for a method of verifying the correctness of the programs. This paper tries to address the verification issue by improving a modular verification technique proposed by Krisnamuhrti et al. The technique has the problem that it can not handle every aspect, which may result in a false awnser. By checking the type of the aspect in advance we can prevent this behavior. The proposed solution also improves some other issues regarding the model-checker

Using Project Management Techniques to Design a PMP Mathematics Study App for the Windows Universal Platform

Background As a late comer to the smartphone market, Microsoft has fallen behind the Apple and Google app ecosystems in the quantity and quality of apps offered. To attract developer talent, Microsoft released the Universal Windows Platform which enables apps to run across Windows devices with few additional modifications. Although the Windows app ecosystem has realized an increased number of available apps, few apps related to project management are currently available. About the project This project will design a PMP Certification Mathematics Study App for the Universal Windows Platform which will serve as a reference and study aid for the PMP certification exam. The app will be available to mobile and PC users who are utilizing the Microsoft Windows 10 and Windows 8 operating systems. Features of the app will include project management formula lookup, formula flashcards, and practice problems. At the completion of the project, the app will be submitted to the Windows Store for review and publishing to the Windows 10 application ecosystem. Approach The project scope will include the design of the app from requirements gathering to completion. Project deliverables will be aligned with Windows store applications evaluation criteria for responsiveness, reliability, and style. This project will conclude with submission of a completed application design to the project sponsor.Title Page / Table of Contents / List of Exhibits / Abstract / Background / About the project / Approach / Keywords / Introduction / Project Purpose / Project Approach / Research and Analysis / Research Approach / Research Analysis / Application Design Rating Verification / Research Objective 1: Investigate the preferred learning style of potential users / Research Objective 1: Design Conclusions and Implications / Flashcards Module / Formula Builder Module / Formula Reference Module / Research Objective 2: Investigate the most important aspect of user satisfaction / Research Objective 2: Design Conclusions and Implications / Research Conclusions / Requirements Gathering / User Interface Design / Project Deliverable Design / ViTech CORE / Input Application Requirements / Identify Application Components / Identify Component Functions / Identify Use Cases and Test Activities / Project Deliverables / Application Design Documents / Application Hierarchy / Conclusions and Recommendations / ViTech CORE Software Con/ lusions / Graphing Capabilities / Diagnostics Capabilities / Requirements Mapping and Verification / Final Project Deliverables / Recommendations for Further Research and Development / Application Publishing / Further Development and Product Updates / User Feedback Collection / Application Update Opportunities / Application Expansion Opportunitie

Ethics of e-voting: an essay on requirements and values in Internet elections

In this paper, we investigate ethical issues involved in the development and implementation of Internet voting technology. From a phenomenological perspective, we describe how voting via the Internet mediates the relation between people and democracy. In this relation, trust plays a major role. The dynamics of trust in the relation between people and their world forms the basis for our analysis of the ethical issues involved. First, we consider established principles of voting, confirming the identity of our democracy, which function as expectations in current experiments with online voting in the Netherlands. We investigate whether and how Internet voting can meet these expectations and thereby earn trust, based on the experiments in the Netherlands. We identify major challenges, and provide a basis for ethical and political discussion on these issues, especially the changed relation between public and private. If we decide that we want to vote via the Internet, more practical matters come into play in the implementation of the technology. The choices involved here are discussed in relation to the mediating role of concrete voting technologies in the relation between citizen and state

A Testability Analysis Framework for Non-Functional Properties

This paper presents background, the basic steps and an example for a testability analysis framework for non-functional properties

Towards a Formalism-Based Toolkit for Automotive Applications

The success of a number of projects has been shown to be significantly improved by the use of a formalism. However, there remains an open issue: to what extent can a development process based on a singular formal notation and method succeed. The majority of approaches demonstrate a low level of flexibility by attempting to use a single notation to express all of the different aspects encountered in software development. Often, these approaches leave a number of scalability issues open. We prefer a more eclectic approach. In our experience, the use of a formalism-based toolkit with adequate notations for each development phase is a viable solution. Following this principle, any specific notation is used only where and when it is really suitable and not necessarily over the entire software lifecycle. The approach explored in this article is perhaps slowly emerging in practice - we hope to accelerate its adoption. However, the major challenge is still finding the best way to instantiate it for each specific application scenario. In this work, we describe a development process and method for automotive applications which consists of five phases. The process recognizes the need for having adequate (and tailored) notations (Problem Frames, Requirements State Machine Language, and Event-B) for each development phase as well as direct traceability between the documents produced during each phase. This allows for a stepwise verification/validation of the system under development. The ideas for the formal development method have evolved over two significant case studies carried out in the DEPLOY project