15778 search results - page 2799 / 3156 » Aikido and software engineering |
168
click to vote
EUROSPI
2005
Springer
16 years 10 days ago
2005
Springer
In agile methodologies communication between programmers is very important. Some of them (e.g. XP or Crystal Clear) recommend pair programming. There are two styles of pair program...
175
click to vote
FOSSACS
2005
Springer
16 years 10 days ago
2005
Springer
traction for Polymorphic Pi-Calculus Alan Jeffrey 1,2 and Julian Rathke3 1 Bell Labs, Lucent Technologies, Chicago, IL, USA 2 DePaul University, Chicago, IL, USA 3 University of Su...
183
click to vote
FOSSACS
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. We study the interaction between non-deterministic and probabilistic behaviour in systems with continuous state spaces, arbitrary probability distributions and uncountabl...
183
click to vote
FOSSACS
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. Nominal logic is a variant of first-order logic equipped with a “freshname quantifier” N and other features useful for reasoning about languages with bound names. I...
189
Voted
FOSSACS
2005
Springer
16 years 10 days ago
2005
Springer
Separation logic is a spatial logic for reasoning locally about heap structures. A decidable fragment of its assertion language was presented in [1], based on a bounded model prope...