Sciweavers

238 search results - page 9 / 48
» A state-based approach to integration testing based on UML m...
Sort
View
160
Voted
ASWSD
2006
Springer
15 years 1 months ago
TestML - A Test Exchange Language for Model-Based Testing of Embedded Software
Abstract. Test processes in the automotive industry are tool-intensive and affected by technologically heterogeneous test infrastructures. In the industrial practice a product has ...
Juergen Grossmann, Ines Fey, Alexander Krupp, Mirk...
JAVACARD
2000
15 years 1 months ago
Automatic Test Generation for Java-Card Applets
: Open-cards have introduced a new life cycle for smart card embedded applications. In the case of Java Card, they have raised the problem of embedded object-oriented applet valida...
Hugues Martin, Lydie du Bousquet
ICWE
2007
Springer
15 years 3 months ago
On the Integration of Web Modeling Languages
The Unified Modeling Language (UML) is considered as the lingua franca in software engineering. Despite various web modeling languages having emerged in the past decade, in the fie...
Manuel Wimmer, Andrea Schauerhuber, Wieland Schwin...
RIAO
2007
14 years 11 months ago
Exploring Interactive Information Retrieval: An Integrated Approach to Interface Design and Interaction Analysis
In this paper, we describe a novel methodology that integrates the design of the (i) user interface; (ii) interaction logger; and (iii) log analyzer. It is based on formalizing, v...
Gheorghe Muresan
CAISE
2000
Springer
15 years 1 months ago
An Overview of RoZ: A Tool for Integrating UML and Z Specifications
This paper presents an approach and a tool to increase specification quality by using a combination of UML and formal languages. Our approach is based on the expression of the UML ...
Sophie Dupuy, Yves Ledru, Monique Chabre-Peccoud