In this work a compiler from fork specifications into logic programs is presented. The technique implemented by the compiler consists of transforming a set of fork equations (with some restrictions) into normal logic programs in such a way that the…

This essay is based on a previous “regression” testing knowledge, black box testing and user graphic interfaces testing. Besides, due to the fact that the testing life cycle is inside the software life cycle, the suggested focus promotes existing test…

The present thesis describes a Requirements Engineering strategy, called SDRES (Scenario Driven Requirements Engineering Strategy), which proposes to face topics rarely treated in real practice, such as continuous changes in requirements, software defects originated during requirements production, the organisational context…

The work carried out in the thesis describes efficient virtual environments management. One of the main contributions is a middleware scheduling optimization based on Grid environments. Being the overall goal to get an optimal resource selection plus a coordinate task…

In the first paragraph of the Introduction of the book the authors say "The definition of computer architecture has generated many discussions since the emergence of what could be considered the first computer in 1943, the ENIAC". Later they add…

This paper presents an evolution of a simulation environment where situations in which a DDB should maintain data integrity are modeled and implemented. These situations include failures taking place during transactions, and the focus is mainly on the utilization and…

This thesis observes the emerging trend of convergence of control with computing and communication. By exploiting control and scheduling codesign, we study some practical and open problems in RTCSs from a unique viewpoint of dynamic resource management. Considering constraints on…

The growth of technological innovations, internet developments, and their (web) applications has raised a definite issue on retaining the web interface quite understandable, and a need is also being felt on developing suitable and coherent guidelines for designing interface to…

For centuries, experimentation has been at the center of all successful scientific studies. Experimental explorations can offer new perceptions, weed out unproductive approaches and validate theories and practices. Computer Science (CS), as a discipline, has a poor record when it…

In this Ph. D thesis, the main significant contributions are: formulation of a new non-linear membership function using fuzzy approach to capture and describe vagueness in the technological coefficients of constraints in the industrial production planning problems [1-3]. This non-linear…