InfoQ Homepage SPLASH Content on InfoQ
-
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.
-
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.
-
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
-
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.
-
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.
-
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.
-
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.
-
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.
-
Erlang, The Road Movie
Kresten Krab Thorup discusses cloud, multi-core, integration, high availability, and imperfect software starting from discoveries made while learning Erlang.
-
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.
-
Classifiers: A Simple Framework for Accelerating Application Development
David Raal discusses Classifiers, a framework for dealing with classifiers and schemes, covering: what classifiers are, usage, design basics, integrating them into applications, pitfalls and issues.
-
The JavaScript World Domination Plan at 16 Years
Brendan Eich recaps the major milestones and controversies in JavaScript’s history, the performance improvements, the current work on the next version of JavaScript, ending with some demoes.