7209 search results - page 336 / 1442 » Software Engineering for Multi-Agent Systems |
ICSE
2003
IEEE-ACM
16 years 24 days ago
2003
IEEE-ACM
We present a new methodology for automatic verification of C programs against finite state machine specifications. Our approach is compositional, naturally enabling us to decompos...
100
Voted
ICSE
2007
IEEE-ACM
16 years 24 days ago
2007
IEEE-ACM
Quality is becoming increasingly important with the continuous adoption of open-source software. Previous research has found that there is generally a positive relationship betwee...
VISSOFT
2005
IEEE
15 years 6 months ago
2005
IEEE
Dominance analysis from graph theory allows one to locate subordinated software elements in a rooted dependency graph. It identifies the nesting structure for a dependency graph ...
102
Voted
WCRE
1999
IEEE
15 years 5 months ago
1999
IEEE
Software architecture, as a vehicle for communication and reasoning about software systems and their quality, is becoming an area of focus in both the forward- and reverseengineer...
114
Voted
COMPLIFE
2006
Springer
15 years 4 months ago
2006
Springer
A powerful new software concept to physiologically based pharmacokinetic (PBPK) modelling of drug disposition is presented. It links the inherent modular understanding in pharmacol...