BT
Older Newer rss
19:34

Cognitive Architectures: A Way Forward for the Psychology of Programming

Posted by Michael Hansen  on  Feb 11, 2013

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.

19:37

Liberating the Programmer with Prorogued Programming

Posted by Mehrdad Afshari  on  Feb 05, 2013 2

Mehrdad Afshari introduces prorogued programming, a new programming paradigm based on 3 principles: proroguing concerns, hybrid computation and executable refinement.

01:07:35

Internet Voting: An Idea whose Time has Not Come

Posted by Barbara Simons  on  Feb 01, 2013 1

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

Posted by Daniel Rahon, Sébastien Schneider, Raphael Gayno, Jean Marc Gratien, Goulwen Le Fur  on  Jan 23, 2013

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

Posted by Godmar Back  on  Jan 16, 2013

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

Posted by K. Rustan M. Leino  on  Jan 11, 2013

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

Posted by Karthikeyan Ponnalagu  on  Jan 04, 2013

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

Posted by Ruth Lennon  on  Dec 29, 2012

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

Posted by Jonathan Shapiro, Dean Tribble, Marc Steigler, David Wagner and Mark S. Miller  on  Jun 19, 2012

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

Posted by Kresten Krab Thorup  on  Jun 14, 2012

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

Posted by Roberto Salama  on  Jun 07, 2012

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

Posted by David Raal  on  May 29, 2012 1

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.

General Feedback
Bugs
Advertising
Editorial
Marketing
InfoQ.com and all content copyright © 2006-2015 C4Media Inc. InfoQ.com hosted at Contegix, the best ISP we've ever worked with.
Privacy policy
BT