Sciweavers

315 search results - page 16 / 63
» A formal approach to software components classification and ...
Sort
View
SEFM
2009
IEEE
15 years 7 months ago
Specifying Interacting Components with Coordinated Concurrent Scenarios
Abstract. We introduce a visual notation for local specification of concurrent components based on message sequence charts (MSCs). Each component is a finite-state machine whose ...
Prakash Chandrasekaran, Madhavan Mukund
101
Voted
CLEF
2005
Springer
15 years 6 months ago
A Fast Forward Approach to Cross-Lingual Question Answering for English and German
This paper describes the development of a question answering system for monolingual and cross-lingual tasks for the languages English and German. We developed the question answeri...
Robert Strötgen, Thomas Mandl, René Sc...
COMPSAC
2007
IEEE
15 years 4 months ago
Piping Classification to Metamorphic Testing: An Empirical Study towards Better Effectiveness for the Identification of Failures
Mesh simplification is a mainstream technique to render graphics responsively in modern graphical software. However, the graphical nature of the output poses a test oracle problem...
W. K. Chan, Jeffrey C. F. Ho, T. H. Tse
96
Voted
ENTCS
2010
127views more  ENTCS 2010»
15 years 15 days ago
Action Prefixes: Reified Synchronization Paths in Minimal Component Interaction Automata
Component Interaction Automata provide a fitting model to capture and analyze the temporal facets of hierarchical-structured component-oriented software systems. However, the rule...
Markus Lumpe
90
Voted
APSEC
2005
IEEE
15 years 6 months ago
Consistency and Interoperability Checking for Component Interaction Rules
In component-based software development, it is important to ensure interoperability between components based on their unambiguous semantic descriptions, in order to obtain a viabl...
Yan Jin, Jun Han