Sciweavers

1719 search results - page 171 / 344
» Software Re-Documentation Process and Tool
Sort
View
SIGSOFT
2010
ACM
15 years 2 months ago
Scalable SMT-based verification of GPU kernel functions
Interest in Graphical Processing Units (GPUs) is skyrocketing due to their potential to yield spectacular performance on many important computing applications. Unfortunately, writ...
Guodong Li, Ganesh Gopalakrishnan
191
Voted
AOSD
2012
ACM
13 years 12 months ago
Reusing non-functional concerns across languages
Emerging languages are often source-to-source compiled to mainstream ones, which offer standardized, fine-tuned implementations of non-functional concerns (NFCs)—including pers...
Myoungkyu Song, Eli Tilevich
AGILEDC
2006
IEEE
15 years 10 months ago
Appropriate Agile Measurement: Using Metrics and Diagnostics to Deliver Business Value
Agile Software Development continually measures both our product and the process used to create it, to allow improvement. With increased popularity, more risk-averse groups are be...
Deborah Hartmann, Robin Dymond
SIGSOFT
2003
ACM
15 years 9 months ago
Use case-based testing of product lines
This paper presents PLUTO, a simple and intuitive methodology to manage the testing process of product lines, described as Product Lines Use Cases (PLUCs). PLUCs are an extension ...
Antonia Bertolino, Stefania Gnesi
OOIS
2001
Springer
15 years 8 months ago
Ontology Modeling Using UML
Ontology is a comprehensive knowledge model which enables the developer to practice a “higher” level of reuse of knowledge. Typically, different modeling languages are employe...
Xin Wang, Christine W. Chan