780 search results - page 62 / 156 » Case Study: Model Transformations for Time-triggered Languag... |
137
Voted
ETFA
2006
IEEE
15 years 9 months ago
2006
IEEE
Industrial automation systems may include people, hardware, software and others necessaries to produce the desirable results. The SysML modeling language is being proposed, by OMG...
135
Voted
JOT
2008
15 years 3 months ago
2008
We present, in this paper, a framework supporting a formal verification of concurrent UML models using the Maude language. We consider both static and dynamic features of concurre...
165
Voted
ECOWS
2007
Springer
15 years 7 months ago
2007
Springer
Web services are self-contained, modular units of application logic which provide business functionality to other applications via Internet connections. Several models have been u...
138
Voted
IFIP
1999
Springer
15 years 8 months ago
1999
Springer
This paper initiates a framework for improving product development processes. The starting point is the present gap between the theory of product and process models and their actu...
97
Voted
FDL
2005
IEEE
15 years 9 months ago
2005
IEEE
A concept of linearly graded statistical models for analogue performance evaluation is proposed and a suitable technique for automatic generation of analogue performance models us...