Concept

Spécification (norme technique)

Publications associées (162)

Form Defining Strategies

Yves Weinand, Markus Hudert, Johan Bettum

This book examines experimental design methodologies in the field of architecture and their implementation in academic settings. Theoretical considerations by guest essayists and numerous examples of conceptual designs complement our holistic approach to t ...

Ernst Wasmuth Verlag2008

High-Level Design and Analysis of Business Processes. The Advantages of Declarative Specifications

Gil Regev, Alain Wegmann, Irina Rychkova

Business process modeling techniques, such as BPMN, encourage the early specification of the exact order in which the activities of the process will be executed. However, a business process may be exposed to different environments and subjected to many con ...

2008

High-level design and analysis of business processes the advantages of declarative specifications

Gil Regev, Alain Wegmann, Irina Rychkova

2008

Using Declarative Specifications in Business Process Design

Gil Regev, Alain Wegmann, Irina Rychkova

2008

Visual contracts (VCs)

José Diego de la Cruz Garcia

Model-Driven Engineering (MDE) harbors the promise of developing software-based systems with little or no coding. Instead of coding, it is envisioned that software engineers build models that are automatically translated into code. The modeling notation of ...

EPFL2008

A decision making tool for reconfigurable assembly lines EUPASS project

Jacques Jacot, Sandra Koelemeijer Chollet

A decision making tool is proposed to evaluate assembly costs of micro-products (< 1 dm(3)) and to compare different assembly strategies for a given product or product family. The tool takes into account equipment costs as well as running costs, for manual ...

Springer, 233 Spring Street, New York, Ny 10013, United States2008

Refinement Propagation. Towards Automated Construction of Visual Specifications.

Alain Wegmann, Irina Rychkova

Creation and transformation of visual specifications is driven by modeler’s design decisions. After a design decision has been made, the modeler needs to adjust the specification to maintain its correctness. The number of adjustments might make the design ...

2007

A platform for mixed HW/SW algorithm specifications for the exploration of SW and HW partitioning

Marco Mattavelli, Christophe Lucarz

The increasing complexity in particular of video and multimedia processing has lead to the need of developing the algorithms specification using software implementations that become in practice generic reference implementations. Mapping directly such softw ...

Springer-Verlag2007

Vers la maîtrise de la qualité des assemblages de précision

Fabien Bourgeois

In several industrial case studies, we put in evidence that microsystem manufacturing costs skyrocket because of low yields. Sometimes product functionalities are badly defined ; sometimes metrology systems, in spite of their high cost, happen not to measu ...

EPFL2007

Market price of risk specifications for affine models: Theory and evidence

Damir Filipovic

We extend the standard specification of the market price of risk for affine yield models, and apply it to U.S. Treasury data. Our specification often provides better fit, sometimes with very high statistical significance. The improved fit comes from the ti ...

Elsevier2007

Graph Chatbot

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.

Connectez-vous pour utiliser Chat avec Graph Search