DiaSuite: a paradigm-oriented software development approach

Authors:
Charles Consel
Affiliations:
University of Bordeaux / INRIA, Bordeaux, France
Venue:
Proceedings of the 20th ACM SIGPLAN workshop on Partial evaluation and program manipulation
Year:
2011

Citing 8
Cited 0

Tutorial notes on partial evaluation

POPL '93 Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Correct Architecture Refinement

IEEE Transactions on Software Engineering - Special issue on software architecture
Specialization tools and techniques for systematic optimization of system software

ACM Transactions on Computer Systems (TOCS)
Automatic Specialization of Protocol Stacks

LCN '04 Proceedings of the 29th Annual IEEE International Conference on Local Computer Networks
Software Architecture: Foundations, Theory, and Practice

Software Architecture: Foundations, Theory, and Practice
A generative programming approach to developing pervasive computing systems

GPCE '09 Proceedings of the eighth international conference on Generative programming and component engineering
A domain-specific approach to architecturing error handling in pervasive computing

Proceedings of the ACM international conference on Object oriented programming systems languages and applications
Leveraging software architectures to guide and verify the development of sense/compute/control applications

Proceedings of the 33rd International Conference on Software Engineering

Quantified Score

Hi-index	0.00

Visualization

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.