Sciweavers

3216 search results - page 346 / 644
» The Oregon Software Development Process
Sort
View
DAGSTUHL
2006
15 years 8 months ago
A Framework for Analyzing Composition of Security Aspects
The methodology of aspect-oriented software engineering has been proposed to factor out concerns that are orthogonal to the core functionality of a system. In particular, this is a...
Jorge Fox, Jan Jürjens
FTRTFT
1998
Springer
15 years 11 months ago
On the Need for Practical Formal Methods
A controversial issue in the formal methods community is the degree to which mathematical sophistication and theorem proving skills should be needed to apply a formal method. A fun...
Constance L. Heitmeyer
ICSE
2000
IEEE-ACM
15 years 10 months ago
Improving problem-oriented mailing list archives with MCS
Developers often use electronic mailing lists when seeking assistance with a particular software application. The archives of these mailing lists provide a rich repository of prob...
Robert S. Brewer
ISTA
2008
15 years 8 months ago
Evolving and Implanting Web-Based E-Government-Systems in Universities
Abstract. The Bologna Process [1] has triggered a major restructuring of the current university diploma into a bachelor/master system. As one effect, the administration effort for ...
Dirk Reiss, Bernhard Rumpe, Marvin Schulze-Quester...
IEEEPACT
1999
IEEE
15 years 11 months ago
Cameron: High level Language Compilation for Reconfigurable Systems
This paper presents the Cameron Project 1 , which aims to provide a high level, algorithmic language and optimizing compiler for the development of image processing applications o...
Jeffrey Hammes, Robert Rinker, A. P. Wim Böhm...