Sciweavers

15779 search results - page 39 / 3156
» Change-oriented software engineering
Sort
View
TE
2010
95views more  TE 2010»
13 years 2 months ago
Support for Different Roles in Software Engineering Master's Thesis Projects
Like many engineering programs in Europe, the final part of most Swedish software engineering programs is a longer project in which the students write a Master's thesis. These...
Martin Höst, Robert Feldt, Frank Lüders
INFSOF
2002
89views more  INFSOF 2002»
13 years 7 months ago
Source transformation in software engineering using the TXL transformation system
Many tasks in software engineering can be characterized as source to source transformations. Design recovery, software restructuring, forward engineering, language translation, pl...
James R. Cordy, Thomas R. Dean, Andrew J. Malton, ...
FMAM
2010
223views Formal Methods» more  FMAM 2010»
13 years 5 months ago
Agile Formality: A Mole of Software Engineering Practices
: Members of the agile programming and formal methods communities do not always see eye-to-eye. These two communities often do not talk to or learn from each other. Only recently, ...
Vieri del Bianco, Dragan Stosic, Joseph R. Kiniry
TCS
2002
13 years 7 months ago
A formal approach to object-oriented software engineering
We show how formal specifications can be integrated into one of the current pragmatic object-oriented software development methods. Jacobson's "Object-Oriented Software ...
Martin Wirsing, Alexander Knapp
ICMS
2010
13 years 6 months ago
The Reformulation-Optimization Software Engine
Abstract. Most optimization software performs numerical computation, in the sense that the main interest is to find numerical values to assign to the decision variables, e.g. a so...
Leo Liberti, Sonia Cafieri, David Savourey