Sciweavers

1162 search results - page 103 / 233
» Specifying Reusable Components
Sort
View
KBSE
2010
IEEE
15 years 1 months ago
Tag and prune: a pragmatic approach to software product line implementation
To realise variability at the code level, product line methods classically advocate usage of inheritance, components, frameworks, aspects or generative techniques. However, these ...
Quentin Boucher, Andreas Classen, Patrick Heymans,...
94
Voted
ACL
2009
15 years 14 days ago
A Tool for Deep Semantic Encoding of Narrative Texts
We have developed a novel, publicly available annotation tool for the semantic encoding of texts, especially those in the narrative domain. Users can create formal propositions to...
David K. Elson, Kathleen McKeown
122
Voted
ENTCS
2006
161views more  ENTCS 2006»
15 years 2 months ago
Algebraic Specification and Coalgebraic Synthesis of Mealy Automata
We introduce the notion of functional stream derivative, generalising the notion of input derivative of rational expressions (Brzozowski 1964) to the case of stream functions over...
Jan J. M. M. Rutten
105
Voted
PRDC
2008
IEEE
15 years 9 months ago
Indirect Control Path Analysis and Goal Coverage Strategies for Elaborating System Safety Goals in Composite Systems
Correctly specifying requirements for composite systems is essential to system safety, particularly in a distributed development environment. Goal-oriented requirements engineerin...
Jennifer Black, Philip Koopman
153
Voted
VISUAL
1999
Springer
15 years 6 months ago
Generic Viewer Interaction Semantics for Dynamic Virtual Video Synthesis
The FRAMES project is developing a system for video database search, content-based retrieval, and virtual video program synthesis. For dynamic synthesis applications, a video progr...
Craig A. Lindley, Anne-Marie Vercoustre