Buscar recursos académicos

In 21st century, convergences of technologies and services in heterogeneous environment have contributed multi-traffic. This scenario will affect computer network on learning system in higher educational Institutes. Impl...

Quality models for software architecture are taxonomies of quality attributes, commonly used to specify and evaluate nonfunctionalrequirements. Most quality models offer a two-level approach, distinguishing externally ob...

"This article reports the ongoing work on an environment for hardware-in-the-loop (HIL) and software-in-the-loop (SIL) tests of CubeSats and the benefits gained from using such an environment for low-cost satellite devel...

In this paper, we present a UML profile and a group of UML patterns for documenting the component-andconnector views of software architectures [8]. They facilitate the creation of the component and connector viewtype in...

Nowadays,it's well-known that Small and Medium Enterprises (SMEs) generate important contributions to the software industry. Their particular characteristics constitute a challenge to decision makers when selecting techn...

"Various approaches to software analysis (e.g. test input generation, software model checking) require engineers to (manually) identify a subset of a module’s methods in order to drive the analysis. Given a module to b...

At present, the early phase of Requirements Engineering is a new research area in the Software Engineering field. This phase is concerned with the analysis of the organizational context in which a software system will be...

El análisis estadístico es fundamental en el campo de la investigación epidemiológica. De todas maneras, el software comercial para análisis estadístico es demasiado caro para un uso personal. Algunos programas gra...

Object-oriented software development has proven effective for systems development, but the creation of reusable and changeable software architectures is still a challenging task. Design patterns capture the expertise for...

"Having the expected behavior of software specified in a formal language can greatly improve the automation of software verification activities, since these need to contrast the intended behavior with the actual software...

This thesis is based on a certain type of legacy software that came from scientific research. Scientists have become one of the most important legacy code producers for many reasons. One of these is long-lived field (abo...

The motivation of this work comes from a Global Climate Model (GCM) Software which was in great need of being updated. This software was implemented by scientists in the ’80s as a result of meteorological research. Wri...

There has been an increasing number of literature dealing with the software engineering aspect of building “agent oriented software”. In principle, agent oriented software is software implemented in platforms in whic...