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...
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...
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...
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...
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...