COMPSAC
2006
IEEE
14 years 5 months ago
2006
IEEE
This paper presents an approach for automated test case generation using a software specification modeled in Statecharts. The steps defined in such approach involve: translation o...
COMPSAC
2006
IEEE
14 years 5 months ago
2006
IEEE
This paper shows how an architecture description notation that has support for timed events can be used to provide a meta-language for specifying exact communication semantics. Th...
COMPSAC
2006
IEEE
14 years 5 months ago
2006
IEEE
This paper presents an approach for building consensus ontologies from the individual ontologies of a network of socially interacting agents. Each agent has its own conceptualizat...
COMPSAC
2006
IEEE
14 years 5 months ago
2006
IEEE
This work proposes a new methodology for intelligent classification and retrieval of software components based on user–defined requirements. The classification scheme utilizes a...
COMPSAC
2006
IEEE
14 years 5 months ago
2006
IEEE
The jGRASP lightweight IDE provides object viewers that automatically generate dynamic, statebased visualizations of objects and primitive variables in Java. Multiple synchronized...
COMPSAC
2006
IEEE
14 years 5 months ago
2006
IEEE
Web applications have become complex and crucial in many fields. In order to assure their quality, a high demand for systematic methodologies of Web application testing is emergin...
COMPSAC
2006
IEEE
14 years 5 months ago
2006
IEEE
—Many electronic voting systems, classified mainly as homomorphic cryptography based, mix-net based and blind signature based, appear after the eighties when zero knowledge proof...
COMPSAC
2006
IEEE
14 years 5 months ago
2006
IEEE
Cybernetics, among its more general definitions, is about effective governance of dynamic probabilistic systems. First order cybernetics is concerned with [software] processes gov...
COMPSAC
2006
IEEE
14 years 5 months ago
2006
IEEE
Service-Oriented Architecture (SOA) is a system architecture in which a collection of loosely coupled services communicate with each other using standard interfaces and message-ex...
COMPSAC
2006
IEEE
14 years 5 months ago
2006
IEEE
The Sage development method and associated tool set support an incremental, iterative, model-driven process to build and maintain high assurance, reactive multi-agent systems. A s...