Design-Driven Software Development

Simple item page
dc.contributor.authorConsel, Charlesen
dc.contributor.departmentComputer Scienceen
dc.date.accessioned2013-04-25T18:04:54Zen
dc.date.available2013-04-25T18:04:54Zen
dc.date.issued2013-04-25en
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
dc.format.mimetypevideo/x-m4ven
dc.format.mimetypevideo/webmen
dc.identifier.urihttp://hdl.handle.net/10919/19348en
dc.language.isoenen
dc.relation.ispartofseriesCS Seminar;en
dc.rightsCreative Commons CC0 1.0 Universal Public Domain Dedicationen
dc.rights.urihttp://creativecommons.org/publicdomain/zero/1.0/en
dc.subjectDomain-specific languagesen
dc.subjectDevelopment life-cycleen
dc.subjectVerificationen
dc.subjectCode generationen
dc.titleDesign-Driven Software Developmenten
dc.typeVideoen
dc.type.dcmitypeImageen
dc.type.dcmitypeMovingImageen
Files
Original bundle
Now showing 1 - 3 of 3
Thumbnail Image
Name:
Consel_22_Feb.m4v
Size:
696.75 MB
Format:
MP4 Container format for video files
Description:
Download
Name:
Consel_22_Feb.webm
Size:
153.77 MB
Format:
The webm video container format
Description:
Download
Name:
Consel_22_Feb.mp4-en.vtt
Size:
97.08 KB
Format:
Closed caption or subtitle file for HTML5 video
Description:
Download
License bundle
Now showing 1 - 1 of 1
Name:
license.txt
Size:
1.5 KB
Format:
Item-specific license agreed upon to submission
Description:
Download
Collections
Computer Science Seminar Series