1719 search results - page 107 / 344 » Software Re-Documentation Process and Tool |
130
Voted
WOSP
2004
ACM
15 years 9 months ago
2004
ACM
Modelling and analysing distributed and mobile software systems is a challenging task. PEPA nets—coloured stochastic Petri nets—are a recently introduced modelling formalism w...
101
Voted
TOOLS
1994
IEEE
15 years 7 months ago
1994
IEEE
The term software engineering arose in the 1960s to emphasize that the production of software should not be an art, as it was then (and sometimes still is today), but an engineeri...
130
Voted
ECSCW
2001
15 years 5 months ago
2001
Work processes in team based software development need to be structured to minimise and resolve conflicting or divergent work. Current software development methodologies propose wa...
122
Voted
ERLANG
2004
ACM
15 years 9 months ago
2004
ACM
Structured Programming techniques are applied to a personal accounting software application implemented in erlang as a demonstration of the utility of processes as design construc...
127
Voted
TAICPART
2006
IEEE
15 years 9 months ago
2006
IEEE
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. With the proliferation of multicore arch...