COMPSAC
2006
IEEE
14 years 5 months ago
2006
IEEE
COMPSAC
2006
IEEE
14 years 5 months ago
2006
IEEE
Even though traceability is legally required in most safety critical software applications and is a recognized component of many software process improvement initiatives, organiza...
COMPSAC
2006
IEEE
14 years 5 months ago
2006
IEEE
This paper presents behavior contracts as a new assertion mechanism and a tool that uses such contracts to support the testing of Object-Oriented (OO) systems. A behavior contract...
COMPSAC
2006
IEEE
14 years 5 months ago
2006
IEEE
The convergence of data, voice and multimedia communication over digital networks, coupled with continuous improvement in network capacity and reliability has significantly enrich...
COMPSAC
2006
IEEE
14 years 5 months ago
2006
IEEE
This paper discusses foundations of conventional style of rule mining in which rules are extracted from a data table. Rule mining mainly uses the structure of a table, data partit...
COMPSAC
2006
IEEE
14 years 5 months ago
2006
IEEE
Combinatorial covering arrays have been used in several testing approaches. This paper first discusses some existing methods for finding such arrays. Then a SAT-based approach a...
COMPSAC
2006
IEEE
14 years 5 months ago
2006
IEEE
COMPSAC
2006
IEEE
14 years 5 months ago
2006
IEEE
COMPSAC
2006
IEEE
14 years 5 months ago
2006
IEEE
This paper describes a pattern-based technique for systematic development of UML models of secure systems using access control. Access control is viewed and specified as a design...
COMPSAC
2006
IEEE
14 years 5 months ago
2006
IEEE
Modern mobile computing paradigms have set new challenges for the development of distributed mobile applications and services. Because of the variability which characterizes the c...