Sciweavers

2153 search results - page 145 / 431
» From Requirements Models to Formal Specifications in B
Sort
View
DKE
2007
82views more  DKE 2007»
14 years 10 months ago
Eliciting information for product modeling using process modeling
A product model is a formal and structured definition of product information. The most common procedure for defining a product data model is to first describe the business and/...
Ghang Lee, Charles M. Eastman, Rafael Sacks
COMPUTER
2006
160views more  COMPUTER 2006»
14 years 10 months ago
Developing Applications Using Model-Driven Design Environments
Model-driven development (MDD) is an emerging paradigm that improves the software development lifecycle, particularly for large software systems by providing a higherabstraction fo...
Krishnakumar Balasubramanian, Aniruddha S. Gokhale...
ER
2000
Springer
186views Database» more  ER 2000»
15 years 1 months ago
Conceptual Design of Electronic Product Catalogs Using Object-Oriented Hypermedia Modeling Techniques
The application of conceptual models that assure both the consistency and usability of Electronic Product Catalogs (EPC's) is a main concern in the e-commerce community, mainl...
Cristina Cachero, Jaime Gómez, Oscar Pastor
SLE
2009
Springer
15 years 4 months ago
Ontological Metamodeling with Explicit Instantiation
Model Driven Engineering (MDE) is a promising paradigm for development. It raises the level of abstraction in software development by treating models as primary artifacts. The prac...
Alfons Laarman, Ivan Kurtev
ESAW
2004
Springer
15 years 3 months ago
Virtual Enterprise Normative Framework Within Electronic Institutions
Virtual Enterprises are a major trend within the B2B scenario. Technological support towards enabling this cooperation model includes the multi-agent systems paradigm. In this pape...
Henrique Lopes Cardoso, Eugénio C. Oliveira