1454 search results - page 35 / 291 » Stateful traits and their formalization |
UML
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. State machines, represented by statecharts or statechart diagrams, are an important formalism for behavioural modelling. According to the research literature, the most po...
89
Voted
FSS
2006
15 years 15 days ago
2006
The paper states the problem of fragmentation of contemporary fuzzy mathematics and the need of a unified methodology and formalism. We formulate several guidelines based on H
97
Voted
SAS
2009
Springer
16 years 1 months ago
2009
Springer
Directed model checking is a well-established technique to tackle the state explosion problem when the aim is to find error states in large systems. In this approach, the state spa...
IEEESCC
2005
IEEE
15 years 6 months ago
2005
IEEE
Currently, Grid technologies are widely used in largescale scientific applications. Grids support stateful interactions with explicit exposure of state information across the boun...
111
click to vote
TCS
2002
15 years 3 days ago
2002
We show how formal specifications can be integrated into one of the current pragmatic object-oriented software development methods. Jacobson's "Object-Oriented Software ...