Developing Provably-Correct Software Using Formal Methods by Ben Linders Posted on May 22, 2015
InterState: A Language and Environment for Expressing Interface Behavior by Sergio De Simone Posted on Jul 28, 2014 3
Jolt Award 2011 for Design, Planning, and Architecture Tools by Michael Stal Posted on Nov 02, 2011
Evolve: Using Components to Improve on Dependency Injection by Srini Penchikala Posted on Nov 22, 2010
Article: RGen: Ruby Modeling and Code Generation Framework by Werner Schuster Posted on Mar 03, 2009 2
Presentation: Managing Variability in Product-Lines by Niclas Nilsson Posted on Jul 18, 2008
Are Business Analysts Ready to Become Programmers? by James Vastbinder Posted on May 23, 2008 3
Interview: Markus Voelter about Software Architecture Documentation by Abel Avram Posted on May 05, 2008 5
Article: Process Component Models: The Next Generation In Workflow? by Floyd Marinescu Posted on Feb 11, 2008 11
Prefer Broad Design Skills over Platform Knowledge by Sadek Drobi Posted on Jan 24, 2008 4
Wireframes: A Great Way to Start Development Projects
Aug 07, 2012
In this article, Andreas Wulf introduces wireframing as a simple and effective way to kickstart your development projects. Wireframes allow you to present your ideas in a tangible form so that can be shared and debated (without writing any code). By leaving out graphic design details, wireframes are not only quick and easy to create and change, they help us stay focused on the “big picture”.
RGen: Ruby Modelling and Code Generation Framework
Feb 20, 2009
This article introduces RGen, a modelling framework inspired by openArchitectureWare. RGen uses internal DSLs for defining metamodels and offers a full modelling stack for Ruby.
Markus Völter on DSLs, Modeling, MPS, Mbeddr
Jun 07, 2012
Markus Völter explains the concepts of the MPS Language Workbench, how it enabled the mbeddr project, approaches to DSLs and how to combine them, programs vs models, formal verification, and more.
Markus Voelter about Software Architecture Documentation
May 05, 2008
During OOPSLA 2007, InfoQ interviewed Markus Voelter asking him about creating software architecture documentation. Many people mention UML when they are asked about software design documentation, but Markus has a different take on that. He thinks that we should be using models which can be processed with tools which can validate or invalidate them.