16844 search results - page 189 / 3369 » How to Design Programs |
199
click to vote
TASE
2007
IEEE
16 years 24 days ago
2007
IEEE
Safety is an important property of high-assurance software, and one of the hot research topics on it is the verification method for software to meet its safety policies. In our p...
165
click to vote
ICALT
2003
IEEE
15 years 11 months ago
2003
IEEE
In this paper, we propose a framework for the design of learning activities, which follows the key idea of the “Learning-for-Use” model and adopts characteristics from the exp...
206
click to vote
ISADS
2003
IEEE
15 years 11 months ago
2003
IEEE
An advanced high-level approach for programming of real-time distributed computing applications, the TMO (Time-triggered Message-triggered Object) programming and specification sc...
169
click to vote
ICLP
2003
Springer
15 years 11 months ago
2003
Springer
Abstract logic programming is about designing logic programming languages via the proof theoretic notion of uniform provability. It allows the design of purely logical, very expres...
171
click to vote
CAISE
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. This paper presents a method to compute metrics that predict maintainability of a system with respect to its event processing. The metrics reflect the complexity of event...