Sciweavers

326 search results - page 5 / 66
» Tailoring and Verifying Software Process
Sort
View
XPU
2004
Springer
14 years 21 days ago
The Oregon Software Development Process
Abstract. User participation is still a difficult topic in software development. Based on the results of the Oregon experiment in construction we propose a novel development proces...
Till Schümmer, Robert Slagter
FSEN
2007
Springer
13 years 11 months ago
Nuovo DRM Paradiso: Towards a Verified Fair DRM Scheme
We formally specify the recent DRM scheme of Nair et al. in the
Muhammad Torabi Dashti, Srijith Krishnan Nair, Hug...
ENTCS
2006
176views more  ENTCS 2006»
13 years 7 months ago
Gauss: A Framework for Verifying Scientific Computing Software
High performance scientific computing software is of critical international importance as it supports scientific explorations and engineering. Software development in this area is...
Robert Palmer, Steve Barrus, Yu Yang, Ganesh Gopal...
CLEIEJ
2010
13 years 4 months ago
Mapping Process Capability Models to Support Integrated Software Process Assessments
Software process assessments have been used to verify the conformance with quality reference models or standards, usually in a context of software process improvement programs. Mo...
Marcello Thiry, Alessandra Zoucas, Leornardo Trist...
JISBD
2001
13 years 8 months ago
Verifying Reuse Contracts with a Component Model
The Itacio component model intends to bring a method of verifying software systems made up of ts. This method can be applied at different levels of abstraction, and to different f...
Agustín Cernuda del Río, José...