InfoQ Homepage Programming Content on InfoQ
-
Scrub & Spin: Stealth Use of Formal Methods in Software Development
Gerard Holzmann discusses Spin, a design analyzer tool, and Scrub, a code review tool, used by Jet Propulsion Laboratory to analyze and fix the software used for solar system exploration missions.
/presentations/Scrub-Spin/en/smallimage/holzmann.JPG)
-
Porting Desktop Applications to the Browser
Michael Carter explains how to build web applications using non-HTTP desktop protocols with Orbited, a scalable Comet server, and js.io, a JavaScript library for real-time web applications.
/presentations/Porting-Applications-to-Browser/en/smallimage/michael1.JPG)
-
Single Piece Flow in Kanban: A How-To
James Shore and Arlo Belshee present an approach to Kanban using simultaneous phases by introducing work cells based on two queues: what you are doing and what you are going to do.
/presentations/Single-Piece-Flow-Kanban/en/smallimage/Kanban1.jpg)
-
Next Generation of Business-Driven SOA: The Convergence of Performance-Driven Business and Service-Orientation
John DesJardins believes that the new SOA will measure their businesses alignment with IT in order to asses the impact of services or of changes or new initiatives, up-time, response time, etc.
/presentations/Next-Generation-Business-Driven-SOA/en/smallimage/DesJardin.png)
-
Message Passing Concurrency in Erlang
Joe Armstrong explains through Erlang examples that message passage concurrency represents the foundation of scalable fault-tolerant systems.
/presentations/Message-Passing-Concurrency/en/smallimage/JoeArmstrong.png)
-
Scale at Facebook
Beside presenting the overall Facebook architecture and scaling solutions used, Aditya Agarwal talks about the iterative process of constantly improving the site, making sure to avoid over-engineering
/presentations/Scale-at-Facebook/en/smallimage/Aditya.png)
-
Absorbing Scala in the Java Ecosystem
Eishay Smith presents the main differences between Scala and Java, explaining how the Java developers can start integrate Scala code into their development, building, testing and runtime environments.
/presentations/Absorbing-Scala-in-the-Java-Ecosystem/en/smallimage/Smith.JPG)
-
Bad Code, Craftsmanship, Engineering, and Certification
Robert C. Martin on writing good code starting with a bad code example, then addressing many topics like: Boy Scout rule, functions, arguments, craftsmanship, TDD, engineering, certification, etc.
/presentations/Robert-C.-Martin-Bad-Code/en/smallimage/bob.JPG)
-
Facebook: Moving Fast at Scale
Robert Johnson talks about: the need to prepare for horizontal scalability, very short release cycles associated with a streamlined deploying process, and making the entire process faster every day.
/presentations/Facebook-Moving-Fast-at-Scale/en/smallimage/Facebook.png)
-
Testing C# and ASP.Net Applications Using Ruby
Ben Hall shows how Ruby testing tools can help with .NET and ASP.NET development and takes a look at RSpec, Webrat, Cucumber, Selenium and others. Also: a peek at using IronRuby for testing .NET apps.
/presentations/hall-testing-with-ruby/en/smallimage/Ben Hall.jpg)
-
The State of the Art on .NET
Amanda Laucher and Josh Graham present some of the most important elements of the .NET ecosystem: F#, M, Boo, NUnit, RhinoMocks, Moq, NHibernate, Castle, Windsor, NVelocity, Guerilla WCF, Azure, MEF.
/presentations/The-State-of-the-Art-on-.NET/en/smallimage/Amanda&Josh.jpg)
-
Intentional Software at Work
Magnus Christerson shows how to develop an electronics domain language - its key concepts, how they are defined, the semantic model – and a building access permit example from concept to code.
/presentations/Intentional-Software-at-Work/en/smallimage/Magnus.jpg)