Sciweavers

3224 search results - page 152 / 645
» Abstract Error Projection
Sort
View
ICSR
2000
Springer
15 years 10 months ago
Implementation Issues in Product Line Scoping
Often product line engineering is treated similar to the waterfall model in traditional software engineering, i.e., the different phases (scoping, analysis, architecting, implemen...
Klaus Schmid, Cristina Gacek
DATESO
2006
106views Database» more  DATESO 2006»
15 years 7 months ago
GeKon - Applying Novel Approaches to GIS Development
Abstract. This paper describes a few ideas concerned with geographical information systems (GIS) development. Those ideas come from a GIS development project named GeKon, which is ...
Tomas Richta
JITE
2006
94views more  JITE 2006»
15 years 6 months ago
On the Design and Development of a UML-Based Visual Environment for Novice Programmers
learning abstract computer concepts. In addition, visualization helps novices construct a mental model of concepts, which is pivotal to further comprehension and understanding. Sec...
Brian D. Moor, Fadi P. Deek
ITP
2010
172views Mathematics» more  ITP 2010»
15 years 4 months ago
Automated Machine-Checked Hybrid System Safety Proofs
mentation of the Abstraction Method In Coq Eelis van der Weegen Institute for Computing and Information Sciences Raboud University Nijmegen This technical report documents our deve...
Herman Geuvers, Adam Koprowski, Dan Synek, Eelis v...
KBSE
2008
IEEE
16 years 23 days ago
Unit Testing of Flash Memory Device Driver through a SAT-Based Model Checker
Flash memory has become virtually indispensable in most mobile devices. In order for mobile devices to successfully provide services to users, it is essential that flash memory b...
Moonzoo Kim, Yunho Kim, Hotae Kim