5407 search results - page 735 / 1082 » The Software Engineering Global Model |
186
click to vote
ICWS
2010
IEEE
15 years 8 months ago
2010
IEEE
This paper addresses one of the major problems of SOA software development: the lack of support for testing complex service-oriented systems. The research community has developed v...
215
click to vote
AVI
2004
15 years 8 months ago
2004
We present a program visualization tool called Jeliot 3 that is designed to aid novice students to learn procedural and object oriented programming. The key feature of Jeliot is t...
202
click to vote
SSIRI
2010
15 years 5 months ago
2010
— Model-based approaches, especially based on directed graphs (DG), are becoming popular for mutation testing as they enable definition of simple, nevertheless powerful, mutation...
283
click to vote
BMCBI
2011
15 years 2 months ago
2011
Background: Broad-based collaborations are becoming increasingly common among disease researchers. For example, the Global HIV Enterprise has united cross-disciplinary consortia t...
224
click to vote
SIGSOFT
2007
ACM
16 years 8 months ago
2007
ACM
Model checking techniques have traditionally dealt with temporal logic languages and automata interpreted over -words, i.e., infinite in the future but finite in the past. However...