A vicious cycle exists between agricultural production and climate change, where agriculture
is both a driver and a victim of the changing climate. While new and ambitious …

Background: The design of Autonomous Systems must consider multiple elements of the
system, such as agents, physical objects and their software counterparts, control …

The quality of specified and modeled requirements is critical for IT project success. A
significant number of specialized techniques are used for documenting the requirements …

A significant number of techniques dedicated to requirements specification and
documentation is described in the available sources. As there is no purpose to use all of …

The success of development and testing activities depends on the quality of the requirement
engineering and business analysis deliverables. The most important part of them is …

Despite the growing body of knowledge on requirements engineering and business
analysis, these areas of software project are still considered problematic. The paper focuses …

Small Island Developing States (SIDS) increasingly face natural hazards that overwhelm
their capacity to generate and share spatial-information to reduce human–economic losses …

In recent years, a growing number of stakeholders have been taking part in the generation
and delivery of geospatial information and services to reduce the impact of severe natural …

Métodos Formales, Ingeniería de Requisitos y Pruebas del Software Prof. Edgar Serna M.(Ed.)
Métodos Formales, Ingeniería de Requisitos y Pruebas del Software Editorial Instituto …

SysML is a UML profile, proposed more than 15 years ago, as a systems modeling language
supporting specification, design, development, verification and validation of a variety of …