1937 search results - page 24 / 388 » Starting B Specifications from Use Cases |
109
click to vote
CASCON
2006
15 years 3 months ago
2006
UML activity models (activities, for short) have become widely accepted for specifying the dynamic behavior of use cases. For an adequate specification of use cases in the context...
153
Voted
ENDM
2011
14 years 1 months ago
2011
We study a combinatorial game called Bichromatic Triangle Game, defined as follows. Two players R and B construct a triangulation on a given planar point set V . Starting from no...
76
Voted
BIRTHDAY
2000
Springer
15 years 5 months ago
2000
Springer
Various forms of assumption/commitment specifications have been used to specify and reason about the interference that comes from concurrent execution; in particular, consistent a...
94
Voted
BMCBI
2006
15 years 1 months ago
2006
Background: Although it is not difficult for state-of-the-art gene finders to identify coding regions in prokaryotic genomes, exact prediction of the corresponding translation ini...
162
Voted
WCRE
2010
IEEE
15 years 6 days ago
2010
IEEE
—We present a semi-automated approach for the reverse engineering of UML sequence diagrams. Our approach starts with a set of execution traces that are automatically aligned in o...