Int. J. of Intelligent Engineering Informatics, Vol. x, No. x, 1–26 Numerical Program Optimization by Automatic Improvement of the Accuracy of Computations Nasrine Damouche* and Matthieu Martel Universit´e de Perpign

Source URL: perso.univ-perp.fr

• Functions and mappings
• Mathematical analysis
• Mathematics
• Computer arithmetic
• Limit of a function
• Abstract interpretation
• Unit in the last place
• Exponentiation
• Integral
• Lambda calculus
• Quantifier
• Combinatory logic

Georgios Fainekos School of Computing, Informatics and Decision Systems Engineering, Arizona State University. Office address: 660 W 6th St, STE, Tempe, AZweb: http://www.public.asu.edu/~gfaineko/, email: f

Source URL: www.public.asu.edu

Sam Tobin-Hochstadt School of Informatics, Computing, & Engineering Indiana University 500 N. Woodlawn Ave. Bloomington, IN 47405

Source URL: homes.sice.indiana.edu

• Software engineering
• Computing
• Computer programming
• Functional languages
• Scheme
• Matthias Felleisen
• Programming paradigms
• International Conference on Functional Programming
• Racket
• Matthew Flatt
• SIGPLAN
• Robert Bruce Findler

Jens Knoop, Uwe Zdun (Hrsg.): Software Engineering 2016, Lecture Notes in Informatics (LNI), Gesellschaft für Informatik, BonnDevelopment of Flexible Software Process Lines with Variability Operations: A Longi

Source URL: subs.emis.de

Jens Knoop, Uwe Zdun (Hrsg.): Software Engineering 2016, Lecture Notes in Informatics (LNI), Gesellschaft f¨ur Informatik, BonnEmpirical Software Metrics for Benchmarking of Verification Tools Yulia Demyanova T

Source URL: subs.emis.de

Jens Knoop, Uwe Zdun (Hrsg.): Software Engineering 2016, Lecture Notes in Informatics (LNI), Gesellschaft f¨ur Informatik, BonnJust test what you cannot verify!1 Mike Czech2 Marie-Christine Jakobs3 Heike Wehrhe

Source URL: subs.emis.de

Mobile Health and Personal Informatics in Mental Health and Migraine Jessica Schroeder Computer Science & Engineering DUB Group, University of Washington

Source URL: mentalhealth.media.mit.edu

Jens Knoop, Uwe Zdun (Hrsg.): Software Engineering 2016, Lecture Notes in Informatics (LNI), Gesellschaft f¨ur Informatik, BonnSupporting Process Model Validation through Natural Language Generation Henrik Leop

Source URL: subs.emis.de

Jens Knoop, Uwe Zdun (Hrsg.): Software Engineering 2016, Lecture Notes in Informatics (LNI), Gesellschaft für Informatik, BonnModel-based Security Verification for Evolving Systems Jan Jürjens 1,2, Sven Wenzel

Source URL: subs.emis.de

Jens Knoop, Uwe Zdun (Hrsg.): Software Engineering 2016, Lecture Notes in Informatics (LNI), Gesellschaft f¨ur Informatik, BonnSupporting Requirements Update during Software Evolution Eya Ben Charrada1 Anne Koz

Source URL: subs.emis.de