Sciweavers

1210 search results - page 79 / 242
» Specifying Precise Use Cases with Use Case Charts
Sort
View
FSTTCS
2005
Springer
15 years 10 months ago
Fixpoint Logics on Hierarchical Structures
Hierarchical graph definitions allow a modular description of graphs using modules for the specification of repeated substructures. Beside this modularity, hierarchical graph de...
Stefan Göller, Markus Lohrey
ACSD
2001
IEEE
102views Hardware» more  ACSD 2001»
15 years 8 months ago
Exploration Testing
This paper describes a new way of testing reactive systems as investigated by the RATE-project at the Tampere University of Technology. We abandon the idea of systematically using...
Juhana Helovuo, Sari Leppänen
EMSOFT
2008
Springer
15 years 6 months ago
RTComposer: a framework for real-time components with scheduling interfaces
We present a framework for component-based design and scheduling of real-time embedded software. Each component has a clearly specified interface that includes the methods used fo...
Rajeev Alur, Gera Weiss
SEMWEB
2009
Springer
15 years 11 months ago
Results of the Ontology Alignment Evaluation Initiative 2009
Abstract. Ontology matching consists of finding correspondences between ontology entities. OAEI campaigns aim at comparing ontology matching systems on precisely defined test cas...
Jérôme Euzenat, Alfio Ferrara, Laura ...
ISESE
2005
IEEE
15 years 10 months ago
Cloning by accident: an empirical study of source code cloning across software systems
One of the key goals of open source development is the sharing of knowledge, experience, and solutions that pertain to a software system and its problem domain. Source code clonin...
Raihan Al-Ekram, Cory Kapser, Richard C. Holt, Mic...