verifying that web pages have accessible layout
play

Verifying That Web Pages Have Accessible Layout Pavel Panchekha , - PowerPoint PPT Presentation

Aug 28, 2022 •327 likes •745 views

Verifying That Web Pages Have Accessible Layout Pavel Panchekha , Adam T. Geller, Michael D. Ernst, Zachary Tatlock, Shoaib Kamil This Work: Automated Veri fi cation for Web Page Layout 3.6M lines 66% 17% 9% 7% Backend Layout Script

  1. Verifying That Web Pages Have Accessible Layout Pavel Panchekha , Adam T. Geller, Michael D. Ernst, Zachary Tatlock, Shoaib Kamil

  3. 
 This Work: Automated Veri fi cation for Web Page Layout 3.6M lines 66% 17% 9% 7% Backend Layout Script Con fi g Existing Verification Work

  4. Multiple layouts, responsive design

  5. Usability, accessibility, mobile-friendliness ADA Compliance

  6. Complex Correctness + Behavior Properties HELP ? WANTED VizAssert Automatic Veri fi cation for Web Page Layout

  7. VizAssert Guideline + or Button visible Sound Guarantee Plus Concrete Rendering Over configurable range of: Browser widths Browser heights Font sizes Scrollbar widths ….

  8. <latexit sha1_base64="CisXTKkR90TFzhWYa2lkiGz4zW4=">AChHicbVFdb9MwFHUCjFG+OnjkxaIwOqlUSQHBE5rGC49Dotukuqpu3JvVmNH9s2givJL+Fe8W9w0g7BxpVsHZ1zj30/slIrT0nyK4pv3b6zc3f3Xu/+g4ePHvf3npx4WzmJU2m1dWcZeNTK4JQUaTwrHUKRaTzNLj61+uklOq+s+UrEucFnBuVKwkUqEX/x7IrQOtebZIR+GacKEMFwXQSoKuj5qREL39IG74F0NB+J18Xo89gpOr1lFZE1zwIUGs+R1wzeGyR9D+1ZrIGt1Bq5NVUVoDn2XeqV/U7RSphleFXKw6A+ScdIFvwnSLRiwbRwv+j/F0sqQENSg/ezNClpXoMjJTU2PVF5LEFewDnOAjRQoJ/X3RAb/jIwSx6GEY4h3rF/O2ovF8XWcjsCr6uteT/tFlF+Yd5rUxZERq5+SivNCfL243wpXIoSa8DAOlUqJXLFTiQFPbWC0NIr7d8E5xMxmkyTr+8HRwebcexy56x52zIUvaeHbLP7JhNmYyi6FWURGm8E4/iN/G7TWocbT1P2T8Rf/wNjsm+bg=</latexit> <latexit sha1_base64="CisXTKkR90TFzhWYa2lkiGz4zW4=">AChHicbVFdb9MwFHUCjFG+OnjkxaIwOqlUSQHBE5rGC49Dotukuqpu3JvVmNH9s2givJL+Fe8W9w0g7BxpVsHZ1zj30/slIrT0nyK4pv3b6zc3f3Xu/+g4ePHvf3npx4WzmJU2m1dWcZeNTK4JQUaTwrHUKRaTzNLj61+uklOq+s+UrEucFnBuVKwkUqEX/x7IrQOtebZIR+GacKEMFwXQSoKuj5qREL39IG74F0NB+J18Xo89gpOr1lFZE1zwIUGs+R1wzeGyR9D+1ZrIGt1Bq5NVUVoDn2XeqV/U7RSphleFXKw6A+ScdIFvwnSLRiwbRwv+j/F0sqQENSg/ezNClpXoMjJTU2PVF5LEFewDnOAjRQoJ/X3RAb/jIwSx6GEY4h3rF/O2ovF8XWcjsCr6uteT/tFlF+Yd5rUxZERq5+SivNCfL243wpXIoSa8DAOlUqJXLFTiQFPbWC0NIr7d8E5xMxmkyTr+8HRwebcexy56x52zIUvaeHbLP7JhNmYyi6FWURGm8E4/iN/G7TWocbT1P2T8Rf/wNjsm+bg=</latexit> <latexit sha1_base64="CisXTKkR90TFzhWYa2lkiGz4zW4=">AChHicbVFdb9MwFHUCjFG+OnjkxaIwOqlUSQHBE5rGC49Dotukuqpu3JvVmNH9s2givJL+Fe8W9w0g7BxpVsHZ1zj30/slIrT0nyK4pv3b6zc3f3Xu/+g4ePHvf3npx4WzmJU2m1dWcZeNTK4JQUaTwrHUKRaTzNLj61+uklOq+s+UrEucFnBuVKwkUqEX/x7IrQOtebZIR+GacKEMFwXQSoKuj5qREL39IG74F0NB+J18Xo89gpOr1lFZE1zwIUGs+R1wzeGyR9D+1ZrIGt1Bq5NVUVoDn2XeqV/U7RSphleFXKw6A+ScdIFvwnSLRiwbRwv+j/F0sqQENSg/ezNClpXoMjJTU2PVF5LEFewDnOAjRQoJ/X3RAb/jIwSx6GEY4h3rF/O2ovF8XWcjsCr6uteT/tFlF+Yd5rUxZERq5+SivNCfL243wpXIoSa8DAOlUqJXLFTiQFPbWC0NIr7d8E5xMxmkyTr+8HRwebcexy56x52zIUvaeHbLP7JhNmYyi6FWURGm8E4/iN/G7TWocbT1P2T8Rf/wNjsm+bg=</latexit> <latexit sha1_base64="CisXTKkR90TFzhWYa2lkiGz4zW4=">AChHicbVFdb9MwFHUCjFG+OnjkxaIwOqlUSQHBE5rGC49Dotukuqpu3JvVmNH9s2givJL+Fe8W9w0g7BxpVsHZ1zj30/slIrT0nyK4pv3b6zc3f3Xu/+g4ePHvf3npx4WzmJU2m1dWcZeNTK4JQUaTwrHUKRaTzNLj61+uklOq+s+UrEucFnBuVKwkUqEX/x7IrQOtebZIR+GacKEMFwXQSoKuj5qREL39IG74F0NB+J18Xo89gpOr1lFZE1zwIUGs+R1wzeGyR9D+1ZrIGt1Bq5NVUVoDn2XeqV/U7RSphleFXKw6A+ScdIFvwnSLRiwbRwv+j/F0sqQENSg/ezNClpXoMjJTU2PVF5LEFewDnOAjRQoJ/X3RAb/jIwSx6GEY4h3rF/O2ovF8XWcjsCr6uteT/tFlF+Yd5rUxZERq5+SivNCfL243wpXIoSa8DAOlUqJXLFTiQFPbWC0NIr7d8E5xMxmkyTr+8HRwebcexy56x52zIUvaeHbLP7JhNmYyi6FWURGm8E4/iN/G7TWocbT1P2T8Rf/wNjsm+bg=</latexit> VizAssert Guideline + or Button visible 2. Z3 1. (set-logic QF_LRA) (declare-type Box …) Renderings ∀ b 1 , b 2 ∈ B , (declare-const b1 Box) b 1 ∈ $( .search-button ) ∧ 3. (declare-const b2 Box) b 2 ∈ $( . toolbar ) = ⇒ (assert (not …)) within ( b 1 , b 2 ) Visual Logic SMT Query

  9. <latexit sha1_base64="CisXTKkR90TFzhWYa2lkiGz4zW4=">AChHicbVFdb9MwFHUCjFG+OnjkxaIwOqlUSQHBE5rGC49Dotukuqpu3JvVmNH9s2givJL+Fe8W9w0g7BxpVsHZ1zj30/slIrT0nyK4pv3b6zc3f3Xu/+g4ePHvf3npx4WzmJU2m1dWcZeNTK4JQUaTwrHUKRaTzNLj61+uklOq+s+UrEucFnBuVKwkUqEX/x7IrQOtebZIR+GacKEMFwXQSoKuj5qREL39IG74F0NB+J18Xo89gpOr1lFZE1zwIUGs+R1wzeGyR9D+1ZrIGt1Bq5NVUVoDn2XeqV/U7RSphleFXKw6A+ScdIFvwnSLRiwbRwv+j/F0sqQENSg/ezNClpXoMjJTU2PVF5LEFewDnOAjRQoJ/X3RAb/jIwSx6GEY4h3rF/O2ovF8XWcjsCr6uteT/tFlF+Yd5rUxZERq5+SivNCfL243wpXIoSa8DAOlUqJXLFTiQFPbWC0NIr7d8E5xMxmkyTr+8HRwebcexy56x52zIUvaeHbLP7JhNmYyi6FWURGm8E4/iN/G7TWocbT1P2T8Rf/wNjsm+bg=</latexit> <latexit sha1_base64="CisXTKkR90TFzhWYa2lkiGz4zW4=">AChHicbVFdb9MwFHUCjFG+OnjkxaIwOqlUSQHBE5rGC49Dotukuqpu3JvVmNH9s2givJL+Fe8W9w0g7BxpVsHZ1zj30/slIrT0nyK4pv3b6zc3f3Xu/+g4ePHvf3npx4WzmJU2m1dWcZeNTK4JQUaTwrHUKRaTzNLj61+uklOq+s+UrEucFnBuVKwkUqEX/x7IrQOtebZIR+GacKEMFwXQSoKuj5qREL39IG74F0NB+J18Xo89gpOr1lFZE1zwIUGs+R1wzeGyR9D+1ZrIGt1Bq5NVUVoDn2XeqV/U7RSphleFXKw6A+ScdIFvwnSLRiwbRwv+j/F0sqQENSg/ezNClpXoMjJTU2PVF5LEFewDnOAjRQoJ/X3RAb/jIwSx6GEY4h3rF/O2ovF8XWcjsCr6uteT/tFlF+Yd5rUxZERq5+SivNCfL243wpXIoSa8DAOlUqJXLFTiQFPbWC0NIr7d8E5xMxmkyTr+8HRwebcexy56x52zIUvaeHbLP7JhNmYyi6FWURGm8E4/iN/G7TWocbT1P2T8Rf/wNjsm+bg=</latexit> <latexit sha1_base64="CisXTKkR90TFzhWYa2lkiGz4zW4=">AChHicbVFdb9MwFHUCjFG+OnjkxaIwOqlUSQHBE5rGC49Dotukuqpu3JvVmNH9s2givJL+Fe8W9w0g7BxpVsHZ1zj30/slIrT0nyK4pv3b6zc3f3Xu/+g4ePHvf3npx4WzmJU2m1dWcZeNTK4JQUaTwrHUKRaTzNLj61+uklOq+s+UrEucFnBuVKwkUqEX/x7IrQOtebZIR+GacKEMFwXQSoKuj5qREL39IG74F0NB+J18Xo89gpOr1lFZE1zwIUGs+R1wzeGyR9D+1ZrIGt1Bq5NVUVoDn2XeqV/U7RSphleFXKw6A+ScdIFvwnSLRiwbRwv+j/F0sqQENSg/ezNClpXoMjJTU2PVF5LEFewDnOAjRQoJ/X3RAb/jIwSx6GEY4h3rF/O2ovF8XWcjsCr6uteT/tFlF+Yd5rUxZERq5+SivNCfL243wpXIoSa8DAOlUqJXLFTiQFPbWC0NIr7d8E5xMxmkyTr+8HRwebcexy56x52zIUvaeHbLP7JhNmYyi6FWURGm8E4/iN/G7TWocbT1P2T8Rf/wNjsm+bg=</latexit> <latexit sha1_base64="CisXTKkR90TFzhWYa2lkiGz4zW4=">AChHicbVFdb9MwFHUCjFG+OnjkxaIwOqlUSQHBE5rGC49Dotukuqpu3JvVmNH9s2givJL+Fe8W9w0g7BxpVsHZ1zj30/slIrT0nyK4pv3b6zc3f3Xu/+g4ePHvf3npx4WzmJU2m1dWcZeNTK4JQUaTwrHUKRaTzNLj61+uklOq+s+UrEucFnBuVKwkUqEX/x7IrQOtebZIR+GacKEMFwXQSoKuj5qREL39IG74F0NB+J18Xo89gpOr1lFZE1zwIUGs+R1wzeGyR9D+1ZrIGt1Bq5NVUVoDn2XeqV/U7RSphleFXKw6A+ScdIFvwnSLRiwbRwv+j/F0sqQENSg/ezNClpXoMjJTU2PVF5LEFewDnOAjRQoJ/X3RAb/jIwSx6GEY4h3rF/O2ovF8XWcjsCr6uteT/tFlF+Yd5rUxZERq5+SivNCfL243wpXIoSa8DAOlUqJXLFTiQFPbWC0NIr7d8E5xMxmkyTr+8HRwebcexy56x52zIUvaeHbLP7JhNmYyi6FWURGm8E4/iN/G7TWocbT1P2T8Rf/wNjsm+bg=</latexit> VizAssert Guideline + or Button visible 2. Z3 1. (set-logic QF_LRA) (declare-type Box …) Renderings ∀ b 1 , b 2 ∈ B , (declare-const b1 Box) b 1 ∈ $( .search-button ) ∧ 3. (declare-const b2 Box) b 2 ∈ $( . toolbar ) = ⇒ (assert (not …)) within ( b 1 , b 2 ) Visual Logic SMT Query

  10. <latexit sha1_base64="CisXTKkR90TFzhWYa2lkiGz4zW4=">AChHicbVFdb9MwFHUCjFG+OnjkxaIwOqlUSQHBE5rGC49Dotukuqpu3JvVmNH9s2givJL+Fe8W9w0g7BxpVsHZ1zj30/slIrT0nyK4pv3b6zc3f3Xu/+g4ePHvf3npx4WzmJU2m1dWcZeNTK4JQUaTwrHUKRaTzNLj61+uklOq+s+UrEucFnBuVKwkUqEX/x7IrQOtebZIR+GacKEMFwXQSoKuj5qREL39IG74F0NB+J18Xo89gpOr1lFZE1zwIUGs+R1wzeGyR9D+1ZrIGt1Bq5NVUVoDn2XeqV/U7RSphleFXKw6A+ScdIFvwnSLRiwbRwv+j/F0sqQENSg/ezNClpXoMjJTU2PVF5LEFewDnOAjRQoJ/X3RAb/jIwSx6GEY4h3rF/O2ovF8XWcjsCr6uteT/tFlF+Yd5rUxZERq5+SivNCfL243wpXIoSa8DAOlUqJXLFTiQFPbWC0NIr7d8E5xMxmkyTr+8HRwebcexy56x52zIUvaeHbLP7JhNmYyi6FWURGm8E4/iN/G7TWocbT1P2T8Rf/wNjsm+bg=</latexit> <latexit sha1_base64="CisXTKkR90TFzhWYa2lkiGz4zW4=">AChHicbVFdb9MwFHUCjFG+OnjkxaIwOqlUSQHBE5rGC49Dotukuqpu3JvVmNH9s2givJL+Fe8W9w0g7BxpVsHZ1zj30/slIrT0nyK4pv3b6zc3f3Xu/+g4ePHvf3npx4WzmJU2m1dWcZeNTK4JQUaTwrHUKRaTzNLj61+uklOq+s+UrEucFnBuVKwkUqEX/x7IrQOtebZIR+GacKEMFwXQSoKuj5qREL39IG74F0NB+J18Xo89gpOr1lFZE1zwIUGs+R1wzeGyR9D+1ZrIGt1Bq5NVUVoDn2XeqV/U7RSphleFXKw6A+ScdIFvwnSLRiwbRwv+j/F0sqQENSg/ezNClpXoMjJTU2PVF5LEFewDnOAjRQoJ/X3RAb/jIwSx6GEY4h3rF/O2ovF8XWcjsCr6uteT/tFlF+Yd5rUxZERq5+SivNCfL243wpXIoSa8DAOlUqJXLFTiQFPbWC0NIr7d8E5xMxmkyTr+8HRwebcexy56x52zIUvaeHbLP7JhNmYyi6FWURGm8E4/iN/G7TWocbT1P2T8Rf/wNjsm+bg=</latexit> <latexit sha1_base64="CisXTKkR90TFzhWYa2lkiGz4zW4=">AChHicbVFdb9MwFHUCjFG+OnjkxaIwOqlUSQHBE5rGC49Dotukuqpu3JvVmNH9s2givJL+Fe8W9w0g7BxpVsHZ1zj30/slIrT0nyK4pv3b6zc3f3Xu/+g4ePHvf3npx4WzmJU2m1dWcZeNTK4JQUaTwrHUKRaTzNLj61+uklOq+s+UrEucFnBuVKwkUqEX/x7IrQOtebZIR+GacKEMFwXQSoKuj5qREL39IG74F0NB+J18Xo89gpOr1lFZE1zwIUGs+R1wzeGyR9D+1ZrIGt1Bq5NVUVoDn2XeqV/U7RSphleFXKw6A+ScdIFvwnSLRiwbRwv+j/F0sqQENSg/ezNClpXoMjJTU2PVF5LEFewDnOAjRQoJ/X3RAb/jIwSx6GEY4h3rF/O2ovF8XWcjsCr6uteT/tFlF+Yd5rUxZERq5+SivNCfL243wpXIoSa8DAOlUqJXLFTiQFPbWC0NIr7d8E5xMxmkyTr+8HRwebcexy56x52zIUvaeHbLP7JhNmYyi6FWURGm8E4/iN/G7TWocbT1P2T8Rf/wNjsm+bg=</latexit> <latexit sha1_base64="CisXTKkR90TFzhWYa2lkiGz4zW4=">AChHicbVFdb9MwFHUCjFG+OnjkxaIwOqlUSQHBE5rGC49Dotukuqpu3JvVmNH9s2givJL+Fe8W9w0g7BxpVsHZ1zj30/slIrT0nyK4pv3b6zc3f3Xu/+g4ePHvf3npx4WzmJU2m1dWcZeNTK4JQUaTwrHUKRaTzNLj61+uklOq+s+UrEucFnBuVKwkUqEX/x7IrQOtebZIR+GacKEMFwXQSoKuj5qREL39IG74F0NB+J18Xo89gpOr1lFZE1zwIUGs+R1wzeGyR9D+1ZrIGt1Bq5NVUVoDn2XeqV/U7RSphleFXKw6A+ScdIFvwnSLRiwbRwv+j/F0sqQENSg/ezNClpXoMjJTU2PVF5LEFewDnOAjRQoJ/X3RAb/jIwSx6GEY4h3rF/O2ovF8XWcjsCr6uteT/tFlF+Yd5rUxZERq5+SivNCfL243wpXIoSa8DAOlUqJXLFTiQFPbWC0NIr7d8E5xMxmkyTr+8HRwebcexy56x52zIUvaeHbLP7JhNmYyi6FWURGm8E4/iN/G7TWocbT1P2T8Rf/wNjsm+bg=</latexit> VizAssert Guideline + or Button visible 2. Z3 1. (set-logic QF_LRA) (declare-type Box …) Renderings ∀ b 1 , b 2 ∈ B , (declare-const b1 Box) b 1 ∈ $( .search-button ) ∧ 3. (declare-const b2 Box) b 2 ∈ $( . toolbar ) = ⇒ (assert (not …)) within ( b 1 , b 2 ) Visual Logic SMT Query

