2513 search results - page 266 / 503 » Tamper-Tolerant Software: Modeling and Implementation |
148
click to vote
SPIN
2004
Springer
15 years 12 months ago
2004
Springer
The notion that certain procedures are atomic provides a valuable partial specification for many multithreaded software systems. Several existing tools verify atomicity by showing...
185
click to vote
IAT
2007
IEEE
16 years 26 days ago
2007
IEEE
Networks of sensors and simulation models of the physical environment have been implemented separately, often using agent-based methodologies. Some work has been done in providing...
163
click to vote
UML
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. This paper addresses the problem of consistency preservation in model-driven software development. Software models typically embody many different views that need to be ...
173
click to vote
APSEC
2007
IEEE
16 years 26 days ago
2007
IEEE
Model refinement is a complex task. It is difficult for developers to refine models all by themselves. A good modeling tool should not only do routine refinement work for develope...
154
click to vote
ICST
2009
IEEE
16 years 1 months ago
2009
IEEE
We propose a novel testing approach that combines information from UML sequence models and state machine models. Current approaches that rely solely on sequence models do not cons...