kirancodes.me
To Proof Maintenance & Beyond!

Property models: from incidental algorithms to reusable components

Jaakko Järvi, Mat Marcus, Sean Parent, John Freeman, Jacob N. Smith

Abstract

A user interface, such as a dialog, assists a user in synthesising a set of values, typically parameters for a command object. Code for "command parameter synthesis" is usually application-specific and non-reusable, consisting of validation logic in event handlers and code that controls how values of user interface elements change in response to a user's actions, etc. These software artifacts are incidental - they are not explicitly designed and their implementation emerges from a composition of locally defined behaviors.

DOI 10.1145/1449913.1449927

Related papers