Recommend

REDECHECK: AN AUTOMATIC LAYOUT FAILURE CHECKING TOOL FOR RESPONSIVELY DESIGNED WEB PAGES ISSTA

REDECHECK: AN AUTOMATIC LAYOUT FAILURE CHECKING TOOL FOR RESPONSIVELY DESIGNED WEB PAGES ISSTA

THOMAS WALSH 1 , PHIL MCMINN 1 , GREGORY KAPFHAMMER 2 1 UNIVERSITY OF SHEFFIELD, 2 ALLEGHENY COLLEGE REDECHECK: AN AUTOMATIC LAYOUT FAILURE CHECKING TOOL FOR RESPONSIVELY DESIGNED WEB PAGES ISSTA 2017 THE PROBLEM: RESPONSIVE LAYOUT FAILURES

146 views • 3 slides
Creating accessible fixed layout EPUB3 for schools and colleges Dr Gerald Schm idt Pearson

Creating accessible fixed layout EPUB3 for schools and colleges Dr Gerald Schm idt Pearson

Creating accessible fixed layout EPUB3 for schools and colleges Dr Gerald Schm idt Pearson Schools and Colleges, UK Com plexity cancels accessibility as w ell as ubiquity Over the past year and a half, we have dropped a range of

483 views • 20 slides
Layout Dynamic layout Layout design pattern Layout strategies 2 Dynamic Layout Applications

