22 search results - page 3 / 5 » A Model-Driven Approach to Assuring Process Reliability |
UML
2005
Springer
13 years 11 months ago
2005
Springer
We present in this paper a rigorous and automated based approach for the behavioral validation of control software systems. This approach relies on metamodeling, model-transformati...
CC
2005
Springer
13 years 11 months ago
2005
Springer
Software testing to produce reliable and robust software has become vitally important in recent years. Testing is a process by which software quality can be assured through the co...
ICDAR
2009
IEEE
14 years 1 months ago
2009
IEEE
Recent developments have resulted in dramatic changes in the way elections are conducted, both in the United States and around the world. Well-publicized flaws in the security of...
PROMISE
2010
13 years 1 months ago
2010
As software has been pervasive and various software projects have been executed since the 1970s, software project management has played a significant role in software industry. Th...
SAC
2008
ACM
13 years 5 months ago
2008
ACM
This paper introduces an approach to develop componentbased adaptive distributed applications. Our approach separates the communication and the functional aspects of a distributed...