Source URL: www.pa.icar.cnr.it

• Software engineering
• Software requirements
• Systems engineering
• Software design
• Metamodeling
• Scientific modeling
• Object Process Methodology
• Requirement
• Non-functional requirement
• TRAK
• Model-driven architecture

SOCIAL HOUSING FINANCE CORPORATION SHFC COMMUNITY DRIVEN SHELTER PROGRAM PERFORMANCE 2015 Loans Released Number of

Source URL: www.shfcph.com

Basic Control Patterns Pattern 1: Sequence Execute activities in sequence. Sequence is the most basic workflow pattern. It is required when there is a dependency between two or more tasks so that one task cannot be start

Source URL: www.workflowpatterns.com

• Workflow technology
• Software
• Software design patterns
• Process management
• Business
• Economy
• Workflow pattern
• Enterprise modelling
• Workflow software
• Event-driven process chain
• YAWL

Call for papers and extended abstracts HILT 2016 Workshop on Model-Based Development and Contract-Based Programming As part of ESWEEK, October 6 & 7, 2016, Pittsburgh, PA Sponsored by ACM SIGAda

Source URL: www.sigada.org

• Software engineering
• Computing
• Computer programming
• Systems engineering
• Ada
• Model-driven engineering
• ACL2
• SPARK

DISSERTATION Vector Space-driven Service Discovery ausgef¨ uhrt zum Zwecke der Erlangung des akademischen Grades eines Doktors der technischen Wissenschaften unter der Leitung von

Source URL: www.infosys.tuwien.ac.at

• States of Germany
• Geography of Germany
• Rhn Mountains
• Mangfall
• Miesbach
• Rosenheim
• Trischen

Behavior-Driven Development in Haskell a tutorial introduction Simon Hengel Wimdu GmbH

Source URL: www.bioinf.uni-leipzig.de

• Software engineering
• Computer programming
• Software development
• Functional languages
• Haskell
• Functional programming
• Behavior-driven development
• Monad
• FIBS
• Fib
• Subroutine
• Standard Performance Evaluation Corporation

Implementing complex graphical editors with model-driven technologies ● ● ● ●

Source URL: eclipse-china.github.io

• Draft:Imagine Optic
• Draft:

Preprocessing Techniques for QBFs Enrico Giunchiglia1 , Paolo Marin1 , and Massimo Narizzano1 DIST - Universit`a di Genova Viale Causa 13, 16145 Genova, Italy Abstract

Source URL: ceur-ws.org

• Mathematics
• Mathematical logic
• Theoretical computer science
• Automated theorem proving
• Boolean algebra
• Logic programming
• Resolution
• True quantified Boolean formula
• Clause
• Conflict-Driven Clause Learning
• DPLL algorithm

D = Destination Driven P = Price Driven S = Schedule Driven known imput before res

Source URL: gl-ue.com

• Travel technology
• Airline tickets
• Ink
• Passenger name record
• Business
• Internet booking engine

Parenting for Prevention Student Assistance Services Corp., 660 White Plains Road, Tarrytown, New York, 10591, April, 2013 Data Driven Decisions There have been numerous advantages to having a number of the federal Drug

Source URL: www.sascorp.org

• Substance abuse
• Health
• Substance dependence
• Addiction
• Drug culture
• Psychiatric diagnosis
• Abuse
• Drinking culture
• Substance abuse prevention
• Prevention First
• Alcohol consumption by youth in the United States
• Alcohol education