Sciweavers

2473 search results - page 37 / 495
» Systems, Views and Models of UML
Sort
View
ISCIS
2004
Springer
15 years 5 months ago
Semi-formal and Formal Models Applied to Flexible Manufacturing Systems
Abstract. Flexible Manufacturing Systems (FMSs) are adopted to process different goods in different mix ratios allowing firms to react quickly and efficiently to changes in produ...
Andrea Matta, Carlo A. Furia, Matteo Rossi
DKE
2010
80views more  DKE 2010»
14 years 12 months ago
Using ontologies with UML class-based modeling: The TwoUse approach
UML class-based models and OWL ontologies constitute modeling approaches with different strength and weaknesses that make them appropriate for specifying different aspects of soft...
Fernando Silva Parreiras, Steffen Staab
TACAS
2004
Springer
122views Algorithms» more  TACAS 2004»
15 years 5 months ago
A Scalable Incomplete Test for the Boundedness of UML RT Models
Abstract. We describe a scalable incomplete boundedness test for the communication buffers in UML RT models. UML RT is a variant of the UML modeling language, tailored to describin...
Stefan Leue, Richard Mayr, Wei Wei
SE
2008
15 years 1 months ago
Using UML Environment Models for Test Case Generation
We propose a new method for system validation by means of testing, which is based on environment models expressed as UML state machines. A sun blind control case study serves to il...
Maritta Heisel, Denis Hatebur, Thomas Santen, Dirk...
UML
2005
Springer
15 years 5 months ago
Modeling and Analysis of Real-Time and Embedded Systems
: This paper presents an overview of the workshop MARTES on Modeling and Analysis of Real-time and Embedded Systems that has taken place for the first time in association with the ...
Susanne Graf, Sébastien Gérard, &Osl...