69 search results - page 2 / 14 » Heterogeneous Notations for Pure Formal Method Integration |
VL
1995
IEEE
13 years 8 months ago
1995
IEEE
After more than a decade of research, visual languages have still not become everyday programming tools. On a short term, an integration of visual languages with well-established ...
DILS
2004
Springer
13 years 10 months ago
2004
Springer
Meaningfully integrating massive multi-experimental genomic data sets is becoming critical for the understanding of gene function. We have recently proposed methodologies for integ...
ASPDAC
2009
ACM
13 years 11 months ago
2009
ACM
- With increasing availability of predefined IP (Intellectual Properties) blocks and inexpensive microprocessors, embedded system designers are faced with more design choices than ...
IFM
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. Behaviour Trees is a novel approach for requirements engineering. It advocates a graphical tree notation that is easy to use and to understand. Individual requirements ar...
IPPS
2007
IEEE
13 years 11 months ago
2007
IEEE
When reconfigurable devices are used in modern embedded systems and their capability to adapt to changing application requirements becomes an issue, comprehensive modeling and de...