Sciweavers

1251 search results - page 117 / 251
» A Method for Component-Based Software and System Development
Sort
View
SAC
2009
ACM
15 years 10 months ago
A collaborative tool for designing and enacting design processes
Today several approaches using Situational Method Engineering paradigm exist, each of them proposes methods and techniques for developing ad-hoc design processes. In this context ...
Massimo Cossentino, Luca Sabatucci, Valeria Seidit...
SEKE
2004
Springer
15 years 8 months ago
Black- and White-Box Self-testing COTS Components
Development of a software system from existing components can surely have various benefits, but can also entail a series of problems. One type of problems is caused by a limited ...
Sami Beydeda, Volker Gruhn
137
Voted
FM
2003
Springer
104views Formal Methods» more  FM 2003»
15 years 8 months ago
Proving the Shalls
Incomplete, inaccurate, ambiguous, and volatile requirements have plagued the software industry since its inception. The convergence of model-based development and formal methods o...
Steven P. Miller, Alan C. Tribble, Mats Per Erik H...
PROFES
2005
Springer
15 years 8 months ago
Comprehensive Documentation Made Agile - Experiments with RaPiD7 in Philips
This paper addresses the almost never-ending headache the role of documentation has given for software projects. Working software has been given recently a focus over comprehensive...
Ko Dooms, Roope Kylmäkoski
107
Voted
CCS
2007
ACM
15 years 9 months ago
Predicting vulnerable software components
Where do most vulnerabilities occur in software? Our Vulture tool automatically mines existing vulnerability databases and version archives to map past vulnerabilities to componen...
Stephan Neuhaus, Thomas Zimmermann, Christian Holl...