2514 search results - page 309 / 503 » The use of industrial-strength formal methods |
147
click to vote
MEMOCODE
2007
IEEE
16 years 25 days ago
2007
IEEE
—With the arrival of nanometer technologies wire delays are no longer negligible with respect to gate delays, and timing-closure becomes a major challenge to System-on-Chip desig...
171
click to vote
AGTIVE
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. With graph pattern matching the field of graph transformation (GT) includes an NP-complete subtask. But for real-life applications it is essential that graph pattern mat...
196
click to vote
AGTIVE
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. Aspect-orientation has gained increasing popularity, especially within the programming domain, with textual-based approaches such as AspectJ. Aspect-orientation provides ...
157
click to vote
FASE
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. In model-based development, a formal description of the software (the model) is the central artifact that drives other development activities. The availability of a model...
153
click to vote
SAC
2006
ACM
16 years 15 days ago
2006
ACM
We propose union types for statically typed class-based objectoriented languages as a means to enhance the flexibility of subtyping. As its name suggests, a union type can be con...