Show simple item record

dc.contributor.authorConsel, Charlesen_US
dc.date.accessioned2013-04-25T18:04:54Z
dc.date.available2013-04-25T18:04:54Z
dc.date.issued2013-04-25
dc.identifier.urihttp://hdl.handle.net/10919/19348
dc.description.abstractRaising the level of abstraction beyond programming is a very active research topic involving a range of areas, including software engineering, programming languages and formal verification. The challenge is to allow design dimensions of a software system, both functional and non-functional, to be expressed in a high-level way, instead of being encoded with a programming language. Such design dimensions can then be leveraged to verify conformance properties and to generate programming support. Our research on this topic is to take up this challenge with an approach inspired by programming languages, introducing a full-fledged language for designing software systems and processing design descriptions both for verification and code generation purposes. Our approach is also inspired by domain-specific languages in that it defines a conceptual framework to guide software development. Lastly, to make our approach practical to software developers, we introduce a methodology and a suite of tools covering the development life-cycle. This talk gives an overview of our approach and presents our main research results, illustrated by concrete examples. BIO: Charles Consel is a professor of Computer Science at University of Bordeaux. He served on the faculty of Yale University, Oregon Graduate Institute and the University of Rennes. He leads the Phoenix research group at INRIA. He has been designing and implementing Domain-Specific Languages (DSLs) for a variety of areas including device drivers, programmable routers, stream processing, and telephony services. These DSLs have been validated with real-sized applications and showed measureable benefits compared to applications written in general-purpose languages. His research interests include programming languages, software engineering, distributed systems and operating systems. Consel's Website: http://phoenix.inria.fr/charles-conselen_US
dc.format.mimetypevideo/x-m4ven_US
dc.format.mimetypevideo/webmen_US
dc.relation.ispartofseriesCS Seminar;
dc.rightsCC0 1.0 Universal*
dc.rights.urihttp://creativecommons.org/publicdomain/zero/1.0/*
dc.subjectDomain-specific languagesen_US
dc.subjectDevelopment life-cycleen_US
dc.subjectVerificationen_US
dc.subjectCode generationen_US
dc.titleDesign-Driven Software Developmenten_US
dc.typeVideoen_US
dc.type.dcmitypeImageen_US
dc.type.dcmitypeMovingImageen_US


Files in this item

Thumbnail
Thumbnail
Thumbnail
Thumbnail

This item appears in the following Collection(s)

Show simple item record

CC0 1.0 Universal
License: CC0 1.0 Universal