Sciweavers

7209 search results - page 323 / 1442
» Software Engineering for Multi-Agent Systems
Sort
View
COMPSAC
2004
IEEE
15 years 4 months ago
Materializing Ubiquitous Computing Environments
A key challenge in ubiquitous computing is how to manage ambient information about the environment where a variety of devices appear. Traditional capability descriptions are inadeq...
Kimio Kuramitsu, Hideyuki Tokuda
COMPSAC
2007
IEEE
15 years 4 months ago
Unified Property Specification for Hardware/Software Co-Verification
Hardware/software co-verification is becoming an indispensable tool for building highly trustworthy embedded systems. A stumbling block to effective co-verification using model ch...
Fei Xie, Huaiyu Liu
109
Voted
COMPSAC
2004
IEEE
15 years 4 months ago
Cooperative Agent Approach to Quality Assurance and Testing Web Software
This paper applies Lehman's theory of software evolution to analyse the characteristics of web-based applications and identifies the essences and incidents that cause difficu...
Hong Zhu
COMPSAC
2003
IEEE
15 years 6 months ago
A Test-Driven Component Development Framework based on the CORBA Component Model
Short product cycles and rapidly changing requirements are increasingly forcing developers to use agile development strategies like extreme programming and test–driven developme...
Egon Teiniker, Stefan Mitterdorfer, Leif Morgan Jo...
123
Voted
AADEBUG
2005
Springer
15 years 2 months ago
On the design of a pervasive debugger
Increased reuse of software components has led to a software mishmash as existing packages are used as building blocks for new systems. Current debuggers cannot cope with the intr...
Alex Ho, Steven Hand