Sciweavers

16725 search results - page 667 / 3345
» Engineering Software Correctness
Sort
View
EUROSYS
2009
ACM
16 years 4 months ago
A runtime system for software lock elision
Amitabha Roy 0002, Steven Hand, Timothy L. Harris
LCTRTS
2004
Springer
16 years 19 days ago
Speculative software management of datapath-width for energy optimization
Gilles Pokam, Olivier Rochecouste, André Se...
ICSE
2005
IEEE-ACM
16 years 24 days ago
How to teach software modeling
To enhance motivation of students to study software engineering, some way of finding balance between the scientific aspect and the practical aspect of software engineering is re...
Tetsuo Tamai
RE
2001
Springer
15 years 11 months ago
Software Acquisition: A Business Strategy Analysis
This paper argues that there are new insights to be gained from a strategic analysis of requirements engineering. The paper is motivated by a simple question: what does it take to...
Barbara Farbey, Anthony Finkelstein
IASTEDSEA
2004
15 years 8 months ago
Engineering long-lived applications using MDA
Creating long-lived software systems requires a technology to build systems with good maintainability. One of the core ideas of the Model Driven Architecture (MDA) is to ease the ...
Tilman Seifert, Gerd Beneken, Niko Baehr