Sciweavers

3021 search results - page 82 / 605
» A Domain Engineering Approach for Situational Method Enginee...
Sort
View
WER
2007
Springer
15 years 6 months ago
Guidelines for Business Modeling Elaboration based on Views from Domain Information
Business modeling is an activity of the Requirements Engineering that involves a knowledge process of the organization and provides a specific business domain view. On this proces...
Silvia Angelica Zanco Ladeira, Maria Istela Cagnin
WWW
2004
ACM
16 years 16 days ago
Towards a flash search engine based on expressive semantics
Flash, as a multimedia format, becomes more and more popular on the Web. However, previous works on Flash are totally based on low-level features, which make it unpractical to bui...
Dawei Ding, Jun Yang 0003, Liping Wang, Qing Li, W...
PROFES
2004
Springer
15 years 5 months ago
Software Engineering Research Strategy: Combining Experimental and Explorative Research (EER)
In this paper a new Experimental and Explorative Research (EER) research strategy is proposed. It combines experimental software engineering with exploratory research of new techno...
Markku Oivo, Pasi Kuvaja, Petri Pulli, Jouni Simil...
EICS
2010
ACM
15 years 5 months ago
Self-explanatory user interfaces by model-driven engineering
Modern User Interfaces (UI) must deal with the increasing complexity of applications as well as new features such as the capacity of UIs to be dynamically adapted to the context o...
Alfonso García Frey
CAV
2009
Springer
212views Hardware» more  CAV 2009»
16 years 12 days ago
Beaver: Engineering an Efficient SMT Solver for Bit-Vector Arithmetic
We present the key ideas in the design and implementation of Beaver, an SMT solver for quantifier-free finite-precision bit-vector logic (QF BV). Beaver uses an eager approach, enc...
Susmit Jha, Rhishikesh Limaye, Sanjit A. Seshia