Sciweavers

9006 search results - page 241 / 1802
» Modeling Software
Sort
View
KBSE
2008
IEEE
16 years 28 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
TSE
2002
83views more  TSE 2002»
15 years 6 months ago
Optimum Control Limits for Employing Statistical Process Control in Software Process
There is an increased interest in using control charts for monitoring and improving software processes, particularly quality control processes like reviews and testing. In a contro...
Pankaj Jalote, Ashish Saxena
ECEASST
2006
92views more  ECEASST 2006»
15 years 6 months ago
An MDA Framework Supporting OCL
We present an mda framework, developed in the functional programming language sml, that tries to bridge the gap between formal software development and the needs of industrial soft...
Achim D. Brucker, Jürgen Doser, Burkhart Wolf...
ICSE
2005
IEEE-ACM
16 years 6 months ago
Explicit assumptions enrich architectural models
Design for change is a well-known adagium in software engineering. We separate concerns, employ well-designed interfaces, and the like to ease evolution of the systems we build. W...
Patricia Lago, Hans van Vliet
METRICS
2005
IEEE
16 years 3 days ago
Software, Performance and Resource Utilisation Metrics for Context-Aware Mobile Applications
As mobile applications become more pervasive, the need for assessing their quality, particularly in terms of efficiency (i.e. performance and resource utilisation), increases. Alt...
Caspar Ryan, Pablo Rossi