Custom-made static code analyses and derived metrics are a method of choice when dealing with customer-specific requirements for software quality assurance and problem detection. State-of-the-art development environments (IDE) provide standard analyses for code complexity, coding conventions, or potential bug warnings out-of-the-box. Beyond that, complementary projects have developed common rev...

This paper provides an overview of a practice-oriented testing approach for code generation tools. The main application area for the testing approach presented here is the testing of optimisations performed by the code generator. The test models and corresponding test vectors generated represent an important component in a comprehensive test suite for code generators.

The Transfer Code of Practice was launched in 2008 as a set of best-practice guidelines to be followed when a journal changes publisher, with the aim of ensuring uninterrupted access to content for subscribers. The Code has now been updated to refl ect the continued evolution of the academic publishing process driven by new technologies, policies, and publishing practices. Introduction The proc...

talking about paganism (jāhiliyya) is in fact a discourse about a procedure that is not limited to a specific time, since paganism is a social mode (disposition), which can appear in any time and space and has its own characteristics, goals, and standards; a reality that the holy qur’ān, the sunna of the prophet (s.a.w.), as well as the researchers’ inquiries have emphasized. the holy qur’ān ha...