Quantum computing is an emerging technology that, currently, has the challenge of developing programming languages, according to the rules of quantum mechanics, to support the creation, analysis, modeling and simulation ...

At safety-critical, mission-critical and business-critical systems the high cost of failure makes required the use of methods and techniques to ensure application reliability. In this context, formal languages, as Circus ...

With the evolution of a language, the possibility of updating old constructions and benefiting from new features arises. However, as systems are modified, adapted and updated, their code and other artifacts may become ...

With the approaching end of Moore’s Law, where will not be possible to improve the capacity of silicon based processors, the quantum computing appear to be a good choice to provide a new era of computation. Quantum ...

Safety critical systems are systems where its failures can cause irreparable damage for this reason the development of safety critical systems involves safety issues and require rigorous validation in the certification ...

The evolution of language allow that previously developed software systems can update their structures to use features made available in most recent versions of these languages. As a result, the artifacts can become very ...

Programming language evolution provides room for improving existing programs. Developers can upgrade their projects, applying new features available in the latest language versions. However, during maintenance activities, ...