Buscar recursos académicos

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...

A book that describes and applies Software Engineering methods according to the state of the art of the subject matter; it is integrated with a proper exemplification and evolves as each topic is introduced. The material...

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...

Even if it seems to be at a first glance a simple question, this is really a very interesting one. For many years, Analysis has been the generic term to refer to those initial Software Production Process steps where desi...

Many methodologies have been proposed to systematize the software development process. Many of them have been widely adopted. However, the majority has focused on analysis and design. Requirements have frequently been fo...

UML (Unified Modeling Language) is one of the most used languages to specify and document informatics applications. However, UML is a generalpurpose language, so it often lacks of elements to model and represent concrete...

In this paper we describe a methodology to translate BON (architectural) designs to Alloy specifications. The main virtue of this process is that it can be implemented by means of software tools. The utilization of this ...