Layout Dynamic layout Layout design pattern Layout strategies 2 Dynamic Layout Applications

Layout Dynamic layout Layout design pattern Layout strategies 2 Dynamic Layout Applications need to be able to adjust the presentation of our interfaces. We need to dynamically reposition and resize our content in response to: Change in

594 views • 26 slides
Layout Dynamic layout Layout design pattern Layout strategies 2 Dynamic Layout Applications

Layout Dynamic layout Layout design pattern Layout strategies 2 Dynamic Layout Applications

Layout Dynamic layout Layout design pattern Layout strategies 2 Dynamic Layout Applications need to be able to adjust the presentation of our interfaces. We need to dynamically reposition and resize our content in response to: Change in

681 views • 28 slides
AUTOMATED LAYOUT FAILURE DETECTION FOR RESPONSIVE WEB PAGES WITHOUT AN EXPLICIT ORACLE 2 ISSTA

AUTOMATED LAYOUT FAILURE DETECTION FOR RESPONSIVE WEB PAGES WITHOUT AN EXPLICIT ORACLE 2 ISSTA

1 THOMAS WALSH 1 , PHIL MCMINN 1 , GREGORY KAPFHAMMER 2 1 UNIVERSITY OF SHEFFIELD, 2 ALLEGHENY COLLEGE AUTOMATED LAYOUT FAILURE DETECTION FOR RESPONSIVE WEB PAGES WITHOUT AN EXPLICIT ORACLE 2 ISSTA 2017 A LONG TIME AGO THOMAS WALSH

