Sciweavers

10241 search results - page 1654 / 2049
» Goal-Driven Software Development
Sort
View
CORR
2006
Springer
102views Education» more  CORR 2006»
15 years 4 months ago
A library of Taylor models for PVS automatic proof checker
We present in this paper a library to compute with Taylor models, a technique extending interval arithmetic to reduce decorrelation and to solve differential equations. Numerical s...
Francisco Cháves, Marc Daumas
CTW
2006
107views more  CTW 2006»
15 years 4 months ago
Human computer interaction methods for electronic flight bag envisionment and design
This paper reports on the application of a range of human computer interaction (HCI) methods to the redesign of an electronic flight bag (EFB), as part of a commercial software dev...
Joan Cahill, Nick McDonald
ECEASST
2006
154views more  ECEASST 2006»
15 years 4 months ago
EMF Model Refactoring based on Graph Transformation Concepts
Abstract. The Eclipse Modeling Framework (EMF) provides a modeling and code generation framework for Eclipse applications based on structured data models. Within model driven softw...
Enrico Biermann, Karsten Ehrig, Christian Köh...
IIE
2008
145views more  IIE 2008»
15 years 4 months ago
Students Learning Experience in the Integrated Information Literacy Course Constructed in Virtual Learning Environment
Abstract. The paper examines the impact of ICT on students learning experiences and opportunities offered by virtual learning environment as an integral part of traditional learnin...
Vilhelmina Vaiciuniene, Genute Gedviliene
ENTCS
2006
104views more  ENTCS 2006»
15 years 4 months ago
Using Bytecode Instruction Counting as Portable CPU Consumption Metric
Accounting for the CPU consumption of applications is crucial for software development to detect and remove performance bottlenecks (profiling) and to evaluate the performance of ...
Walter Binder, Jarle Hulaas
« Prev « First page 1654 / 2049 Last » Next »