Sciweavers

2127 search results - page 24 / 426
» Software Automation
Sort
View
93
Voted
TSE
2002
125views more  TSE 2002»
15 years 2 days ago
An Automated Verification Method for Distributed Systems Software Based on Model Extraction
Gerard J. Holzmann, Margaret H. Smith
103
Voted
EMSOFT
2010
Springer
14 years 9 months ago
Components, platforms and possibilities: towards generic automation for MDA
Model-driven architecture (MDA) is a model-based approach for engineering complex software systems. MDA is particularly attractive for designing embedded systems because models ca...
Ethan K. Jackson, Eunsuk Kang, Markus Dahlweid, Di...
53
Voted
DAC
2004
ACM
16 years 1 months ago
Automatic translation of software binaries onto FPGAs
Gaurav Mittal, David Zaretsky, Xiaoyong Tang, Prit...