1k views • 72 slides
Public School Employees Retirement System File Layout Overview The layout records provided in

Public School Employees Retirement System File Layout Overview The layout records provided in

Public School Employees Retirement System File Layout Overview The layout records provided in these pages are the only acceptable format for uploading the DC Member and Employer contributions to Voya. Header Record Field Field Name

258 views • 3 slides
Automatic Detection of Potential Layout Faults in Responsive Web Pages Thomas A. Walsh* , Phil

Automatic Detection of Potential Layout Faults in Responsive Web Pages Thomas A. Walsh* , Phil

Automatic Detection of Potential Layout Faults in Responsive Web Pages Thomas A. Walsh* , Phil McMinn* and Gregory M. Kapfhammer + University of She ffi eld * , Allegheny College + twalsh1@she ffi eld.ac.uk www.thomaswalsh.co.uk Thomas Walsh

574 views • 23 slides
AUTOMATIC VISUAL VERIFICATION OF LAYOUT FAILURES IN RESPONSIVELY DESIGNED WEB PAGES Authors:

AUTOMATIC VISUAL VERIFICATION OF LAYOUT FAILURES IN RESPONSIVELY DESIGNED WEB PAGES Authors:

AUTOMATIC VISUAL VERIFICATION OF LAYOUT FAILURES IN RESPONSIVELY DESIGNED WEB PAGES Authors: University of Sheffield Ibrahim Althomali Allegheny College Gregory Kapfhammer University of Sheffield Phil McMinn Presented by: Ibrahim

