Sciweavers

15784 search results - page 663 / 3157
» Mega Software Engineering
Sort
View
SIGSOFT
2007
ACM
16 years 8 months ago
A specification-based approach to testing software product lines
This paper presents a specification-based approach for systematic testing of products from a software product line. Our approach uses specifications given as formulas in Alloy, a ...
Engin Uzuncaova, Daniel Garcia, Sarfraz Khurshid, ...
ISPASS
2009
IEEE
16 years 2 months ago
Experiment flows and microbenchmarks for reverse engineering of branch predictor structures
Insights into branch predictor organization and operation can be used in architecture-aware compiler optimizations to improve program performance. Unfortunately, such details are ...
Vladimir Uzelac, Aleksandar Milenkovic
COMPSAC
2007
IEEE
16 years 1 months ago
Towards Requirements Engineering for Context Adaptive Systems
Building realistic end user scenarios for ubiquitous computing applications entails large up-front investments. Many context adaptive applications so far fail to live up to their ...
Wassiou Sitou, Bernd Spanfelner
EUROMICRO
2007
IEEE
16 years 1 months ago
Understanding Success and Failure Profiles of ERP Requirements Engineering: an Empirical Study
Organizations adopting Enterprise Resource Planning (ERP) are also adopting standard ERPvendor-specific process models for engineering their requirements. Making successfully a li...
Maya Daneva
ICSM
2006
IEEE
16 years 1 months ago
Reverse Engineering Method Stereotypes
An approach to automatically identify the stereotypes of all the methods in an entire system is presented. A taxonomy for object-oriented class method stereotypes is given that un...
Natalia Dragan, Michael L. Collard, Jonathan I. Ma...