875 search results - page 26 / 175 » Specification Modules for Methodical System Development |
WER
2001
Springer
15 years 2 months ago
2001
Springer
Workflow technology has reached a reasonable degree of maturity, with a number of both research prototypes and commercial systems available. However, methodological issues have rec...
VL
2006
IEEE
15 years 3 months ago
2006
IEEE
Many end user programming tools lack adequate support for domain-specific data. We will design a lightweight representation for categories of data, called “topes,” and develop...
EURODAC
1994
IEEE
15 years 1 months ago
1994
IEEE
In the development of bus-based systems and individual PCB boards interfacing to a bus, the simulation usually requires a specific test bench or creation of quite complex stimuli....
ICMCS
1999
IEEE
15 years 2 months ago
1999
IEEE
A variety of digital watermarking applications have emerged recently that require the design of systems for embedding one signal (the "embedded signal" or "watermar...
ADAEUROPE
2001
Springer
15 years 2 months ago
2001
Springer
Deriving test cases from specifications is now recognised as a major application of formal methods to software development. Several methods have been proposed for various formalism...