Sciweavers

3425 search results - page 120 / 685
» A Model Driven Approach for Software Systems Reliability
Sort
View
92
Voted
EURODAC
1994
IEEE
133views VHDL» more  EURODAC 1994»
15 years 7 months ago
Mixed electrical-thermal and electrical-mechanical simulation of electromechatronic systems using PSpice
- The design methodology and technique is presented to expand the power of commercial SPICE to simulate mixed electricalthermal-mechanical microsystems, consisting of motors being ...
Konstantin O. Petrosjanc, Peter P. Maltcev
104
Voted
OTM
2010
Springer
15 years 1 months ago
An Interaction Meta-model for Cooperative Component-Based User Interfaces
Abstract. Model Driven Engineering (MDE) aims to help software deto abstract the system implementations by means of models and meta-models. In Web-based Collaborative Information S...
Luis Iribarne, Nicolás Padilla, Javier Cria...
ISSS
1996
IEEE
169views Hardware» more  ISSS 1996»
15 years 7 months ago
The Use of a Virtual Instruction Set for the Software Synthesis of HW/SW Embedded Systems
The application range of the embedded computing is going to cover the majority of the market products spanning from consumer electronic, automotive, telecom and process control. F...
Alessandro Balboni, William Fornaciari, M. Vincenz...
117
Voted
SEFM
2005
IEEE
15 years 9 months ago
Formal Analysis of Human-computer Interaction using Model-checking
Experiments with simulators allow psychologists to better understand the causes of human errors and build models of cognitive processes to be used in Human Reliability Assessment ...
Antonio Cerone, Peter A. Lindsay, Simon Connelly
HICSS
2008
IEEE
130views Biometrics» more  HICSS 2008»
15 years 10 months ago
Enterprise Modeling for Information System Development within MDA
Object-oriented analysis suggests semiformal usecase driven techniques for problem domain modeling from a computation independent viewpoint. The proposed approach called Topologic...
Janis Osis, Erika Asnina