Sciweavers

4348 search results - page 142 / 870
» Using UML for Modeling Complex Real-Time Systems
Sort
View
DATE
2002
IEEE
136views Hardware» more  DATE 2002»
15 years 7 months ago
Beyond UML to an End-of-Line Functional Test Engine
In this paper, we analyze the use of UML as a starting point to go from design issues to end of production testing of complex embedded systems. The first point is the analysis of ...
Andrea Baldini, Alfredo Benso, Paolo Prinetto, Ser...
121
Voted
ICSEA
2007
IEEE
15 years 8 months ago
Test Data Generation from UML State Machine Diagrams using GAs
Automatic test data generation helps testers to validate software against user requirements more easily. Test data can be generated from many sources; for example, experience of t...
Chartchai Doungsa-ard, Keshav P. Dahal, M. Alamgir...
118
Voted
JUCS
2010
163views more  JUCS 2010»
14 years 9 months ago
UML Support for Designing Software Product Lines: The Package Merge Mechanism
: Software product lines have become a successful but challenging approach to software reuse. Some of the problems that hinder the adoption of this development paradigm are the con...
Miguel A. Laguna, José M. Marqués
111
Voted
FORTE
2008
15 years 4 months ago
Protocol Modeling with Model Program Composition
Designing and interoperability testing of distributed, application-level network protocols is complex. Windows, for example, supports currently more than 200 protocols, ranging fro...
Margus Veanes, Wolfram Schulte
MODELS
2007
Springer
15 years 8 months ago
UML2Alloy: A Challenging Model Transformation
Abstract. Alloy is a formal language, which has been applied to modelling of systems in a wide range of application domains. It is supported by Alloy Analyzer, a tool, which allows...
Kyriakos Anastasakis, Behzad Bordbar, Geri Georg, ...