Sciweavers

841 search results - page 38 / 169
» Implementing the Experience Factory concepts as a set of Exp...
Sort
View
ISSS
1995
IEEE
96views Hardware» more  ISSS 1995»
13 years 11 months ago
WWW based structuring of codesigns
This paper describes a codesign environment based on the WWW (World Wide Web) and its implementation. Tool invocations and their respective results are linked using hypertext docu...
Paul-Gerhard Plöger, Jörg Wilberg, Miche...
ICSM
2005
IEEE
14 years 1 months ago
Ontology-Based Software Analysis and Reengineering Tool Integration: The OASIS Service-Sharing Methodology
A common and difficult maintenance activity is the integration of existing software components or tools into a consistent and interoperable whole. One area in which this has prov...
Dean Jin, James R. Cordy
ECAI
2008
Springer
13 years 9 months ago
Justification-Based Non-Clausal Local Search for SAT
While stochastic local search (SLS) techniques are very efficient in solving hard randomly generated propositional satisfiability (SAT) problem instances, a major challenge is to i...
Matti Järvisalo, Tommi A. Junttila, Ilkka Nie...
KES
2008
Springer
13 years 7 months ago
Ontology-Based Design Pattern Recognition
This paper presents ontology-based architecture for pattern recognition in the context of static source code analysis. The proposed system has three subsystems: parser, OWL ontolog...
Damir Kirasic, Danko Basch
FM
2001
Springer
108views Formal Methods» more  FM 2001»
14 years 3 days ago
Improvements in BDD-Based Reachability Analysis of Timed Automata
To develop efficient algorithms for the reachability analysis of timed automata, a promising approach is to use binary decision diagrams (BDDs) as data structure for the representa...
Dirk Beyer