A Scalable, Formal Method for Design and Automatic Checking of User Interfaces (2001)

Lobsters·4 points·nickpsecurity·over 8 years ago·home.deib.polimi.it

Read the full article at home.deib.polimi.it →

#design #user #method #automatic #scalable #interfaces #checking #formal

Related stories

Show HN: HomeAI.design – Visualize interior design ideas from a photohomeai.design
Hacker News · 1 points · 5 days ago
Don’t 'Validate' Designs; User Test Themnngroup.com
Lobsters · 4 points · about 9 years ago
How to Sync a Design System with Claude Designnitayneeman.com
Hacker News · 1 points · about 19 hours ago
My design bookshelvesaresluna.org
Lobsters · 1 points · 5 days ago
Announcing Ant Design 3.0medium.com
Lobsters · 2 points · almost 9 years ago
Deploying Penpot - Open-Source Design and Prototyping Platformdev.to
DEV Community · 5 points · about 9 hours ago

Related topics

ai2049 web231 system182 agents435 system design6 programming309 ux23 interactive70 based99 data293 interfaces13 desktop78