Sciweavers

1663 search results - page 22 / 333
» Software Reuse and Safety
Sort
View
FM
2003
Springer
115views Formal Methods» more  FM 2003»
14 years 3 months ago
Model Checking FTA
Safety is increasingly important for software based, critical systems. Fault tree analysis (FTA) is a safety technique from engineering, developed for analyzing and assessing syste...
Andreas Thums, Gerhard Schellhorn
FSTTCS
2004
Springer
14 years 3 months ago
Actively Learning to Verify Safety for FIFO Automata
Abhay Vardhan, Koushik Sen, Mahesh Viswanathan, Gu...
KBSE
2008
IEEE
14 years 4 months ago
Semi-Automating Pragmatic Reuse Tasks
Developers undertaking a pragmatic reuse task must collect and reason about information that is spread throughout the source code of a system before they can understand the scope ...
Reid Holmes, Robert J. Walker
JOT
2010
142views more  JOT 2010»
13 years 8 months ago
Attached Processes
Many software engineers try very hard not to use the word “reuse” because many methods and tools intended to promote reuse have failed to meet expectations. As soon as they le...
John McGregor
ITICSE
2009
ACM
14 years 4 months ago
Software reuse and plagiarism: a code of practice
In general, university guidelines or policies on plagiarism are not sufficiently detailed to cope with the technical complexity of software. Software plagiarism can have a signi...
J. Paul Gibson