Talk Keyword Index

TALK KEYWORD INDEX

This page contains an index consisting of author-provided keywords.

Shortcuts: A B C D E F H I L M N O P Q R S T U V W X Y

A
actor	Modeling Actor Systems Using Dynamic I/O Automata
adaptive reuse	Clone Detection in Reuse of Software Technical Documentation
AHP	Estimating Development Effort for Software Architectural Tactics
ambiguity resolution	Сonflict Resolution in Multi-agent Systems with Typed Connections for Ontology Population
api documentation	Clone Detection in Reuse of Software Technical Documentation
aspect	Checking Several Requirements at once by CEGAR
automata	Modeling Actor Systems Using Dynamic I/O Automata
Automated composition of web services	Automated Two-Phase Composition of Timed Web Services
Automated Reasoning	Implementation and Evaluation of Contextual Natural Deduction for Minimal Logic
B
behavioural types	Behavioural Analysis of Sessions using the Calculus of Structures
Branching Processes	Branching Processes of Timed Petri Nets
C
calculus of structures	Behavioural Analysis of Sessions using the Calculus of Structures
Clang Static Analyzer	Aug 25 12:30
clone detection	Clone Detection in Reuse of Software Technical Documentation
clone detection technique	Clone Detection in Reuse of Software Technical Documentation
clone detection tool	Clone Detection in Reuse of Software Technical Documentation
clone group	Clone Detection in Reuse of Software Technical Documentation
clone miner	Clone Detection in Reuse of Software Technical Documentation
Cloud Computing	BTC Formal Model of MAP/REDUCE
Coloured Petri Nets	Constraint Solving for Verifying Modal Specifications of Workflow Nets with Data
computable analysis	Towards using exact real arithmetic for initial value problems
concurrency	Modeling Actor Systems Using Dynamic I/O Automata
conflict resolution	Сonflict Resolution in Multi-agent Systems with Typed Connections for Ontology Population
Constraint Systems	Constraint Solving for Verifying Modal Specifications of Workflow Nets with Data
content adaptation	Rule-based Content Adaptation for Online Communication
Content Extraction	Analysis of DOM Structures for Site-Level Template Extraction
counterexample guided abstraction refinement	Checking Several Requirements at once by CEGAR
D
Deccidability	Program Scheme Technique to Solve Propositional Program Logics Revised
deep inference	Behavioural Analysis of Sessions using the Calculus of Structures
Distributed scientific computing	Applying MDA to Generate Hadoop Based Scientific Computing Applications
document clone detection	Clone Detection in Reuse of Software Technical Documentation
documentation reuse	Clone Detection in Reuse of Software Technical Documentation
dsl	Lightweight Verification Support for DSLs Defined with XText
duplicate text fragment	Clone Detection in Reuse of Software Technical Documentation
dynamic security policy	Dynamics Security Policies and Process Opacity
E
Effort Estimation	Estimating Development Effort for Software Architectural Tactics
Eiffel	Unifying Requirements and Code: an Example
Ershov generating extensions	Maximally-Polyvariant Partial Evaluation in Polynomial Time
Event-B	Using Refinement in Formal Development of OS Security Model
exact real arithmetic	Towards using exact real arithmetic for initial value problems
extension point	Clone Detection in Reuse of Software Technical Documentation
F
Formal methods	BTC Formal Model of MAP/REDUCE Unifying Requirements and Code: an Example
formal verification	Using Refinement in Formal Development of OS Security Model Unifying Requirements and Code: an Example
Functional Size	Estimating Development Effort for Software Architectural Tactics
H
hybrid	Hybrid Lustre
I
information element	Clone Detection in Reuse of Software Technical Documentation
information flow	Dynamics Security Policies and Process Opacity
Information Retrieval	Analysis of DOM Structures for Site-Level Template Extraction
inter-unit analysis	Aug 25 12:30
Intermediate code	RSSA: A Reversible SSA Form
iRRAM	Towards using exact real arithmetic for initial value problems
L
Logics with Fix-Points	Program Scheme Technique to Solve Propositional Program Logics Revised
Lustre	Hybrid Lustre
M
maintenance process	Clone Detection in Reuse of Software Technical Documentation
Map/Reduce	BTC Formal Model of MAP/REDUCE
MapReduce	Applying MDA to Generate Hadoop Based Scientific Computing Applications
mixed computation	Maximally-Polyvariant Partial Evaluation in Polynomial Time
Modalities	Constraint Solving for Verifying Modal Specifications of Workflow Nets with Data
Model Checking	Program Scheme Technique to Solve Propositional Program Logics Revised
model verification	Lightweight Verification Support for DSLs Defined with XText
Model-Driven Architecture	Applying MDA to Generate Hadoop Based Scientific Computing Applications
multiagent systems	Сonflict Resolution in Multi-agent Systems with Typed Connections for Ontology Population
multirequirements	Unifying Requirements and Code: an Example
N
Natural Deduction	Implementation and Evaluation of Contextual Natural Deduction for Minimal Logic
natural language processing	Сonflict Resolution in Multi-agent Systems with Typed Connections for Ontology Population
O
online communication	Rule-based Content Adaptation for Online Communication
ontology population	Сonflict Resolution in Multi-agent Systems with Typed Connections for Ontology Population
Orchestration of web services	Automated Two-Phase Composition of Timed Web Services
Order-theoretic Characterization	Branching Processes of Timed Petri Nets
ordinary differential equations	Towards using exact real arithmetic for initial value problems
P
parser generator	Relaxed Parsing of Regular Approximations of String-Embedded Languages
parsing	Relaxed Parsing of Regular Approximations of String-Embedded Languages
partial evaluation	Maximally-Polyvariant Partial Evaluation in Polynomial Time
Performance evaluation	BTC Formal Model of MAP/REDUCE
plain text	Clone Detection in Reuse of Software Technical Documentation
Platform independent model (PIM)	Applying MDA to Generate Hadoop Based Scientific Computing Applications
Platform specific model (PSM)	Applying MDA to Generate Hadoop Based Scientific Computing Applications
process algebras	Dynamics Security Policies and Process Opacity
process opacity	Dynamics Security Policies and Process Opacity
product line	Clone Detection in Reuse of Software Technical Documentation
product line member	Clone Detection in Reuse of Software Technical Documentation
Program Schemata	Program Scheme Technique to Solve Propositional Program Logics Revised
program staging	Maximally-Polyvariant Partial Evaluation in Polynomial Time
proof calculus	Lightweight Verification Support for DSLs Defined with XText
Proof Compression	Implementation and Evaluation of Contextual Natural Deduction for Minimal Logic
Proof Theory	Implementation and Evaluation of Contextual Natural Deduction for Minimal Logic Behavioural Analysis of Sessions using the Calculus of Structures
Propositional Program Logics	Program Scheme Technique to Solve Propositional Program Logics Revised
Q
Quality Requirements	Estimating Development Effort for Software Architectural Tactics
R
refactoring operation	Clone Detection in Reuse of Software Technical Documentation
refinement	Using Refinement in Formal Development of OS Security Model
refresh news	Clone Detection in Reuse of Software Technical Documentation
Requirements Engineering	Estimating Development Effort for Software Architectural Tactics Unifying Requirements and Code: an Example
reusable element	Clone Detection in Reuse of Software Technical Documentation
Reversible languages	RSSA: A Reversible SSA Form
RNGLR	Relaxed Parsing of Regular Approximations of String-Embedded Languages
rule-based system	Rule-based Content Adaptation for Online Communication
runtime verification	Behavioural Analysis of Sessions using the Calculus of Structures
S
security model	Using Refinement in Formal Development of OS Security Model
selected clone group	Clone Detection in Reuse of Software Technical Documentation
semantics	Lightweight Verification Support for DSLs Defined with XText
session types	Behavioural Analysis of Sessions using the Calculus of Structures
SMT	Equivalence of Finite-Valued Symbolic Finite Transducers
social media	Rule-based Content Adaptation for Online Communication
software clone detection	Clone Detection in Reuse of Software Technical Documentation
software documentation	Clone Detection in Reuse of Software Technical Documentation
software engineering	Clone Detection in Reuse of Software Technical Documentation Unifying Requirements and Code: an Example
software product line	Clone Detection in Reuse of Software Technical Documentation
software specifications	Unifying Requirements and Code: an Example
software technical documentation	Clone Detection in Reuse of Software Technical Documentation
SSA form	RSSA: A Reversible SSA Form
state machine	Lightweight Verification Support for DSLs Defined with XText
static analysis	Aug 25 12:30
static analysis report	Aug 25 12:30
static verification	Checking Several Requirements at once by CEGAR
string analysis	Relaxed Parsing of Regular Approximations of String-Embedded Languages
string matching	Maximally-Polyvariant Partial Evaluation in Polynomial Time
string-embedded language	Relaxed Parsing of Regular Approximations of String-Embedded Languages
summary-based analysis	Aug 25 12:30
symbolic execution	Aug 25 12:30
Symbolic Finite Automata	Equivalence of Finite-Valued Symbolic Finite Transducers
Symbolic Finite Transducer	Equivalence of Finite-Valued Symbolic Finite Transducers
synchonous language	Hybrid Lustre
T
Tactics	Estimating Development Effort for Software Architectural Tactics
Taylor models	Towards using exact real arithmetic for initial value problems
technical documentation	Clone Detection in Reuse of Software Technical Documentation
technical software documentation	Clone Detection in Reuse of Software Technical Documentation
Template Extraction	Analysis of DOM Structures for Site-Level Template Extraction
text fragment	Clone Detection in Reuse of Software Technical Documentation
Timed Petri Nets	Branching Processes of Timed Petri Nets
Timed web services	Automated Two-Phase Composition of Timed Web Services
U
Unfolding	Branching Processes of Timed Petri Nets
V
verification	Modeling Actor Systems Using Dynamic I/O Automata
view item catalog	Clone Detection in Reuse of Software Technical Documentation
W
Workflows	Constraint Solving for Verifying Modal Specifications of Workflow Nets with Data
X
xml markup language	Clone Detection in Reuse of Software Technical Documentation
XSemantics	Lightweight Verification Support for DSLs Defined with XText
XText	Lightweight Verification Support for DSLs Defined with XText
Y
Yanov Schemata	Program Scheme Technique to Solve Propositional Program Logics Revised