113 search results - page 11 / 23 » A Modular Framework for the Integration of Heterogeneous Not... |
ICSE
2008
IEEE-ACM
14 years 7 months ago
2008
IEEE-ACM
In this paper we demonstrate a framework for efficient development of textual domain specific languages and supporting tools. We use a redundance-free and compact definition of le...
SIGSOFT
2000
ACM
13 years 12 months ago
2000
ACM
Designing architectural frameworks without the aid of formal modeling is error prone. But, unless supported by analysis, formal modeling is prone to its own class of errors, in wh...
BIBM
2008
IEEE
14 years 2 months ago
2008
IEEE
The study of gene function is critical in various genomic and proteomic fields. Due to the availability of tremendous amounts of different types of protein data, integrating thes...
ICSE
2003
IEEE-ACM
14 years 7 months ago
2003
IEEE-ACM
Traceability helps stakeholders to understand the relationships that exist between software artifacts created during a software development project. For example, the evolution of ...
DIAGRAMS
2010
Springer
13 years 7 months ago
2010
Springer
Abstract. Diagrams often complement sentential proofs in mathematics. However, diagrams are rarely used as standalone reasoning tools. Thus we propose to integrate diagrammatic rea...