3 search results - page 1 / 1 » How Programs Represent Reality (and how they don't) |
WCRE
2006
IEEE
13 years 11 months ago
2006
IEEE
Programming is modeling the reality. Most of the times, the mapping between source code and the real world concepts is captured implicitly in the names of identifiers. Making the...
AOSD
2011
ACM
13 years 19 days ago
2011
ACM
A Software Product Line (SPL) is a family of programs where each program is defined by a unique combination of features. Testing or checking properties of an SPL is hard as it ma...
ATAL
2010
Springer
13 years 6 months ago
2010
Springer
Social laws have proved to be a powerful and theoretically elegant framework for coordination in multi-agent systems. Most existing models of social laws assume that a designer is...