1888 search results - page 32 / 378 » Automatic Implementation of Distributed Systems Formal Speci... |
122
Voted
IDMS
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. This paper presents a framework for monitoring component interactions. It is part of a larger component framework built on top of the CORBA distributed processing environ...
110
Voted
FATES
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. The starting point for Model-Based Testing is an implementation relation that formally defines when a formal model representing the System Under Test conforms to a formal...
115
Voted
IJFCS
2006
15 years 2 months ago
2006
In recent years, workflow technology has greatly facilitated business process modeling and reengineering in information systems. On one hand, the separation of an application'...
102
click to vote
PDPTA
2003
15 years 3 months ago
2003
In this paper, precedence constraint combination formalisms defined in the software domain are used to define the behavior of hardware systems. Specifically, AND-join and various ...
JAR
2008
15 years 2 months ago
2008
We introduce a specification language, Promela-Lite, which captures the essential features of Promela but which, unlike Promela, has a formally defined semantics. We show how we ca...