: Property Driven Development is a methodology to check the validity of a distributed application and its conformance to specified requirements. A first prototype supporting this...
The software development process imposes major impacts on the quality of software at every development stage; therefore, a common goal of each software development phase concerns ...
The correct interplay among components in a distributed, reactive system is a crucial development task, particularly for embedded systems such as those in the automotive domain. M...
: In this position paper we propose a process model that provides a development infrastructure in which the usability engineering and software engineering life cycles co-exist in c...
Achieving information assurance and security is a complex and challenging task, which is crucial from national and personal security point of views. Research in detecting deceptiv...