7139 search results - page 1298 / 1428 » Language Engineering in Practice |
138
click to vote
PADS
2003
ACM
15 years 9 months ago
2003
ACM
There is a wide-spread usage of hardware design languages(HDL) to speed up the time-to-market for the design of modern digital systems. Verification engineers can simulate hardwa...
106
click to vote
ATAL
2003
Springer
15 years 9 months ago
2003
Springer
Open systems are characterized by heterogeneous participants which can enter or leave the system at will. Typical examples are e-commerce applications or information agent systems...
142
click to vote
CIA
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. Fredo is a generic domain-independent broker that creates valueadded information taking into account the preferences specified by its clients. Fredo uses ontology service...
142
click to vote
FATES
2003
Springer
15 years 9 months ago
2003
Springer
Use of model-checking approaches for test generation from requirement models have been proposed by several researchers. These approaches leverage the witness (or counter-example) ...
126
click to vote
ICFEM
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. Errors in a requirements model have prolonged detrimental effects on reliability, cost, and safety of a software system. It is very costly to fix these errors in later ...