Sciweavers

10379 search results - page 501 / 2076
» The Chaos of Software Development
Sort
View
ERSHOV
2006
Springer
15 years 10 months ago
Formal Methods in Industrial Software Standards Enforcement
The article presents an approach to development of software standards usage infrastructure. The approach is based on formalization of standards and automated conformance test deriv...
Alexey Grinevich, Alexey V. Khoroshilov, Victor V....
EUROMICRO
2009
IEEE
15 years 10 months ago
The Relative Importance of Aspects of Intellectual Capital for Software Companies
Intellectual capital (IC) is both the key input and tool used in the development of software today. It covers the value provided to an organisation by the employees, the processes...
Sebastian Barney, Aybüke Aurum, Claes Wohlin
IJCAI
2007
15 years 8 months ago
Fault-Model-Based Test Generation for Embedded Software
Testing embedded software systems on the control units of vehicles is a safety-relevant task, and developing the test suites for performing the tests on test benches is time-consu...
Michael Esser, Peter Struss
PST
2008
15 years 8 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...
WICSA
2008
15 years 8 months ago
Wishes and Boundaries for a Software Architecture Knowledge Community
Software architecting is a highly knowledge-intensive process demanding and producing a large and rich amount of information. To remain competitive, companies and organizations wo...
Patricia Lago, Paris Avgeriou, Rafael Capilla, Phi...