Presented invited paper at PEPM 2011

DiaSuite: A Paradigm-Oriented Software Development Approach

(Presented at PEPM’11, January 24–25, 2011, Austin, Texas, USA.)

Abstract:

We present a software development approach, whose underlying paradigm goes beyond programming. This approach offers a language-based design framework, high-level programming support, a range of verifications, and an abstraction layer over low-level technologies. Our approach is instantiated with the Sense-Compute-Control paradigm, and uniformly integrated into a suite of declarative languages and tools.