1069 search results - page 122 / 214 » Automatic Generation of Language-based Tools |
102
click to vote
UML
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. In Software Engineering many text-based languages and supporting tools are used, forming the grammarware technical space. Currently model driven engineering is the new em...
IMR
2004
Springer
15 years 5 months ago
2004
Springer
The finite element (FE) mesh sizing has great influence on computational time, memory usage, and accuracy of FE analysis. Based on a systematic in-depth study of the geometric com...
MTV
2005
IEEE
15 years 5 months ago
2005
IEEE
The increasing complexity and size of system level design models introduces a difficult challenge for validating them. Hence, in most industries, design validation takes a large p...
110
click to vote
DAC
2003
ACM
16 years 25 days ago
2003
ACM
This paper presents a novel instruction encoding generation technique for use in architecture exploration for application specific processors. The underlying exploration methodolo...
119
click to vote
PTS
2000
15 years 1 months ago
2000
We discuss a case study of automatic test generation and test execution based on formal methods. The case is the Conference Protocol, a simple, chatbox-like protocol, for which (fo...