Context: Software engineering for ubiquitous systems has experienced an important and
rapid growth, however the vast research corpus makes it difficult to obtain valuable …

Testing a software system is an important step approach to ensuring quality, safety, and
reliability in safety-critical systems (SCS). Several authors have published new approaches …

Context One of the most important factors in the development of a software project is the
quality of their requirements. Erroneous requirements, if not detected early, may cause many …

Context: Runtime uncertainty such as unpredictable operational environment and failure of
sensors that gather environmental data is a well-known challenge for adaptive systems …

Context: Many modern software systems must deal with changes and uncertainty.
Traditional dependability requirements engineering is not equipped for this since it assumes …

Documenting software architecture is important for a system's success. Software architecture
documentation (SAD) makes information about the system available and eases …

Context The set of requirements for any project offers common ground where the client and
the company agree on the most important features and limitations of the project. Having a …

Conventional approaches to system design use requirements as boundary conditions
against which the design activity occurs. Decisions at a given level of the architecture …

Context: Conflicts between software requirements bring uncertainties to product
development. Some great approaches have been proposed to identify these conflicts …

Goal models represent requirements and intentions of a software system. They play an
important role in the development life cycle of software product lines (SPLs). In the domain …