650 search results - page 26 / 130 » Modeling SPARK systems with UML |
134
click to vote
ISCIS
2004
Springer
15 years 9 months ago
2004
Springer
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...
146
click to vote
DKE
2010
15 years 4 months ago
2010
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...
139
click to vote
TACAS
2004
Springer
15 years 9 months ago
2004
Springer
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...
135
click to vote
SE
2008
15 years 5 months ago
2008
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...
112
click to vote
CDC
2009
IEEE
15 years 7 months ago
2009
IEEE
Abstract— Electronics has greatly contributed to the development of internal combustion engine. This progress has resulted in reducing environmental degradation, and yet continui...