This paper describes the development of a multi-robot system for Area Reduction in Humanitarian Demining. In spite of the specific requirements imposed to the work being carried ...
In this short position paper, the project of building intelligent business information infrastructure using semantic web, ontology, description logics, and other related knowledge...
Model checking is emerging as a popular technology for reasoning about behavioral properties of a wide variety of software artifacts including: requirements models, architectural ...
We surveyed a number of Australian software practitioners in order to understand what software development practices were used in their recent software projects. We were particula...
Service-based systems engineering is a recent paradigm that has proven useful for the development of multifunctional systems, whose functions may be used in different contexts and...