Sciweavers

2216 search results - page 220 / 444
» Integration of Usability Techniques into the Software Develo...
Sort
View
PVLDB
2010
128views more  PVLDB 2010»
15 years 2 months ago
Update Rewriting and Integrity Constraint Maintenance in a Schema Evolution Support System: PRISM++
Supporting legacy applications when the database schema evolves represents a long-standing challenge of practical and theoretical importance. Recent work has produced algorithms a...
Carlo Curino, Hyun Jin Moon, Alin Deutsch, Carlo Z...
ECLIPSE
2006
ACM
15 years 10 months ago
Next-generation DPP with Sangam and Facetop
This paper describes a state-of-the-art environment for distributed Extreme Programming that results from combining the Sangam editor, developed at NCSU and the Facetop user inter...
Kanyamas Navoraphan, Edward F. Gehringer, James Cu...
FM
2008
Springer
135views Formal Methods» more  FM 2008»
15 years 6 months ago
Secret Ninja Formal Methods
The use of formal methods can significantly improve software quality. However, many instructors and students consider formal methods to be too difficult, impractical, and esoteric ...
Joseph R. Kiniry, Daniel M. Zimmerman
NPC
2010
Springer
15 years 2 months ago
Vectorization for Java
Java is one of the most popular programming languages in today’s software development, but the adoption of Java in some areas like high performance computing, gaming, and media p...
Jiutao Nie, Buqi Cheng, Shisheng Li, Ligang Wang, ...
MDAFA
2004
Springer
136views Hardware» more  MDAFA 2004»
15 years 9 months ago
Integrating Platform Selection Rules in the Model Driven Architecture Approach
A key issue in the MDA approach is the transformation of platform independent models to platform specific models. Before transforming to a platform specific model, however, it is n...
Bedir Tekinerdogan, Sevcan Bilir, Cem Abatlevi