Sciweavers

5180 search results - page 285 / 1036
» Requirements Engineering
Sort
View
APSEC
2005
IEEE
16 years 8 days ago
A Formal Semantics of Timed Activity Diagrams and its PROMELA Translation
The lack of a precise semantics for UML activity diagrams makes the reasoning on models constructed using such diagrams infeasible. However, such diagrams are widely used in domai...
Nicolas Guelfi, Amel Mammar
EWSA
2005
Springer
16 years 4 days ago
On the Systematic Conformance Check of Software Artefacts
Abstract. In this paper we present a systematic check of the conformance of the implemented and the intended software architecture. Nowadays industry is confronted with rapidly evo...
Hylke W. van Dijk, Bas Graaf, Rob Boerman
LSO
2004
Springer
15 years 12 months ago
Learning How to Manage Risks Using Organizational Knowledge
In spite of being an important software activity, many software organizations present difficulties in managing risks. This happens mainly due to their low maturity level, and becau...
Ricardo de Almeida Falbo, Fabiano Borges Ruy, Glei...
SEM
2004
Springer
15 years 12 months ago
Accuracy of Performance Prediction for EJB Applications: A Statistical Analysis
Abstract. A challenging software engineering problem is the design and implementation of component-based (CB) applications that can meet specified performance requirements. Our PPC...
Yan Liu, Ian Gorton
XPU
2004
Springer
15 years 12 months ago
Extreme Programming in Curriculum: Experiences from Academia and Industry
Since the rise of the light weight software processes, the paradigm on how software should be developed has started to shift. Agile methods strive to supersede the traditional soft...
Matthias M. Müller, Johannes Link, Roland San...