Sciweavers

2216 search results - page 228 / 444
» Integration of Usability Techniques into the Software Develo...
Sort
View
NSPW
2004
ACM
15 years 9 months ago
Towards agile security assurance
Agile development methodologies are gaining acceptance in the software industry. If they are to be used for constructing securitycritical solutions, what do we do about assurance?...
Konstantin Beznosov, Philippe Kruchten
BCSHCI
2008
15 years 5 months ago
Creating creative processes: a workshop demonstrating a methodological approach for subjects between the sciences and the arts
There is a lack of `explicit education' of different modes of creativity and different methodologies for initiating creative processes. This is important for not only art pra...
Carola Boehm
MODELS
2009
Springer
15 years 9 months ago
Teaching Modeling: Why, When, What?
This paper reports on a panel discussion held during the Educators’ Symposium at MODELS’2009. It shortly explains the context provided for the discussion and outlines the state...
Jean Bézivin, Robert France, Martin Gogolla...
FSTTCS
2003
Springer
15 years 9 months ago
Reachability Analysis of Process Rewrite Systems
We define a new model called O-PRS that extends the Process Rewrite Systems formalism with a new associative operator, “ ”, that allows to model parallel composition while ke...
Ahmed Bouajjani, Tayssir Touili
ICDCS
2002
IEEE
15 years 9 months ago
Process Migration: A Generalized Approach Using a Virtualizing Operating System
Process migration has been used to perform specialized tasks, such as load sharing and checkpoint/restarting long running applications. Implementation typically consists of modifi...
Tom Boyd, Partha Dasgupta