269 search results - page 6 / 54 » Automating the Generation of Platform Specific Models |
109
Voted
SCP
2000
14 years 9 months ago
2000
Obtaining performance models, like Markov chains and queueing networks, for systems of significant complexity and magnitude is a difficult task that is usually tackled using human...
IMCSIT
2010
14 years 6 months ago
2010
The deployment of IEC61850 standard in the world of substation automation system brings to the use of specific strategies for architecture testing. To validate IEC61850 architectur...
68
Voted
MODELS
2007
Springer
15 years 3 months ago
2007
Springer
The specification of business processes is becoming a more and more critical aspect for organizations. Such processes are specified as workflow models expressing the logical preced...
CASE
2011
13 years 9 months ago
2011
— Legacy systems that do not conform to the norms and regulations imposed by recent safety standards have to be upgraded to meet safety requirements. In this paper, we describe a...
COMPSAC
2006
IEEE
15 years 3 months ago
2006
IEEE
This paper presents an approach for automated test case generation using a software specification modeled in Statecharts. The steps defined in such approach involve: translation o...