Get 20M+ Full-Text Papers For Less Than $1.50/day. Start a 14-Day Trial for You or Your Team.

Learn More →

Guest Editorial

Guest Editorial Guest Editorial: Special Issue of ACM TECS on the ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE 2017) This special issue of ACM TECS contains selected papers of the 15th ACM-IEEE International Con- ference on Formal Methods and Models for System Design (MEMOCODE 2017). MEMOCODE’s objective is to bring together researchers and practitioners interested in formal methods and mod- els for system design and development to exchange ideas, research results, and lessons learned. System design covers the design and development of hardware, firmware, middleware, and ap- plication software for systems ranging from single embedded devices to highly networked CPS and systems in the Internet of Things (IoT). MEMOCODE emphasizes the importance of formal models and methods in correct system design in all aspects of computer system development. In particular, MEMOCODE focuses on research contributions and formal foundations, engineering methods, tools, and experimental case studies. MEMOCODE 2017 took place in Vienna (Austria) and was co-located with the conference on Formal Methods in Computer-Aided Design (FMCAD). Among the 48 papers submitted to MEM- OCODE 2017, we selected the following six articles for inclusion in this special issue, to show the broad spectrum of MEMOCODE’s field of interest, http://www.deepdyve.com/assets/images/DeepDyve-Logo-lg.png ACM Transactions on Embedded Computing Systems (TECS) Association for Computing Machinery

Guest Editorial

Download PDF
2 pages

Loading next page...
 
/lp/association-for-computing-machinery/guest-editorial-VvEk7MJcZJ

References

References for this paper are not available at this time. We will be adding them shortly, thank you for your patience.

Publisher
Association for Computing Machinery
Copyright
Copyright © 2019 ACM
ISSN
1539-9087
eISSN
1558-3465
DOI
10.1145/3292422
Publisher site
See Article on Publisher Site

Abstract

Guest Editorial: Special Issue of ACM TECS on the ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE 2017) This special issue of ACM TECS contains selected papers of the 15th ACM-IEEE International Con- ference on Formal Methods and Models for System Design (MEMOCODE 2017). MEMOCODE’s objective is to bring together researchers and practitioners interested in formal methods and mod- els for system design and development to exchange ideas, research results, and lessons learned. System design covers the design and development of hardware, firmware, middleware, and ap- plication software for systems ranging from single embedded devices to highly networked CPS and systems in the Internet of Things (IoT). MEMOCODE emphasizes the importance of formal models and methods in correct system design in all aspects of computer system development. In particular, MEMOCODE focuses on research contributions and formal foundations, engineering methods, tools, and experimental case studies. MEMOCODE 2017 took place in Vienna (Austria) and was co-located with the conference on Formal Methods in Computer-Aided Design (FMCAD). Among the 48 papers submitted to MEM- OCODE 2017, we selected the following six articles for inclusion in this special issue, to show the broad spectrum of MEMOCODE’s field of interest,

Journal

ACM Transactions on Embedded Computing Systems (TECS) – Association for Computing Machinery

Published: Jan 8, 2019

There are no references for this article.