1606 search results - page 182 / 322 » XML-based programming language modeling: An approach to soft... |
131
click to vote
SIGSOFT
2005
ACM
16 years 6 months ago
2005
ACM
Automated localization of software bugs is one of the essential issues in debugging aids. Previous studies indicated that the evaluation history of program predicates may disclose...
150
click to vote
MODELS
2007
Springer
16 years 17 hour ago
2007
Springer
Abstract. Separation of Concerns (SoC) is an important issue to reduce the complexity of software. Recent advances in programming language research show that Aspect-Oriented Progra...
144
click to vote
ICST
2008
IEEE
16 years 9 days ago
2008
IEEE
Testing remains a major challenge for model transformation development. Test models that are used as test data for model transformations, are constrained by various sources of kno...
178
click to vote
SEKE
2010
Springer
15 years 3 months ago
2010
Springer
Abstract--Property specification is still one of the most challenging tasks for transference of software verification technology like model checking. The use of patterns has been p...
176
click to vote
SEW
2006
IEEE
15 years 12 months ago
2006
IEEE
Complex software systems typically involve features like time, concurrency and probability, where probabilistic computations play an increasing role. It is challenging to formaliz...