Sciweavers

897 search results - page 18 / 180
» Reuse, Validation and Verification of System Development Pro...
Sort
View
DATE
2000
IEEE
132views Hardware» more  DATE 2000»
14 years 1 months ago
Automatic Test Bench Generation for Validation of RT-Level Descriptions: An Industrial Experience
In current microprocessors and systems, an increasingly high silicon portion is derived through automatic synthesis, with designers working exclusively at the RT-level, and design...
Fulvio Corno, Matteo Sonza Reorda, Giovanni Squill...
CODES
2001
IEEE
14 years 14 days ago
Development cost and size estimation starting from high-level specifications
This paper addresses the problem of estimating cost and development effort of a system, starting from its complete or partial high-level description. In addition, some modificatio...
William Fornaciari, Fabio Salice, Umberto Bondi, E...
IJAOSE
2008
83views more  IJAOSE 2008»
13 years 8 months ago
PASSIM: a simulation-based process for the development of multi-agent systems
: This paper presents the Process for Agent Specification, Simulation and Implementation (PASSIM), a simulation-based development process for Multi-agent Systems (MASs), which was ...
Massimo Cossentino, Giancarlo Fortino, Alfredo Gar...
CLEIEJ
2006
108views more  CLEIEJ 2006»
13 years 8 months ago
Quality in Development Process for Software Factories According to ISO 15504
Currently the concept of Software Factories (SF), where reuse plays a leading role, is being adopted. Due to the different approaches in this area, and although SF concept is not ...
Kenyer Domínguez, María A. Pé...
BPM
2006
Springer
126views Business» more  BPM 2006»
13 years 10 months ago
Verification of Business Process Integration Options
Abstract. We propose a meta-meta framework architecture for supporting the behaviour based integration of two business processes. The meta-meta level provides basic integration ope...
Georg Grossmann, Michael Schrefl, Markus Stumptner