Sciweavers

5843 search results - page 482 / 1169
» Software Security in Practice
Sort
View
183
Voted
REFSQ
2007
Springer
16 years 29 days ago
Information Flow Between Requirement Artifacts. Results of an Empirical Study
Abstract. Requirements engineering is still an area of software engineering in which theory and practice greatly differ. This work presents the results of an empirical study of ar...
Stefan Winkler
XPU
2004
Springer
16 years 6 days ago
Going Interactive: Combining Ad-Hoc and Regression Testing
Abstract. Different kinds of unit testing activities are used in practice. Organised unit testing (regression testing or test-first activities) are very popular in commercial pract...
Michael Kölling, Andrew Patterson
SEFM
2003
IEEE
16 years 4 days ago
Component-Based Design and Analysis: A Case Study
In this paper, we introduce a component-based design methodology and present a practical analysis approach that makes use of the modular nature of component-based designs to allev...
Yan Jin, Charles Lakos, Robert Esser
179
Voted
APSEC
1998
IEEE
15 years 11 months ago
A Refinement Calculus for the Development of Real-Time Systems
We present a calculus which can transfer specifications to objects for the development of real-time systems. The object model is based on a practical OO development technique--HRT...
Zhiqiang Chen, Antonio Cau, Hussein Zedan, Xiaodon...
JOT
2006
106views more  JOT 2006»
15 years 6 months ago
ABS++: Assertion Based Subtyping in C++
For software engineering to meet today's challenges, well designed reuse and composition mechanisms must be established in both theory and practice. Starting roughly ten year...
Herbert Toth