1916 search results - page 11 / 384 » Facilitating Communication in Software Development |
ICNP
1995
IEEE
15 years 1 months ago
1995
IEEE
KBS
2006
2006
Facilitating formal specification acquisition by using recursive functions on context-free languages
14 years 9 months ago
Although formal specification techniques are very useful in software development, the acquisition of formal specification is a difficult task. This paper presents the formal softw...
73
Voted
DEBS
2007
ACM
15 years 1 months ago
2007
ACM
In this paper, we describe design motivations and experience with a visual language that treats the architecture of a reactive system as a composition of small, asynchronous softw...
108
click to vote
NORDICHI
2004
ACM
15 years 2 months ago
2004
ACM
One vision of a context-aware pervasive networking environment promises the user a seamless access to surrounding services using her personal mobile device. This requires that the...
DAIS
2008
14 years 11 months ago
2008
Gossip protocols have been successfully applied in the last few years to address a wide range of functionalities. So far, however, very few software frameworks have been proposed t...