Sciweavers

4241 search results - page 205 / 849
» A Knowledge-Based Software Information System
Sort
View
KBSE
2008
IEEE
15 years 10 months ago
Type-Checking Software Product Lines - A Formal Approach
—A software product line (SPL) is an efficient means to generate a family of program variants for a domain from a single code base. However, because of the potentially high numb...
Christian Kästner, Sven Apel
SEAA
2008
IEEE
15 years 10 months ago
Evaluating RUP Software Development Processes Through Visualization of Effort Distribution
In this exploratory case study, effort distribution visualizations of industrial software development projects are made in order to assess to what extent patterns can be found tha...
Werner Heijstek, Michel R. V. Chaudron
ASWEC
2004
IEEE
15 years 7 months ago
A Framework for Classifying and Comparing Software Architecture Evaluation Methods
Software architecture evaluation has been proposed as a means to achieve quality attributes such as maintainability and reliability in a system. The objective of the evaluation is...
Muhammad Ali Babar, Liming Zhu, D. Ross Jeffery
IASSE
2004
15 years 5 months ago
Execution of A Requirement Model in Software Development
Latest research results have shown that requirements errors have a prolonged impact on software development and that they are more expensive to fix during later stages than early ...
Wuwei Shen, Mohsen Guizani, Zijiang Yang, Kevin J....
ECBS
2011
IEEE
274views Hardware» more  ECBS 2011»
14 years 3 months ago
Model-Driven In-the-Loop Validation: Simulation-Based Testing of UAV Software Using Virtual Environments
Abstract—With the availability of the off-the-shelf quadrocopter platforms, the implementation of autonomous unmanned aerial vehicle (UAV) has substantially been simplified. Suc...
Florian Mutter, Stefanie Gareis, Bernhard Schä...