Sciweavers

205 search results - page 38 / 41
» Model Superimposition in Software Product Lines
Sort
View
GPCE
2007
Springer
14 years 1 months ago
A type-centric framework for specifying heterogeneous, large-scale, component-oriented, architectures
Maintaining integrity, consistency, and enforcing conformance in architectures of large-scale systems requires specification and enforcement of many different forms of structural...
Georg Jung, John Hatcliff
ICSE
2001
IEEE-ACM
13 years 12 months ago
Comparing Frameworks and Layered Refinement
Object-oriented frameworks are a popular mechanism for building and evolving large applications and software product lines. This paper describes an alternative approach to softwar...
Richard Cardone, Calvin Lin
ICADL
2005
Springer
110views Education» more  ICADL 2005»
14 years 29 days ago
A Hybrid Information Retrieval Model Using Metadata and Text
Metadata IR model has high precision and low recall because the query in Metadata IR model is strict that is, the query can express user information need exactly, while Full-text I...
Sung Kim, Sung Myaeng, Jeong-Mok Yoo
FOSSACS
2005
Springer
14 years 1 months ago
A Computational Model for Multi-variable Differential Calculus
Abstract. We introduce a domain-theoretic computational model for multivariable differential calculus, which for the first time gives rise to data types for differentiable functio...
Abbas Edalat, André Lieutier, Dirk Pattinso...
ECMDAFA
2010
Springer
126views Hardware» more  ECMDAFA 2010»
14 years 8 days ago
Coping with Variability in Model-Based Systems Engineering: An Experience in Green Energy
Model-Based Systems Engineering (MBSE) is an emerging engineering discipline whose driving motivation is to provide support throughout the entire system life cycle. MBSE not only a...
Salvador Trujillo, Jose Miguel Garate, Roberto Eri...