Sciweavers

3819 search results - page 127 / 764
» An Outsourcing Model of Software Development
Sort
View
ISSRE
2005
IEEE
15 years 3 months ago
Safety Analysis of Software Product Lines Using State-Based Modeling
The difficulty of managing variations and their potential interactions across an entire product line currently hinders safety analysis in safety-critical, software product lines. ...
Jing Liu, Josh Dehlinger, Robyn R. Lutz
CSSE
2008
IEEE
15 years 4 months ago
Designing and Verifying Communication Protocols Using Model Driven Architecture and Spin Model Checker
Abstract: The need of communication protocols in today’s environment increases as much as the network explores. Many new kinds of protocols, e.g. for information sharing, securit...
Prabhu Shankar Kaliappan, Hartmut Koenig, Vishnu K...
CORR
2004
Springer
103views Education» more  CORR 2004»
14 years 9 months ago
Towards a Model-Based Framework for Integrating Usability and Software Engineering Life Cycles
: In this position paper we propose a process model that provides a development infrastructure in which the usability engineering and software engineering life cycles co-exist in c...
Pardha S. Pyla, Manuel A. Pérez-Quiñ...
ICCBSS
2003
Springer
15 years 3 months ago
Estimating the Cost of Security for COTS Software
Abstract. This paper describes enhancements being made to the University of Southern California’s COnstructive COTS (COCOTS) integration cost model to address security concerns. ...
Donald J. Reifer, Barry W. Boehm, Murali Gangadhar...
PST
2008
14 years 11 months ago
Model-Checking for Software Vulnerabilities Detection with Multi-Language Support
In this paper we develop a security verification framework for open source software with a multi-language support. We base our approach on the GCC compiler which is considered as ...
Rachid Hadjidj, Xiaochun Yang, Syrine Tlili, Moura...