Abstract. We are developing a methodology of Test-Driven Development of Models (TDDM) based on an experimental UML2.0 modeling tool SMART. Our experience shows that TDDM is quite u...
Susumu Hayashi, Pan YiBing, Masami Sato, Kenji Mor...
Abstract. This work presents a middleware for collaborative applications that increase product and workspace awareness information available to users of computer-aided software eng...
Marco A. S. Mangan, Marcos R. S. Borges, Clá...
Abstract. This paper is on the automation of knowledge-intensive tasks in engineering domains; here, the term “task” relates to analysis and synthesis tasks, such as diagnosis ...
ASIPs and reconfigurable processors are architectural choices to extend the capabilities of a given processor. ASIPs suffer from fixed hardware after design, while ASIPs and reconf...
Abstract. Hierarchical graph transformation as defined in [1, 2] extends double-pushout graph transformation in the spirit of term rewriting: Graphs are provided with hierarchical...