Web Engineering is a new research line in Software Engineering that covers the definition of
processes, techniques and models suitable for Web environments in order to guarantee the …

Functional requirements are often written using use cases formatted by textual templates.
This textual approach has the advantage to be easy to adopt, but the requirements can then …

Test phase is one of the most critical phases in software engineering life cycle to assure the
final system quality. In this context, functional system test cases verify that the system under …

Background The benefits of requirements traceability, such as improvements in software
product and process quality, early testing, and software maintenance, are widely described …

The use of smart contract augurs a world without intermediaries because the code and the
agreements contained therein exist across a distributed, decentralized blockchain network …

Abstract Business Processes Management (BPM) is a widely consolidated business strategy
to improve and optimize the internal operation of any company. However, BPM is not usually …

In the last years, the model-driven paradigm has been used in different areas of software
development. One of these areas is Web engineering, which is commonly named model …

Prototy** is a technique frequently used in the early stages of software development, but
often prototypes are discarded or the provided information manually transferred into further …

Abstract The Business Process Management is a common mechanism recommended by a
high number of standards for the management of companies and organizations. In software …

The verification of the correct implementation of use cases is a vital task in software
development and quality assurance. Although there are many works describing how to …