15974 search results - page 2722 / 3195 » Object-Oriented Software Engineering |
198
click to vote
EUROMICRO
2006
IEEE
16 years 23 days ago
2006
IEEE
This paper presents the modeling paradigm for Integrated Modular Avionics Design MIMAD V0, which is an extensible component-oriented framework that enables high level models of sy...
197
click to vote
ISSRE
2006
IEEE
16 years 22 days ago
2006
IEEE
—Graphical user interfaces (GUIs) are used as front ends to most of today’s software applications. The event-driven nature of GUIs presents new challenges for testing. One impo...
181
click to vote
ACOM
2006
Springer
16 years 21 days ago
2006
Springer
Interaction protocols enable agents to communicate with each other effectively. Whereas several approaches exist to specify interaction protocols, none of them has design tools th...
168
Voted
ACMDIS
2006
ACM
16 years 21 days ago
2006
ACM
Think-aloud testing is a widely employed usability evaluation method, yet its use in practice is rarely studied. We report an explorative study of 14 think-aloud sessions, the aud...
152
Voted
ERLANG
2006
ACM
16 years 20 days ago
2006
ACM
We present the new model checker McErlang for verifying Erlang programs. In comparison with the etomcrl tool set, McErlang differs mainly in that it is implemented in Erlang. The ...