Reportage Käthi Abplanalp hält die Grossküche in Schuss Über einen eigenen Mitarbeiterverleih ermöglicht die Obwaldner Stiftung Rütimattli ­Menschen mit Beeinträchtigung Einsätze im ersten Arbeitsmarkt.

Source URL: www.susannewenger.ch

The Influence of Software Module Systems on Modular Verification
Harry Li , Kathi Fisler and Shriram Krishnamurthi 

Source URL: web.cs.wpi.edu

• Hardware verification languages
• E
• Component-based software engineering
• Model checking
• Modularity
• Modular programming
• Aspect-oriented software development
• Formal verification

Measuring the Effectiveness of Error Messages Designed for Novice Programmers Guillaume Marceau Kathi Fisler

Source URL: web.cs.wpi.edu

• Computer errors
• Error message
• Humancomputer interaction
• Error detection and correction
• Syntax error
• Infinite loop
• Syntax

Modular Verification of Collaboration-Based Software Designs Kathi Fisler Shriram Krishnamurthi

Source URL: web.cs.wpi.edu

• Keyword cipher
• Toledo Nanochess
• Index of Abkhazia-related articles

Specifying and Reasoning about Dynamic Access-Control Policies Daniel J. Dougherty,1 Kathi Fisler,1 and Shriram Krishnamurthi 2 1 Department of Computer Science, WPI

Source URL: web.cs.wpi.edu

• Datalog
• Conjunctive query

Aluminum: Principled Scenario Exploration through Minimality Tim Nelson1 , Salman Saghafi1 , Daniel J. Dougherty1 , Kathi Fisler1 , Shriram Krishnamurthi2 1 Department of Computer Science

Source URL: web.cs.wpi.edu

• Logic programming
• Alloy Analyzer
• Massachusetts Institute of Technology
• Relational algebra
• Circumscription
• Relational model
• Alloy
• Scenario
• Tuple

Towards Diagrammability and Efficiency in Event Sequence Languages Kathi Fisler Department of Computer Science WPI (Worcester, MA, USA)

Source URL: web.cs.wpi.edu

• Finite automata
• Theoretical computer science
• Formal languages
• Infographics
• Linear temporal logic
• Temporal logic
• Finite-state machine
• Diagram
• Sequence
• Formal verification
• Automata theory
• Bchi automaton

Modular Verification of Feature-Oriented Software Models Kathi Fisler Department of Computer Science Worcester Polytechnic Institute Worcester, MA, 01609 USA

Source URL: web.cs.wpi.edu

• Formal methods
• Logic in computer science
• Theoretical computer science
• Hardware verification languages
• Aspect-oriented software development
• Formal verification
• Model checking
• Abstraction
• E
• Communications protocol
• Modularity
• Construction and Analysis of Distributed Processes

iCLIP Predicts the Dual Splicing Effects of TIA-RNA Interactions Zhen Wang1., Melis Kayikci1., Michael Briese1, Kathi Zarnack2, Nicholas M. Luscombe2,3, Gregor Rot4, Blazˇ Zupan4, Tomazˇ Curk4, Jernej Ule1* 1 Medical R

Source URL: www.ulelab.info

• Biology
• Genetics
• Gene expression
• Spliceosome
• RNA splicing
• Molecular biology
• RNA
• Alternative splicing
• Minigene
• CLIP
• RNA-binding protein
• Exon