7209 search results - page 998 / 1442 » Software Engineering for Multi-Agent Systems |
133
Voted
CSMR
2005
IEEE
15 years 9 months ago
2005
IEEE
Impact analysis is the process of determining the effect, or impact, of a change to a software system. Dynamic impact analysis uses data obtained from executing a program to perfo...
142
Voted
ICSM
2005
IEEE
15 years 9 months ago
2005
IEEE
Adding distributed capabilities to existing programs has come to the forefront of software evolution. As a standard Java distributed technology, applets offer the advantages of be...
127
Voted
KBSE
2005
IEEE
15 years 9 months ago
2005
IEEE
Visual Languages (VLs) play an important role in software system development. Especially when looking at well-defined domains, a broad variety of domain specific visual language...
128
Voted
KBSE
2005
IEEE
15 years 9 months ago
2005
IEEE
We consider a formal framework for property verification of web applications using Spin model checker. Some of the web related properties concern all states of the model, while ot...
116
Voted
SEFM
2005
IEEE
15 years 9 months ago
2005
IEEE
Memory consumption policies provide a means to control resource usage on constrained devices, and play an important role in ensuring the overall quality of software systems, and i...