Sciweavers

900 search results - page 4 / 180
» A Tool-Supported Approach to Testing UML Design Models
Sort
View
ICST
2009
IEEE
13 years 5 months ago
A Flexible Framework for Quality Assurance of Software Artefacts with Applications to Java, UML, and TTCN-3 Test Specifications
Manual reviews and inspections of software artefacts are time consuming and thus, automated analysis tools have been developed to support the quality assurance of software artefac...
Jens Nodler, Helmut Neukirchen, Jens Grabowski
CORR
2006
Springer
193views Education» more  CORR 2006»
13 years 7 months ago
On the Design of Agent-Based Systems using UML and Extensions
The Unified Software Development Process (USDP) and Unified Modeling Language (UML) have been now generally accepted as the standard methodology and modeling language for developin...
Mihaela Dinsoreanu, Ioan Salomie, Kalman Pusztai
IUI
2003
ACM
14 years 26 days ago
Tool support for designing nomadic applications
Model-based approaches can be useful when designing nomadic applications, which can be accessed through multiple interaction s. Various models and levels of abstraction can be con...
Giulio Mori, Fabio Paternò, Carmen Santoro
SAC
2008
ACM
13 years 7 months ago
UML-based design test generation
In this paper we investigate and propose a fully automated technique to perform conformance checking of Java implementations against UML class diagrams. In our approach, we reused...
Waldemar Pires, João Brunet, Franklin Ramal...
GLVLSI
2008
IEEE
157views VLSI» more  GLVLSI 2008»
14 years 2 months ago
Coverage-driven automatic test generation for uml activity diagrams
Due to the increasing complexity of today’s embedded systems, the analysis and validation of such systems is becoming a major challenge. UML is gradually adopted in the embedded...
Mingsong Chen, Prabhat Mishra, Dhrubajyoti Kalita