471 views • 31 slides
CS/EE 6710 Introduction to Layout Inverter Layout Example Layout Design Rules Composite Layout

CS/EE 6710 Introduction to Layout Inverter Layout Example Layout Design Rules Composite Layout

CS/EE 6710 Introduction to Layout Inverter Layout Example Layout Design Rules Composite Layout Drawing the mask layers that will be used by the fabrication folks to make the devices Very different from schematics In schematics

486 views • 24 slides
HOW TO CREATE LANDING PAGES THAT CONVERT FOR ORGANIC &amp; PAID ADS LANDING PAGES THAT CONVERT

HOW TO CREATE LANDING PAGES THAT CONVERT FOR ORGANIC &amp; PAID ADS LANDING PAGES THAT CONVERT

HOW TO CREATE LANDING PAGES THAT CONVERT FOR ORGANIC &amp; PAID ADS LANDING PAGES THAT CONVERT Organic vs. Paid The Offer The Page Layout The Form The Follow Up 2 THE OFFER Provide value to your audience in exchange for

228 views • 19 slides
Layout design I. Chapter 6 Basic layout types Systematic layout planning procedure Computerized

Layout design I. Chapter 6 Basic layout types Systematic layout planning procedure Computerized

Layout design I. Chapter 6 Basic layout types Systematic layout planning procedure Computerized layout planning Algorithm classification Evaluation of the layout Construction of the layout Basic layout types Types of layout designs:

