Sciweavers

4759 search results - page 635 / 952
» Software Development Based on Software Pattern Evolution
Sort
View
ER
2006
Springer
98views Database» more  ER 2006»
15 years 10 months ago
Domain Analysis for Supporting Commercial Off-the-Shelf Components Selection
Though new technological trends and paradigms arise for developing complex software systems, systematic reuse continues to be an elusive goal. In this context, the adoption of Comm...
Claudia P. Ayala, Xavier Franch
FOSSACS
2006
Springer
15 years 10 months ago
Distributed Unfolding of Petri Nets
Some recent Petri net-based approaches to fault diagnosis of distributed systems suggest to factor the problem into local diagnoses based on the unfoldings of local views of the sy...
Paolo Baldan, Stefan Haar, Barbara König
AAAI
2008
15 years 9 months ago
A Formalization of Program Debugging in the Situation Calculus
Program debugging is one of the most time-consuming parts of the software development cycle. In recent years, automatic debugging has been an active research area in software engi...
Yongmei Liu
EXACT
2008
15 years 9 months ago
A Temporal Abductive Diagnostic Process for Runtime Properties Violations
The monitoring of properties of complex software systems can provide the core functionality for detecting violations of such properties. However, the violations detection cannot be...
Theocharis Tsigkritis, George Spanoudakis
WSC
2008
15 years 9 months ago
Concurrent simulation and optimization models for mining planning
One of the most important challenges for mining engineers is to correctly analyze and generate short-term planning schedules, or simply month mining plan. The objective is to demo...
Marcelo Moretti Fioroni, Luiz Augusto Gago Franzes...