Sciweavers

1348 search results - page 238 / 270
» A Temporal Programming Language for Heterogeneous Informatio...
Sort
View
SERP
2003
13 years 10 months ago
An Automatic Approach to Transform CafeOBJ Specifications to Java Template Code
A software specification is a fundamental work product that represents user’s requirements and developers can use it to further develop a software system. A software specificati...
Chartchai Doungsa-ard, Taratip Suwannasart
CORR
2010
Springer
146views Education» more  CORR 2010»
13 years 8 months ago
Liberalizing Dependency
Abstract. The dependency core calculus (DCC), a simple extension of the computational lambda calculus, captures a common notion of dependency that arises in many programming langua...
Avik Chaudhuri
JSS
2000
83views more  JSS 2000»
13 years 8 months ago
Module interconnection features in object-oriented development tools
The black-box reuse of library classes in the construction of an object-oriented (OO) application is dicult: the principle of information hiding may be violated if classes must kn...
Sergio E. R. de Carvalho, Julio Cesar Sampaio do P...
ETFA
2008
IEEE
14 years 3 months ago
Automatic generation of bond graph models of process plants
This paper presents an application for the automatic generation of Bond Graph models. The basis for this automated creation is a modified plant model in the XML-format according t...
Sebastian Beez, Alexander Fay, Nina F. Thornhill
UM
2007
Springer
14 years 2 months ago
Visual Attention in Open Learner Model Presentations: An Eye-Tracking Investigation
Using an eye-tracker, this paper investigates the information that learners visually attend to in their open learner model, and the degree to which this is related to the method of...
Susan Bull, Neil Cooke, Andrew Mabbott