Sciweavers

3441 search results - page 51 / 689
» Provenance of Software Development Processes
Sort
View
SEKE
1992
Springer
14 years 2 months ago
An Iterative-Cyclic Software Process Model
The current state of traditional software development is surveyed and essential problems are investigated on the basis of system theoretical considerations. The concept of optimis...
Matthias Rauterberg
OMER
2001
13 years 11 months ago
A Model-Based Approach for Automotive Software Development
: Integrated model-based specification techniques facilitate the definition of seamless development processes for electronic control units (ECUs) including support for domain speci...
Peter Braun 0003, Martin Rappl
WETICE
2005
IEEE
14 years 3 months ago
Application of Lightweight Formal Methods to Software Security
Formal specification and verification of security has proven a challenging task. There is no single method that has proven feasible. Instead, an integrated approach which combines...
David P. Gilliam, John D. Powell, Matt Bishop
EUROMICRO
2004
IEEE
14 years 1 months ago
SaveCCM - A Component Model for Safety-Critical Real-Time Systems
Component-based development has proven effective in many engineering domains, and several general component technologies are available. Most of these are focused on providing an e...
Hans Hansson, Mikael Åkerholm, Ivica Crnkovi...
ECIS
2000
13 years 11 months ago
A Systematic Analysis of the Effect of Task Clarity on Software Development Design
Two different types of development tasks are distinguished: Clear and unclear development tasks. Based on hypotheses from organizational theory two different designs of software d...
Werner Mellis