Sciweavers

3901 search results - page 272 / 781
» software 2008
Sort
View
VAMOS
2008
Springer
15 years 8 months ago
Integrated Product Line Model for Semi-Automated Product Derivation Using Non-Functional Properties
Software product lines (SPLs) allow to generate tailormade software products by selecting and composing reusable code units. However, SPLs with hundreds of features and millions o...
Norbert Siegmund, Martin Kuhlemann, Marko Rosenm&u...
CAISE
2008
Springer
15 years 7 months ago
Computer-Aided Method Engineering: An Analysis of Existing Environments
Analogous to Computer-Aided Software Engineering (CASE), which aims to facilitate Software Engineering through specialized tools, ComputerAided Method Engineering (CAME) strives to...
Ali Niknafs, Raman Ramsin
ICSE
2008
IEEE-ACM
16 years 7 months ago
Formal verification of an automotive scenario in service-oriented computing
We report on the successful application of academic experience with formal modelling and verification techniques to an automotive scenario from the service-oriented computing doma...
Maurice H. ter Beek, Stefania Gnesi, Nora Koch, Fr...
SCAM
2008
IEEE
16 years 1 months ago
The Evolution and Decay of Statically Detected Source Code Vulnerabilities
The presence of vulnerable statements in the source code is a crucial problem for maintainers: properly monitoring and, if necessary, removing them is highly desirable to ensure h...
Massimiliano Di Penta, Luigi Cerulo, Lerina Aversa...
155
Voted
IJCAT
2008
69views more  IJCAT 2008»
15 years 6 months ago
A knowledge hierarchy model for adaptive multi-agent systems
: Adaptivity in software is important since business processes, business rules and business terms constantly evolve. A radical solution is described that makes use of the inherent ...
Liang Xiao 0002, Des Greer