859 search results - page 7 / 172 » Explaining Synthesized Software |
OOPSLA
2007
Springer
14 years 2 months ago
2007
Springer
Live Sequence Charts (LSCs) is a scenario-based language for modeling object-based reactive systems with liveness properties. A tool called the Play-Engine allows users to create ...
COORDINATION
2006
Springer
14 years 9 days ago
2006
Springer
Process algebraic specifications can provide useful support for the architectural design of software systems due to the possibility of analyzing their properties. In addition to th...
UIST
2006
ACM
14 years 2 months ago
2006
ACM
Sometimes users fail to notice a change that just took place on their display. For example, the user may have accidentally deleted an icon or a remote collaborator may have change...
VMCAI
2009
Springer
14 years 3 months ago
2009
Springer
A new approach based on constraint solving techniques was recently proposed for verification of hybrid systems. This approach works by searching for inductive invariants of a give...
ICSE
2012
IEEE-ACM
11 years 11 months ago
2012
IEEE-ACM
Abstract—Key program interfaces are sometimes documented with usage examples: concrete code snippets that characterize common use cases for a particular data type. While such doc...