2748 search results - page 206 / 550 » Generating Object-Z Specifications from Use Cases |
70
Voted
ICRA
2000
IEEE
15 years 5 months ago
2000
IEEE
In this paper we illustrate a methodology for modeling and analyzing flexible feeders using generalized semi-Markov process (GSMP) models. Working through the simple case consisti...
126
Voted
IHI
2010
14 years 7 months ago
2010
One goal of medical device certification is to show that a given medical device satisfies its requirements. The requirements that should be met by a device, however, depend on the...
AEI
2004
15 years 19 days ago
2004
The estimation of productivity rates in cyclic construction processes is a difficult, but essential task in the planning of construction projects. The conventional method--a calcu...
90
Voted
IRI
2008
IEEE
15 years 7 months ago
2008
IEEE
Linking components with end-user requests for processing is problematic when there are fundamental language differences between component specifications and how individual users s...
106
click to vote
DBA
2004
2004
A Tool for Transforming Conceptual Schemas of Spatio-Temporal Databases with Multiple Representation
15 years 2 months ago
Nowadays, classical conceptual models (such as ER or UML) are used for designing database applications. These classical conceptual models usually come with associated CASE tools a...