: Software development is a complex process where many organizational units, persons, systems and artifacts are involved. In companies that exceed a certain size the business proce...
The New Oxford Dictionary of English A powerful and well-chosen metaphor can speak a thousand words in terms of the insight it gives to the audience; a poor one can hide and confu...
Variability models represent the common and variable features of products in a product line. Several variability modeling languages have been proposed in academia and industry; ho...
Thorsten Berger, Steven She, Rafael Lotufo, Andrze...
Software model checkers can be applied directly to single-process programs, which typically are multithreaded. Multi-process applications cannot be model checked directly. While m...
Agent-based programming comes us as a next generation programming paradigm. However, we have not been ready yet to fully use it without having sound and concrete software engineer...