1.11k views • 54 slides
1 Contents Accessible bus Accessible bus stops Communication Travel Assistance

1 Contents Accessible bus Accessible bus stops Communication Travel Assistance

Transport for All DTTAS Accessibility Consultative committee 20 th March 2019 Presented by Dolores Henchin and Roger Flood 1 Contents Accessible bus Accessible bus stops Communication Travel Assistance Scheme 2 Accessible

279 views • 14 slides
Layouts Dynamic layout Swing and Layout Managers Layout strategies 1 CS 349 - Layouts 2 CS

Layouts Dynamic layout Swing and Layout Managers Layout strategies 1 CS 349 - Layouts 2 CS

Layouts Dynamic layout Swing and Layout Managers Layout strategies 1 CS 349 - Layouts 2 CS 349 - Layouts Two Interface Layout Tasks 1. Designing a spatial layout of widgets in a container 2. Adjusting that spatial layout when container

921 views • 27 slides
Layout design III. Chapter 6 Layout generation MCRAFT BLOCPLAN LOGIC Methods for layout

Layout design III. Chapter 6 Layout generation MCRAFT BLOCPLAN LOGIC Methods for layout

Layout design III. Chapter 6 Layout generation MCRAFT BLOCPLAN LOGIC Methods for layout design Layout generation Construction algorithms Building a block layout by iteratively adding departments Improvements algorithms

