2227 search results - page 241 / 446 » Reversibility and Models for Concurrency |
112
click to vote
SPIN
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. We present a technique and a tool for model-checking operational UML models based on a mapping of object oriented UML models into a framework of communicating extended ti...
142
click to vote
SPIN
2004
Springer
15 years 6 months ago
2004
Springer
Most approaches for model checking software are based on ration of abstract models from source code, which may greatly reduce the search space, but may also introduce errors that a...
117
click to vote
ISSTA
2009
ACM
15 years 5 months ago
2009
ACM
This paper describes an approach for conformance testing of mobile and distributed systems. The approach is based on kiltera — a novel, high-level language supporting the descri...
123
Voted
AGENTS
2001
Springer
15 years 5 months ago
2001
Springer
To develop agent-based systems, one needs a methodology that supports the development process as common in other disciplines. In recent years, several such methodologies and model...
97
Voted
DATE
2010
IEEE
15 years 5 months ago
2010
IEEE
-- Starting Electronic System Level (ESL) design flows with executable High-Level Models (HLMs) has the potential to sustainably improve productivity. However, writing good HLMs fo...