1069 search results - page 159 / 214 » Automatic Generation of Language-based Tools |
105
click to vote
ASPDAC
2009
ACM
15 years 6 months ago
2009
ACM
Low power circuits have become a necessary part in modern designs. Retention flip-flop is one of the most important components in low power designs. Conventional test methodologie...
CASES
2006
ACM
15 years 5 months ago
2006
ACM
In this paper we study, through a concrete case, the feasibility of using a high-level, general-purpose logic language in the design and implementation of applications targeting w...
114
click to vote
CSMR
2002
IEEE
15 years 4 months ago
2002
IEEE
The evolution of complex software systems is promoted by software engineering principles and techniques like separation of concerns, encapsulation, stepwise refinement, and reusab...
110
click to vote
CAISE
2006
Springer
15 years 3 months ago
2006
Springer
The quest for designing secure and trusted software has led to refined Software Engineering methodologies that rely on tools to support the design process. Automated reasoning mech...
DSVIS
1994
Springer
15 years 3 months ago
1994
Springer
This paper presents a complete model-based approach to the building of presentation for a business oriented highly interactive application. This approach is considered complete in...