2748 search results - page 10 / 550 » Generating Object-Z Specifications from Use Cases |
AISC
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. The same methodology is used to develop 3 different applications. We begin by using a very expressive, appropriate Domain Specific Language, to write down precise problem...
ASWEC
2004
IEEE
14 years 9 days ago
2004
IEEE
ESTIMEDIA
2007
Springer
14 years 2 months ago
2007
Springer
Embedded software design for MPSoC needs parallel programming. Popular programming languages such as C and C++ are not adequate for initial specification since they are designed f...
DAC
2002
ACM
14 years 9 months ago
2002
ACM
This paper presents novel uses of functional interface specifications for verifying RTL designs. We demonstrate how a simulation environment, a correctness checker, and a function...
ESTIMEDIA
2008
Springer
13 years 10 months ago
2008
Springer
This paper is concerned about multitasking embedded software development from the system specification to the final implementation including design space exploration(DSE). In the ...