4211 search results - page 148 / 843 » A formal approach to MASQ |
166
click to vote
IFM
2000
Springer
15 years 10 months ago
2000
Springer
This paper presents a formal language for the design of component-based enterprise system. The language (StAC) allows the usual parallel and sequential behaviours, but most signifi...
148
click to vote
FMCAD
2008
Springer
15 years 8 months ago
2008
Springer
The quality of formal specifications and the circuits they are written for can be evaluated through checks such as vacuity and coverage. Both checks involve mutations to the specif...
141
click to vote
SPLC
2004
15 years 7 months ago
2004
In this paper, we present a methodology to express, in a formal way, the requirements of products belonging to a product line. We relied on a formalism allowing the representation ...
175
click to vote
ENTCS
2006
15 years 6 months ago
2006
The approaches to automatic formal verification of UML models known up to now require a finite bound on the number of objects existing at each point in time. In [4] we have observ...
171
click to vote
GI
2009
Springer
15 years 4 months ago
2009
Springer
Abstract: The work presented in this article generalizes the modeling of task scheduling problems with sequence dependent setup time on the basis of task scheduling on single respe...