In this paper we propose that formal modelling techniques are necessary in establishing the trustworthiness of e-voting systems and the software within. We illustrate how a distri...
Non-functional requirements (NFRs) pose unique challenges in estimating the effort it would take to implement them. This is mainly because of their unique nature; NFRs are subject...
Compliance with privacy legislation is a primary concern for health care institutions that are building information systems support for their business processes. This paper descri...
The combinatorial approach to software testing uses models to generate a minimal number of test inputs so that selected combinations of input values are covered. The most common c...
Christopher M. Lott, Ashish Jain, Siddhartha R. Da...
Processes are certainly a key element in software management. Defining and using processes is believed to be an important factor towards quality. Our paper describes a general pro...
Julio Cesar Sampaio do Prado Leite, Soeli T. Fiori...