335 search results - page 41 / 67 » Arguing safety with Problem Oriented Software Engineering |
231
click to vote
SOFTWARE
2011
14 years 10 months ago
2011
Developing parallel applications is notoriously difficult, but is even more complex for desktop applications. The added difficulties are primarily because of their interactive nat...
155
click to vote
APSEC
2004
IEEE
15 years 7 months ago
2004
IEEE
Unit testing is a methodology for testing small parts of an application independently of whatever application uses them. It is time consuming and tedious to write unit tests, and ...
128
click to vote
ATAL
2008
Springer
15 years 5 months ago
2008
Springer
on models are abstract representations of systems one wants to study through computer simulation. In multiagent based simulation, such models usually represent agents and their re...
136
click to vote
ECBS
2004
IEEE
15 years 7 months ago
2004
IEEE
: The available evidence in a legacy software system, which can help in its understanding and recovery of its architecture are not always sufficient. Very often the system's d...
110
click to vote
ATAL
2009
Springer
15 years 10 months ago
2009
Springer
A system built in terms of autonomous agents may require even greater correctness assurance than one which is merely reacting to the immediate control of its users. Agents make su...