1689 search results - page 124 / 338 » Empirical Methodologies in Software Engineering |
178
click to vote
AVI
2004
15 years 8 months ago
2004
Software development is prone to time-consuming and expensive errors. Finding and correcting errors in a program (debugging) is usually done by executing the program with differen...
148
click to vote
ICSE
2003
IEEE-ACM
16 years 6 months ago
2003
IEEE-ACM
We present a new methodology for automatic verification of C programs against finite state machine specifications. Our approach is compositional, naturally enabling us to decompos...
196
click to vote
MSR
2009
ACM
16 years 1 months ago
2009
ACM
In many libre (free, open source) software projects, most of the development is performed by a relatively small number of persons, the “core team”. The stability and permanenc...
213
click to vote
ICSM
2002
IEEE
15 years 11 months ago
2002
IEEE
In re-engineering object-oriented legacy code, it is frequently useful to introduce a design pattern in order to improve specific non-functional requirements (e.g., maintainabili...
177
click to vote
WOSP
2004
ACM
16 years 6 days 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...