6201 search results - page 865 / 1241 » Implementation of Axiomatic Language |
193
click to vote
WEBENG
2001
Springer
15 years 11 months ago
2001
Springer
From a software engineering perspective the World Wide Web is a new application platform. The implementation model that the Web is based on makes it difficult to apply classic proc...
172
click to vote
WIA
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. We present a reflection on the evolution of the different methods for constructing minimal deterministic acyclic finite-state automata from a finite set of words. We ...
184
click to vote
DATE
2000
IEEE
15 years 11 months ago
2000
IEEE
The design process for an engine management system is presented. The functional specification of the system has been captured using C and C++ as specification languages. The val...
186
click to vote
DATE
2000
IEEE
15 years 11 months ago
2000
IEEE
We integrate data and control flow at the system specification level, using the two specialized and well established languages Matlab and SDL. For this we provide a modeling techn...
149
click to vote
HICSS
2000
IEEE
15 years 11 months ago
2000
IEEE
We describe the implementation and use of a reverse compiler from Analog Devices 21xx assembler source to ANSI-C with optional use of the language extensions for the TMS320C6x pr...