Abstract—Biological clock, a self sustaining oscillation widely discovered in many species, is important to determine many biological activities, for example, the sleep-wake cycl...
Peng Yu, Xi Chen, David Z. Pan, Andrew D. Ellingto...
Agent-based programming comes us as a next generation programming paradigm. However, we have not been ready yet to fully use it without having sound and concrete software engineer...
We illustrate the application of Nitpick, a specification checker, to the design of a style mechanism for a word processor. The design is cast, along with some expected properties...
In software engineering, measurements can be used to monitor, understand and improve software processes as well as products and resource utilization. Commonly, measurement framewo...
Knowledge engineering techniques are becoming useful and popular components of hybrid integrated systems used to solve complicated practical problems in different fields. Knowledge...