1689 search results - page 124 / 338 » Empirical Methodologies in Software Engineering |
138
click to vote
AVI
2004
15 years 5 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...
119
click to vote
ICSE
2003
IEEE-ACM
16 years 4 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...
151
click to vote
MSR
2009
ACM
15 years 11 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...
163
click to vote
ICSM
2002
IEEE
15 years 9 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...
136
click to vote
WOSP
2004
ACM
15 years 10 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...