1733 search results - page 256 / 347 » On the naturalness of software |
142
click to vote
OOPSLA
2009
Springer
16 years 25 days ago
2009
Springer
Objects model the world, and state is fundamental to a faithful modeling. Engineers use state machines to understand and reason about state transitions, but programming languages ...
179
click to vote
FOSSACS
2010
Springer
16 years 23 days ago
2010
Springer
Abstract. We study the semantic meaning of block structure using game semantics and introduce the notion of block-innocent strategies, which turns out to characterise call-by-value...
116
click to vote
RECOMB
2010
Springer
16 years 23 days ago
2010
Springer
Clustering methods are a useful and common first step in gene expression studies, but the results may be hard to interpret. We bring in explicitly an indicator of which genes tie ...
189
click to vote
HICSS
2008
IEEE
16 years 22 days ago
2008
IEEE
Defining requirements is one of the most critical activities in the development of software intensive systems. The EasyWinWin system has been very good in capturing initial requir...
179
click to vote
ICAC
2008
IEEE
16 years 22 days ago
2008
IEEE
We describe an automated method to generating models of an autonomic system. Specifically, we generate UML state diagrams for a set of interacting objects, including the extensio...