2748 search results - page 22 / 550 » Generating Object-Z Specifications from Use Cases |
IEEEPACT
2009
IEEE
13 years 6 months ago
2009
IEEE
Efficiently using the hardware capabilities of the Cell processor, a heterogeneous chip multiprocessor that uses several levels of parallelism to deliver high performance, and bei...
DAC
2001
ACM
14 years 9 months ago
2001
ACM
We present a design flow for the generation of application-specific multiprocessor architectures. In the flow, architectural parameters are first extracted from a high-level syste...
DESRIST
2009
Springer
14 years 1 months ago
2009
Springer
Despite the widespread recognition that information technology (IT) and business process are tightly connected, existing system design methods provide limited guidance on how to t...
ICSEA
2007
IEEE
14 years 2 months ago
2007
IEEE
Automatic test data generation helps testers to validate software against user requirements more easily. Test data can be generated from many sources; for example, experience of t...
CASES
2000
ACM
14 years 29 days ago
2000
ACM
In this paper, we describe a software architecture supporting code generation from within Ptolemy II. Ptolemy II is a componentbased design tool intended for embedded and real-tim...