The most attractive benefits of component-based development can only be realized if the components are of a level of quality much higher than run-of-the-mill application software. This presentation will review a set of techniques for producing and qualifying such components. It will conclude with a discussion proof issues and techniques for proving programs with extensive use of pointers, as O-...

Chinese keyboard typing is fundamental training at school in Taiwan. For the sake of sharp learning curve, many CAI systems have been used to help teaching and learning. However, these CAI systems highly focus on learning results (say speed, accurate rate, etc) rather than learning pro cess. In this paper, we use adaptive learning strategy and agent-based technology to propose an adaptive Chine...

In this paper, we formalize an integral sofnvare process model which is applied to the construction of conventional systems (CS) and knowledge-based systems (KBS), centered in the capacities. The Capacities Centered Integral Software Process Model (CCISPM) is formalized through an object oriented approach. Aiming to automate the CCISPM, the formalization of the process dynamic aspects is begun....

workshop from a testingand toolbased approach to KBS evaluation to that of a formal specification-based approach. The 1994 workshop included 12 full papers and 5 short papers and was attended by 35 researchers from government, industry, and academia. The full papers of the workshop were presented in three sessions: (1) formal methods and techniques for validation and verification, (2) technique...

Introduction of formal model-based practices into the development process of a product in a company implicates changes in the verification and validation activities. A testing process that focuses only on code is not comprehensive in a framework where the building blocks of development are models, and industry is currently heading toward more effective strategies to cope with this new reality. ...

Dilute gas-particle flows can be described by a kinetic equation containing terms for spatial transport, gravity, fluid drag, and particle-particle collisions. However, the direct numerical solution of the kinetic equation is intractable for most applications due to the large number of independent variables. A useful alternative is to reformulate the problem in terms of the moments of the veloc...