21 search results - page 3 / 5 » Applying ASP to UML Model Validation |
COMPSAC
2005
IEEE
13 years 11 months ago
2005
IEEE
Performance analysis gains more attention in recent years by researchers who focus their study on the early software development stages to mitigate the risk of redesign as problem...
INFSOF
2007
13 years 5 months ago
2007
: Correct functioning of object-oriented software depends upon the successful integration of classes. While individual classes may function correctly, several new faults can arise ...
FDL
2006
IEEE
13 years 12 months ago
2006
IEEE
Future mobile devices will be based on heterogeneous multiprocessing platforms accommodating several currently stand-alone applications. Increasing complexity of both application ...
IFIP
2007
Springer
13 years 12 months ago
2007
Springer
The paper describes a conceptual framework for model-driven development based on concise application of UML and modeling tool functionality. A case study of modeling software for l...
SAFECOMP
2007
Springer
13 years 12 months ago
2007
Springer
We discuss the problem of generating test suites from UML state machines and present a method to extend the capabilities of existing automated test case generators. Current tools p...