For a given set of search engines, a search engine is redundant if its searchable contents can be found from other search engines in this set. In this paper, we propose a method t...
The purpose of this research paper is to examine (1) why formal methods are required for software systems today; (2) the Praxis High Integrity Systems’ Correctness-by-Constructi...
Agile software development solutions are targeted at enhancing work at project level. Little is yet known about the relationship between agile projects and organizational capabili...
Recently, along with the breakthrough of the Internet and mobile environment, the development towards screen maps used as intelligent user interfaces appears to be emergent. This m...
In distributed software engineering, the role of informal communication is frequently overlooked. Participants simply employ their own ad-hoc methods of informal communication. Co...