707 views • 48 slides
J-DSP and Sensor Motes for Universally accessible DSP functions J-DSP Embeds Interactive

J-DSP and Sensor Motes for Universally accessible DSP functions J-DSP Embeds Interactive

Overview J-DSP J-DSP Editor Editor A Web-based DSP Simulation Tool J-DSP and Sensor Motes for Universally accessible DSP functions J-DSP Embeds Interactive Simulations in Web pages Education and Research Seamlessly Integrates Animated

297 views • 4 slides
The Accessible Canada Act The Accessible Canada Act Commitment Bill C-81 signals a

The Accessible Canada Act The Accessible Canada Act Commitment Bill C-81 signals a

Accessible Canada Agenda The Accessible Canada Act The Accessible Canada Act Commitment Bill C-81 signals a transformational shift in the Governments approach to disability and accessibility: Bring cohesion and leadership to federal

329 views • 18 slides
Accessible Housing Accessible Housing What does it mean? Why is it important? How do

Accessible Housing Accessible Housing What does it mean? Why is it important? How do

Accessible Housing Accessible Housing What does it mean? Why is it important? How do we get it? What does Accessible Housing mean? Universal design is the design of buildings, products or environments to make them accessible

429 views • 14 slides
Born Digital = Born Accessible New Developments in Creation and Use of Accessible Images and

