Sciweavers

1685 search results - page 133 / 337
» Commonality and Variability in Software Engineering
Sort
View
KBSE
2002
IEEE
15 years 8 months ago
Deviation Analysis Through Model Checking
Inaccuracies, or deviations, in the measurements of monitored variables in a control system are facts of life that control software must accommodate—the software is expected to ...
Mats Per Erik Heimdahl, Yunja Choi, Michael W. Wha...
ASWEC
2008
IEEE
15 years 10 months ago
Modeling Input Validation in UML
Security is an integral part of most software systems but it is not considered as an explicit part in the development process yet. Input validation is the most critical part of so...
Pedram Hayati, Nastaran Jafari, S. Mohammad Rezaei...
ICSE
2009
IEEE-ACM
15 years 8 months ago
License integration patterns: Addressing license mismatches in component-based development
In this paper we address the problem of combining software components with different and possibly incompatible legal licenses to create a software application that does not viola...
Daniel M. Germán, Ahmed E. Hassan
123
Voted
ISSTA
2009
ACM
15 years 10 months ago
Loop-extended symbolic execution on binary programs
Mixed concrete and symbolic execution is an important technique for finding and understanding software bugs, including securityrelevant ones. However, existing symbolic execution...
Prateek Saxena, Pongsin Poosankam, Stephen McCaman...
HICSS
2006
IEEE
135views Biometrics» more  HICSS 2006»
15 years 9 months ago
Using Function Generalization to Design a Cosequential Processing Framework
Abstract— Framework design is a multifaceted endeavor undertaken to promote reuse of software within a family of related applications. Traditional approaches involve either the e...
H. Conrad Cunningham, Pallavi Tadepalli