Sciweavers

1162 search results - page 103 / 233
» Specifying Reusable Components
Sort
View
KBSE
2010
IEEE
14 years 8 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,...
ACL
2009
14 years 7 months 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
ENTCS
2006
161views more  ENTCS 2006»
14 years 10 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
PRDC
2008
IEEE
15 years 4 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
VISUAL
1999
Springer
15 years 2 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