InfoQ Homepage SPLASH Content on InfoQ
-
Socio-PLT: Principles for Programming Language Adoption
Leo A. Meyerovich explains how social adoption patterns can help language designers make new languages that are inherently attractive and desirable by developers.
/presentations/Socio-PLT/en/mediumimage/Leobig.jpg)
-
Cognitive Architectures: A Way Forward for the Psychology of Programming
Michael Hansen presents the ACT-R cognitive architecture, a simulation framework for psychological models, showing how it could be used to measure the impact of various programming paradigms.
/presentations/Cognitive-Architectures/en/mediumimage/Michaelbig.jpg)
-
Liberating the Programmer with Prorogued Programming
Mehrdad Afshari introduces prorogued programming, a new programming paradigm based on 3 principles: proroguing concerns, hybrid computation and executable refinement.
/presentations/Prorogued-Programming/en/mediumimage/Mebig.jpg)
-
Internet Voting: An Idea whose Time has Not Come
Barbara Simons examines some of the threats of Internet voting in the hope of encouraging the technical community to oppose Internet voting unless and until these threats can be eliminated.
/presentations/Internet-Voting/en/mediumimage/BarbaraBIG.jpg)
-
Migration to Model Driven Engineering in the Development Process of Distributed Scientific Application Software
Daniel Rahon, Sébastien Schneider, Raphael Gayno, Jean Marc Gratien, Goulwen Le Fur present the process used in the development of distributed scientific applications at IFP Energies Nouvelles, France
/presentations/Process-Distributed-Scientific/en/smallimage/Jean.JPG)
-
The CloudBrowser Web Application Framework
Godmar Back introduces CloudBrowser, a server centric web application framework where applications run in virtual browsers on the server while the rendering takes place on the client.
/presentations/CloudBrowser/en/smallimage/Back.JPG)
-
Staged Program Development
K. Rustan M. Leino advocates developing in stages by using languages that offer both design level abstractions – types, contracts, higher-level constructs, ghost constructs- and implementation ones.
/presentations/Staged-Program-Development/en/smallimage/Leino.JPG)
-
Automated Trend line Generation for Accurate Software Effort Estimation
Karthikeyan Ponnalagu presents Estimation Key Map, an automated technique for software project estimation based on a parametric model using historical data.
/presentations/Automated-Software-Estimation/en/smallimage/Kar.JPG)
-
Bring Your Own Device (BYOD) with Cloud 4 Education
Ruth Lennon discusses the challenges, the benefits and the lessons learned transitioning from a traditional education form to a BYOD in the cloud-based one.
/presentations/BYOD-Cloud-Education/en/smallimage/Ruth.JPG)
-
Language-based Security as Extreme Modularity
Jonathan Shapiro, Dean Tribble, Marc Steigler, David Wagner and Mark S. Miller (moderator) present their view on achieving security while using modularity for building large systems.
/presentations/Language-based-Security-as-Extreme-Modularity/en/smallimage/Panel.jpg)
-
Erlang, The Road Movie
Kresten Krab Thorup discusses cloud, multi-core, integration, high availability, and imperfect software starting from discoveries made while learning Erlang.
/presentations/Erlang-The-Road-Movie/en/smallimage/Krab.JPG)
-
A Regression Testing Framework for Financial Time-Series Databases
Roberto Salama presents a regression testing framework built at Morgan Stanley with FitNesse, Scala, and KDB/Q, and used to run over 10,000 regression tests.
/presentations/A-Regression-Testing-Framework-for-Financial-Time-Series-Databases/en/smallimage/Roberto.JPG)