Sciweavers

3901 search results - page 140 / 781
» software 2008
Sort
View
MKWI
2008
130views Business» more  MKWI 2008»
15 years 5 months ago
A Method for Aligning Business Process Modeling and Software Requirements Engineering
: Software engineering provides a rich set of methods and tools that cover the entire engineering process. However, there still exist major problems in integrating methods that add...
Daniel Weiß, Jörg Leukel, Stefan Kirn
148
Voted
CORR
2008
Springer
103views Education» more  CORR 2008»
15 years 4 months ago
When, why and how to test spreadsheets
Testing is a vital part of software development, and spreadsheets are like any other software in this respect. This paper discusses the testing of spreadsheets in the light of one...
Louise Pryor
JUCS
2008
186views more  JUCS 2008»
15 years 4 months ago
Model Interpreter Frameworks: A Foundation for the Analysis of Domain-Specific Software Architectures
: Prediction of the quality attributes of software architectures requires technologies that enable the application of analytic theories to component models. However, available anal...
George Edwards, Chiyoung Seo, Nenad Medvidovic
148
Voted
DSONLINE
2008
152views more  DSONLINE 2008»
15 years 4 months ago
Software Architecture Patterns for a Context-Processing Middleware Framework
Ubiquitous applications are characterised by variations of their execution context. Their correct operation requires some continual adaptations based on the observation of their e...
Romain Rouvoy, Denis Conan, Lionel Seinturier
PST
2008
15 years 5 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...