A Matlab-based seismic risk tool has been developed and named RISKICG. This tool is
still in development, but it can provide damage results and economic losses for the
general building stock of a city or country and also for the…

Faunistic data of 64 species of Phygadeuontini from Bulgaria are reported. Of them, 27 species are new records for Bulgarian fauna. Zoogeographical considerations about all listed species are given., En el presente artículo se ofrecen nuevos datos faunísticos sobre 64…

Framework comprehension is a very limiting factor to take full advantage of the benefits that frameworks offer to increase quality and productivity in software development. In this paper, a reverse engineering approach to framework comprehension using the MetaExplorer tool is…

As a part of a taxonomic revision of Ethesia Raf., a new species, E. tanquana Mart.-Azorín & M.B.Crespo, is described from the Tanqua Karoo in South Africa. This new species is at first sight similar to E. haalenbergensis (U.Müll.-Doblies &…

A Federated System is a collection of independent, cooperative, possibly heterogeneous and autonomous computer systems (usually database systems) which allows sharing all or some of its data. A Service-oriented Architecture is an application architecture whose functionalities are defined as independent…

Although researchers noted the importance of effective communication among stakeholders, it continues to be a challenge for requirements engineering. Communication can be considered as a management tool since communication allows organisation’s personnel to produce a cohesive enterprise view. In this…

Defining software requirements is a complex and difficult process, which often leads to costly project failures.
Requirements emerge from a collaborative and interactive negotiation process that involves heterogeneous stakeholders (people involved in an elicitation process such as users, analysts, developers,…

Certifying compilers use static information of a program to verify that it complies with certain security properties and to generate certified code. To do so, those compilers translate the source program into an annotated program written in some intermediate language.…

Effective document retrieval using domain knowledge and semantics is one of the major challenges in Information Retrieval. Over the last years, there has been a growing interest in ontologies as an artifact for human knowledge representation and a critical component…

The refinement technique allows us to capture the relationship between specification and implementation in software developments. The precise documentation of the refinement relations hip makes it possible the traceability of the requirements through the refinement steps.
Unfortunately, the standard modelling…