Sciweavers

3441 search results - page 51 / 689
» Provenance of Software Development Processes
Sort
View
SEKE
1992
Springer
15 years 6 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
15 years 3 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
15 years 7 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
138
Voted
EUROMICRO
2004
IEEE
15 years 6 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
15 years 3 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