Sciweavers

74 search results - page 5 / 15
» A Deontic Logical Framework for Modelling Product Families
Sort
View
NJC
2006
119views more  NJC 2006»
13 years 7 months ago
A Model-Driven Approach to Variability Management in Product-Line Engineering
Object-oriented frameworks play an essential role in the implementation of product-line architectures (PLAs) for product families. However, recent case studies reveal that deriving...
André L. Santos, Kai Koskimies, Antó...
BIRTHDAY
2004
Springer
14 years 28 days ago
Pure Type Systems in Rewriting Logic: Specifying Typed Higher-Order Languages in a First-Order Logical Framework
Abstract. The logical and operational aspects of rewriting logic as a logical framework are tested and illustrated in detail by representing pure type systems as object logics. Mor...
Mark-Oliver Stehr, José Meseguer
IBERAMIA
2004
Springer
14 years 27 days ago
Decomposing Ordinal Sums in Neural Multi-adjoint Logic Programs
The theory of multi-adjoint logic programs has been introduced as a unifying framework to deal with uncertainty, imprecise data or incomplete information. From the applicative part...
Jesús Medina, Enrique Mérida Caserme...
RISE
2005
Springer
14 years 1 months ago
Rapid System Development Via Product Line Architecture Implementation
Software Product Line (SPL) engineering allows designers to reason about an entire family of software applications, instead of a single product, with a strategic importance for the...
Mauro Caporuscio, Henry Muccini, Patrizio Pellicci...
ER
1999
Springer
122views Database» more  ER 1999»
13 years 11 months ago
Evolution of Schema and Individuals of Configurable Products
Abstract. The increasing importance of better customisation of industrial products has led to development of configurable products. They allow companies to provide product families...
Tomi Männistö, Reijo Sulonen