Actually, software products are increasing in a fast way and are used in almost all activities of human life. Consequently measuring and evaluating the quality of a software product has become a critical task for many companies. Several models have been proposed to help diverse types of users with quality issues. The development of techniques for building software has influenced the creation of...

In this paper, we examine the development and implementation of new technical systems designed to more eVectively manage and produce driving, drivers and driving spaces. These new systems change the governmentality of automobilities by altering the relationship between driver, vehicle and transport infrastructure and produce new subjects and spaces. They do this principally through the process ...

Reaction invariants are quantities that take the same values before, during and after a reaction. We identify a set of reaction invariants that are linear transformations of the species mole numbers. The material balances for chemically reacting mixtures correspond exactly to equating these reaction invariants before and after reaction has taken place. We present a systematic method for determi...

Programmers spend considerable time debugging code. Symbolic debuggers provide some help but the task remains complex and difficult. Other than breakpoints and tracing, these tools provide little high-level help. Programmers must perform many tasks manually that the tools could perform automatically, such as finding which statements in the program affect the value of an output variable for a gi...

Comprehensive analytical modeling and simulation of cyber-physical systems is an integral part of the process that brings to life novel designs and products. But the effort needed to go from analytical models to running simulation code can impede or derail this process. Our thesis is that this process is amenable to automation, and that automating it will accelerate the pace of innovation. This...

Recent papers have urged the need for new forensic techniques and tools able to investigate anti-forensics methods, and have promoted automation of live investigation. Such techniques and tools are called proactive forensic approaches, i.e., approaches that can deal with digitally investigating an incident while it occurs. To come up with such an approach, a Systematic Literature Review (SLR) w...

The automation of complex industrial batch processes is a difficult problem due to the extremely nonlinear and variable system behavior or the conflicting goals within the different process phases. The introduction of a single multipleinput multiple-output controller (e.g. fuzzy logic (FL) controller) is not useful because of the rather high design effort and the low transparency of its complex...

In this paper, we consider advances in automated over-thephone alphanumeric string capture. For this task, acoustic confusions typically result in significant error rates. Of course, confusions also exist in human-to-human communication. However, humans employ dialog-level strategies with which to disambiguate confusions and correct errors – allowing highfidelity transmission of alphanumeric st...

Recent assessments of structure prediction have demonstrated that (i) although fold recognition methods can often identify remote similarities when standard sequence search methods fail, the score of the top-ranking fold is not always signii-cant enough to allow a conndent prediction; (ii) the use of structural information such as secondary structure increases recognition accuracy; (iii) modern...

The paper presents a combination of interactive and automatic tools in the area of software verification. We have integrated a newly developed software model checker into an interactive verification environment for imperative programming languages. Although the problems in software verification are mostly too hard for full automation, we could increase the level of automated assistance by disch...