Sciweavers

2642 search results - page 112 / 529
» Improving the quality of software quality determination proc...
Sort
View
FASE
2008
Springer
15 years 8 months ago
Verification of Architectural Refactorings by Rule Extraction
With the success of model-driven development as well as component-based and service-oriented systems, models of software architecture are key artefacts in the development process. ...
Dénes Bisztray, Reiko Heckel, Hartmut Ehrig
HICSS
2006
IEEE
120views Biometrics» more  HICSS 2006»
16 years 15 days ago
Reconciling the Irreconcilable? A Software Development Approach that Combines Agile with Formal
Unstable software requirements are common and call for Agile practices. On the other hand, quality standards and recommendations, to which companies must adhere to play in selecte...
José Gonçalo A. Oliveira Basto da Si...
IADIS
2004
15 years 7 months ago
A middleware platform supporting electronic service markets
The Internet today can be seen as a global market for electronic services. Each provider can offer its services, and customers can choose between several providers offering simila...
Dirk Thissen
KI
2004
Springer
15 years 11 months ago
Improving Fault Localization of Programs by Using Labeled Dependencies
In this paper we present a new model of Java programs. We show how a program can be compiled into the model. The model can be directly used by a model-based diagnosis engine in ord...
Rong Chen, Daniel Köb, Franz Wotawa
IROS
2006
IEEE
81views Robotics» more  IROS 2006»
16 years 14 days ago
Improving Navigation Precision of Milling Operations in Surgical Robotics
Abstract – Current approaches to establish or improve precision of registration and execution in (surgical) robotics, especially milling applications, mostly aim at determining a...
Philipp J. Stolka, Dominik Henrich