2748 search results - page 55 / 550 » Generating Object-Z Specifications from Use Cases |
FAC
2008
15 years 22 days ago
2008
The Mondex case study about the specification and refinement of an electronic purse as defined in the Oxford Technical Monograph PRG-126 has recently been proposed as a challenge f...
99
Voted
CODES
1998
IEEE
15 years 5 months ago
1998
IEEE
This paper discusses a case study, the co-design of an ATM Network Interface Card (NIC). The NIC is aimed to interface applications with the physical network line. It is composed ...
138
Voted
RTAS
2008
IEEE
15 years 7 months ago
2008
IEEE
In previous work we have shown how modular code can be automatically generated from a synchronous block diagram notation where all blocks fire at all times. Here, we extend this ...
138
Voted
TOG
2008
15 years 17 days ago
2008
A semi-automatic approach is presented that enables the generation of a high-quality 3D model of a static object from an image sequence that was taken by a moving, uncalibrated co...
DATE
2003
IEEE
15 years 6 months ago
2003
IEEE
System design methodology is poised to become the next big enabler for highly sophisticated electronic products. Design verification continues to be a major challenge and simulat...