Specification and Verification of Dynamically Reconfigurable Systems Using Dynamic Linear Hybrid Automata
Ryo Yanase, Tatsunori Sakai, Makoto Sakai, Satoshi Yamane

J. Software Eng. Appl. Vol.9 No.9, September 30, 2016
DOI:10.4236/jsea.2016.99030

Accessibility Evaluation of Arabic E-Commerce Web Sites Using Automated Tools
Majed Alshamari

J. Software Eng. Appl. Vol.9 No.9, September 16, 2016
DOI:10.4236/jsea.2016.99029

Software Defined Things in Manufacturing Networks
Arshdeep Bahga, Vijay K. Madisetti, Raj K. Madisetti, Andrew Dugenske

J. Software Eng. Appl. Vol.9 No.9, September 07, 2016
DOI:10.4236/jsea.2016.99028