There is a growing demand for the development of multi-device, adaptive user interfaces – interfaces that will run on and adapt to the characteristics of multiple display device...
Interoperability and reusability are major issues in large-scale software system development. Military applications, one of such large scale software systems, have utilized the Co...
Jungyoon Kim, Joon-Sang Lee, Doo-Hwan Bae, Dong-Ku...
We give an overview of the enhanced VSE system which is a tool to formally specify and verify systems. It provides means for structuring speci cations and it supports the developme...
Dieter Hutter, Heiko Mantel, Georg Rock, Werner St...
The multistrategy knowledge discovery tool, INLEN, is applied to databases consisting of economic and demographic facts and statistics about the countries of the world. Preliminar...
In embedded software development, the programming language C and inline assembly code are traditionally widely used. However, tools for C program-understanding, e.g., cross-refere...
Katsuhiko Gondow, Tomoya Suzuki II, Hayato Kawashi...