Born Digital = Born Accessible New Developments in Creation and Use of Accessible Images and

Born Digital = Born Accessible New Developments in Creation and Use of Accessible Images and Other Materials Betsy Beaumon June 2015 Agenda Introduction Overview of Where Things Stand Tools for Creating Accessible Content

423 views • 24 slides
Verifying filesystems in ACL2 Towards verifying file recovery tools Mihir Mehta Department of

Verifying filesystems in ACL2 Towards verifying file recovery tools Mihir Mehta Department of

Verifying filesystems in ACL2 Towards verifying file recovery tools Mihir Mehta Department of Computer Science University of Texas at Austin mihir@cs.utexas.edu 10 November, 2017 1/34 Outline Motivation and related work Our approach

681 views • 34 slides
Verifying filesystems in ACL2 Towards verifying file recovery tools Mihir Mehta Department of

Verifying filesystems in ACL2 Towards verifying file recovery tools Mihir Mehta Department of

Verifying filesystems in ACL2 Towards verifying file recovery tools Mihir Mehta Department of Computer Science University of Texas at Austin mihir@cs.utexas.edu 09 March, 2017 Overview 1. Why we need a verified filesystem 2. Our approach

514 views • 29 slides
Self- -Verifying Verifying Self Self-Verifying * * Dining Philosophers Dining Philosophers

Self- -Verifying Verifying Self Self-Verifying * * Dining Philosophers Dining Philosophers

Self- -Verifying Verifying Self Self-Verifying * * Dining Philosophers Dining Philosophers Dining Philosophers Peter Welch and Neil Brown Peter Welch and Neil Brown School of Computing, University of Kent, UK School of Computing,

675 views • 44 slides
Specifying and Verifying Concurrent Algorithms with Histories and Subjectivity Ilya

Specifying and Verifying Concurrent Algorithms with Histories and Subjectivity Ilya

Specifying and Verifying Concurrent Algorithms with Histories and Subjectivity Ilya Sergey Aleks Nanevski Anindya Banerjee ESOP 2015 A logic-based approach for Specifying and Verifying Concurrent Algorithms An

2.36k views • 186 slides
Where are we? Layout - Line of Diffusion Lots of Layout issues Very common layout method

Where are we? Layout - Line of Diffusion Lots of Layout issues Very common layout method

Where are we? Layout - Line of Diffusion Lots of Layout issues Very common layout method Line of diffusion style Start with a line Power pitch of diffusion for Bit-slice pitch each type Routing strategies

284 views • 11 slides
Linux Under the Hood Manual Pages &amp; Info Pages Distribution Differences Package

Linux Under the Hood Manual Pages &amp; Info Pages Distribution Differences Package

Linux Under the Hood Manual Pages &amp; Info Pages Distribution Differences Package Management Startup and Shutdown Pesky Permissions Common/Useful Tools and Services cron find rsync Manual Pages &amp; Info Pages

238 views • 23 slides

More recommend