1376 search results - page 132 / 276 » Model-Driven Software Verification |
113
click to vote
SAFECOMP
2000
Springer
15 years 6 months ago
2000
Springer
Many safety-related systems are built from generic software which is customised to work in a particular situation by static configuration data. Examples of such systems are railwa...
162
click to vote
INLG
2010
Springer
15 years 1 months ago
2010
Springer
Critical software most often requires an independent validation and verification (IVV). IVV is usually performed by domain experts, who are not familiar with specific, many times ...
134
click to vote
IOLTS
2008
IEEE
15 years 9 months ago
2008
IEEE
Present and future semiconductor technologies are characterized by increasing parameters variations as well as an increasing susceptibility to external disturbances. Transient err...
153
click to vote
HICSS
2007
IEEE
15 years 9 months ago
2007
IEEE
This paper presents a graph transformation based approach to design pattern evolution. An evolution of a design pattern includes modifications of pattern elements, such as classes...
110
click to vote
CSCWD
2001
Springer
15 years 7 months ago
2001
Springer
XRL (eXchangeable Routing Language) is an instancebased workflow language that uses XML for the representation of process definitions and Petri nets for its semantics. Since XRL i...