7209 search results - page 1005 / 1442 » Software Engineering for Multi-Agent Systems |
180
click to vote
AOSD
2008
ACM
15 years 5 months ago
2008
ACM
e instantiation is the transformation of abstract test cases cutable test scripts. Abstract test cases are either created during model based test case generation or are manually d...
139
Voted
CODES
2008
IEEE
15 years 5 months ago
2008
IEEE
We study the problem of scheduling repetitive real-time tasks with the Earliest Deadline First (EDF) policy that can guarantee the given maximal temperature constraint. We show th...
123
Voted
ECSA
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. Architectural description languages are a useful tool for modmplex software systems at a high level of abstraction and, if based on formal methods, for enabling the early...
140
Voted
ICSOFT
2008
15 years 5 months ago
2008
As building large-scale software systems is complex, several software engineering paradigms have been devised. Agent oriented paradigm is one of the most predominant contributions...
129
Voted
COMPSAC
2008
IEEE
15 years 3 months ago
2008
IEEE
Software that has been well tested and analyzed may fail unpredictably when a certain combination of conditions occurs. In Bounded Exhaustive Testing (BET) all combinations are te...