7209 search results - page 342 / 1442 » Software Engineering for Multi-Agent Systems |
106
click to vote
AOSD
2006
ACM
15 years 6 months ago
2006
ACM
Usually, aspects enhance a software product by being composed - or woven - into it. Here, on the other hand, we use aspects to support the software development process itself. The...
103
click to vote
FOSSACS
2011
Springer
14 years 4 months ago
2011
Springer
We describe a general decomposition mechanism to express the derivation relation of a word rewriting system R as the composition of a (regular) substitution followed by the derivat...
99
Voted
KBSE
2008
IEEE
15 years 7 months ago
2008
IEEE
Modal Transition Systems (MTS) are operational models that distinguish between required and proscribed behaviour of the system to be and behaviour which it is not yet known whethe...
FATES
2006
Springer
15 years 4 months ago
2006
Springer
To efficiently solve safety verification and testing problems for an aspect-oriented system, we use multitape automata to model aspects and propose algorithms for the aspect-orient...
COMPSAC
2008
IEEE
15 years 7 months ago
2008
IEEE
The conflicting requirements of real-time embedded systems, e.g. minimizing memory usage while still ensuring that all deadlines are met at run-time, require rigorous analysis of...