DiaSuite: a paradigm-oriented software development approach

Keywords (6)


	BibTex \| RIS \| RefWorks Download

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.

Conference: Partial Evaluation and Semantic-Based Program Manipulation - PEPM , pp. 77-78, 2011

DOI: 10.1145/1929501.1929515

Cumulative Annual

View Publication

( portal.acm.org )

( www.informatik.uni-trier.de )

The Abstraction and Instantiation of String-Matching Programs (Citations: 17)

Torben Amtoft, Charles Consel, Olivier Danvy, Karoline Malmkjær

Conference: Birthday ... , pp. 332-357, 2002
Leveraging software architectures to guide and verify the development of sense/compute/control applications (Citations: 2)

Damien Cassou, Emilie Balland, Charles Consel, Julia L. Lawall

Conference: International Conference on Software Engineering - ICSE , pp. 431-440, 2011
A generative programming approach to developing pervasive computing systems (Citations: 11)

Damien Cassou, Benjamin Bertran, Nicolas Loriant, Charles Consel

Conference: Generative Programming and Component Engineering , pp. 137-146, 2009
Tutorial notes on partial evaluation (Citations: 268)

Charles Consel, Olivier Danvy

Conference: ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL , pp. 493-501, 1993
A Step-Wise Approach for Integrating QoS throughout Software Development (Citations: 3)

Stéphanie Gatti, Emilie Balland, Charles Consel

Conference: Fundamental Approaches to Software Engineering - FASE , pp. 217-231, 2011


	The following links allow you to view full publications. These links are maintained by other sources not affiliated with Microsoft Academic Search.

Keywords (6)

References (9)

The Abstraction and Instantiation of String-Matching Programs (Citations: 17)

Leveraging software architectures to guide and verify the development of sense/compute/control applications (Citations: 2)

A generative programming approach to developing pervasive computing systems (Citations: 11)

Tutorial notes on partial evaluation (Citations: 268)

A Step-Wise Approach for Integrating QoS throughout Software Development (Citations: 3)