Sciweavers

686 search results - page 85 / 138
» Empirical Studies in Reverse Engineering
Sort
View
ATAL
2006
Springer
15 years 1 months ago
Automated analysis and verification of agent behavior
Comprehending and analyzing agent behavior is an arduous task due to complexities in agent systems and sophistication of agent behaviors, in addition to the common difficulties wi...
Tibor Bosse, Dung N. Lam, K. Suzanne Barber
TAPSOFT
1991
Springer
15 years 1 months ago
A Calculus of Broadcasting Systems
Abstract. CBS is a simple and natural CCS-like calculus where processes speak one at a time and are heard instantaneously by all others. Speech is autonomous, contention between sp...
K. V. S. Prasad
AUIC
2005
IEEE
15 years 3 months ago
The Semiotics of User Interface Redesign
User interface design is still more of an art than a science. Interface design and redesign is mostly based on empirical studies or prototypes but there is still surprisingly litt...
Jennifer Ferreira, Pippin Barr, James Noble
GECCO
2005
Springer
113views Optimization» more  GECCO 2005»
15 years 3 months ago
Search-based mutation testing for Simulink models
The efficient and effective generation of test-data from high-level models is of crucial importance in advanced modern software engineering. Empirical studies have shown that muta...
Yuan Zhan, John A. Clark
ICSE
1993
IEEE-ACM
15 years 2 months ago
Automating the Detection of Reusable Parts in Existing Software
Wepresent a model based onan expert-systemapproach for the scavenging of reusable componentsfrom exis:ing software systems. We also describe a toolset called Code Miner that imple...
Michael F. Dunn, John C. Knight