<a href="https://program-transformation.org/GPCE14">
<img title="Generative Programming and Component Engineering 2014" src="https://program-transformation.org/pub/GPCE13/Banner/GPCE-2013.png" alt="GPCE2013" width="180" height="266"/>
</a>
|
|
|
Programming Cloud-connected Mobile DevicesNikolai Tillmann (Microsoft Research)We are experiencing a technology shift: Powerful and easy-to-use mobile devices like smartphones and tablets are becoming more prevalent than traditional PCs and laptops. Mobile devices are going to be the first and, in less developed countries, possibly the only computing devices which virtually all people will own and carry with them at all times. Such devices are connected to the cloud most of the time, providing a local view on distributed data. Are the programming languages, environments and paradigms that have served us well for decades the best possible fit for this new world of cloud-connected devices?
In this talk, I will present Nikolai Tillmann is a Principal Development Lead at Microsoft, Redmond. His main areas of research are program authoring on mobile devices, program analysis, testing, optimization, and verification. At Microsoft Research, he started TouchDevelop, a cross-platform development environment which enables end-users to write programs for mobile devices on mobile devices; try it for yourself at www.touchdevelop.com. He also leads the Pex project, a framework for runtime verification and automatic test case generation for .NET applications based on parameterized unit testing and dynamic symbolic execution. Try out Pex on the web at www.pexforfun.com, or play a coding game based on the Pex engine at www.codehunt.com. Nikolai has a Dipl. Inf. in Computer Science from TU Berlin, Germany. |
From Language Engineering to Viewpoint EngineeringColin Atkinson (University of Mannheim)As software systems increase in size and complexity, and are expected to cope with ever more quantities of information from ever more sources, there is an urgent and growing need for a more view-oriented approach to software engineering. Views allow stakeholders to see exactly the right information, at exactly the right time, in a way that best matches their capabilities and goals. However, this is only possible if the information is represented in the optimal languages (i.e. domain- and purpose-specific), with the necessary context information and the optimal manipulation/editing features - that is, if information is viewed from the optimal viewpoints. Rather than merely engineering languages, therefore, software engineers in the future will need to engineer viewpoints, which augment language definitions (e.g. meta-models, syntax ...) with context information (e.g. elision, location, perspective ...) and user-interaction information (e.g. editing pallets, view manipulation services ...). In this talk Colin Atkinson will outline the issues faced in supporting the flexible and efficient engineering of viewpoints and will present some key foundations of a fundamentally view-oriented approach to software engineering. Colin Atkinson has been the leader of the Software Engineering Group at the University of Mannheim since April 2003. Before that he has held positions at the University of Kaiserslautern, the Fraunhofer Institute for Experimental Software Engineering and the University of Houston - Clear Lake. His research interests are focused on the use of model-driven and component based approaches in the development of dependable and adaptable computing systems. He was a contributor to the original UML development process and is one of the original developers of the deep (multi-level) approach to conceptual modelling. He received his Ph.D. and M.Sc. in computer science from Imperial College, London, in 1990 and 1985 respectively, and his B.Sc. in Mathematical Physics from the University of Nottingham 1983. |
Poster for display
(DIN A3)
(11.5in x 17.5in)
|
Flyer for hand out
(DIN A4)
|
|
3 spaces * Main.yourWikiName - yourEmailAddress
web="all"
search: (Set to on
for hidden webs)
6 spaces * Set NAME = value
%WEBBGCOLOR%
, it gets expanded to #D0D0D0
.
WEBCOPYRIGHT
before WIKIWEBMASTER
since %WEBCOPYRIGHT%
uses the %WIKIWEBMASTER%
variable.
%VARIABLES%
.
Month: | Topic views: | Topic saves: | File uploads: | Most popular topic views: | Top contributors for topic save and uploads: |
---|---|---|---|---|---|
Feb 2008 | 2643 | 0 | 0 | 512 WebStatistics 302 WebHome 103 WebPreferences 102 WebNews 102 PEPMPublicity? 102 PEPMProgram? 75 ProgramCommittee? 70 CallForPapers 63 PaperSubmission? 63 ImportantDates 63 PreviousMeetings? | |
Jan 2008 | 9554 | 0 | 0 | 1433 WebHome 786 WebStatistics 660 PEPMProgram? 433 ProgramCommittee? 361 PEPMPublicity? 291 WebNews 283 PreviousMeetings? 283 RegistrationAndAccomodation? 265 PaperSubmission? 265 ImportantDates 260 InvitedTalks? | |
Dec 2007 | 7197 | 33 | 0 | 1314 WebHome 573 PEPMProgram? 329 WebStatistics 304 ProgramCommittee? 267 WebNews 254 PEPMPublicity? 233 AcceptedPapers 213 PaperSubmission? 204 InvitedTalks? 201 RegistrationAndAccomodation? 195 PreviousMeetings? | 32 RobertGlueck 1 OegeDeMoor |
Nov 2007 | 8164 | 17 | 0 | 1673 WebHome 430 WebStatistics 374 AcceptedPapers 344 ImportantDates 335 ProgramCommittee? 300 WebNews 275 PEPMProgram? 267 RegistrationAndAccomodation? 266 PaperSubmission? 255 InvitedTalks? 247 PEPMPublicity? | 17 RobertGlueck |
Sep 2007 | 7368 | 3 | 0 | 1582 WebHome 443 CallForPapers 404 ImportantDates 375 PaperSubmission? 358 ProgramCommittee? 332 WebStatistics 254 PEPMPublicity? 236 PreviousMeetings? 228 ResearchPaperAdvice? 200 InvitedTalks? 198 RegistrationAndAccomodation? | 3 RobertGlueck |
Jul 2007 | 3115 | 144 | 0 | 405 WebHome 216 ProgramCommittee? 159 PreviousMeetings? 154 CallForPapers 150 WebStatistics 132 ImportantDates 117 PEPMNews? 112 WebIndex 99 PEPMPublicity? 96 ConferenceOrganization 80 ResearchPaperAdvice? | 144 RobertGlueck |
Jun 2007 | 5518 | 0 | 0 | 673 WebHome 316 WebStatistics 235 PEPMProgram? 172 PreviousMeetings? 154 WebNews 153 WorkshopVenue? 146 ProgramCommittee? 142 PaperSubmission? 134 PEPMPublicity? 131 AffiliatedMeetings? 130 AcceptedPapers | |
May 2007 | 4489 | 0 | 0 | 530 WebHome 524 WebStatistics 202 PEPMProgram? 126 PEPMPublicity? 116 WebNews 115 PreviousMeetings? 113 ProgramCommittee? 110 PaperSubmission? 107 RegistrationAndAccomodation? 98 AffiliatedMeetings? 98 WorkshopVenue? | |
Apr 2007 | 4460 | 0 | 0 | 606 WebHome 358 WebStatistics 172 PEPMProgram? 135 ProgramCommittee? 121 WebNews 121 PEPMPublicity? 121 ToolPaperAdvice? 119 PreviousMeetings? 115 CallForPapers 109 PaperSubmission? 105 WebChanges | |
Mar 2007 | 4825 | 0 | 0 | 593 WebHome 454 WebStatistics 202 PEPMProgram? 152 ProgramCommittee? 128 WebNews 118 PublicityList06? 116 PaperSubmission? 110 AffiliatedMeetings? 109 ResearchPaperAdvice? 108 WebChanges 103 PreviousMeetings? | |
Feb 2007 | 4464 | 0 | 0 | 661 WebHome 344 WebStatistics 261 PEPMProgram? 158 WebNews 158 ProgramCommittee? 128 PaperSubmission? 123 AffiliatedMeetings? 119 ResearchPaperAdvice? 118 CallForPapers 116 PEPMPublicity? 108 ToolPaperAdvice? | |
Jan 2007 | 5169 | 7 | 0 | 1040 WebHome 612 WebStatistics 462 PEPMProgram? 188 ProgramCommittee? 148 WebNews 133 PEPMPublicity? 123 AffiliatedMeetings? 114 CallForPapers 113 AcceptedPapers 112 PaperSubmission? 111 ResearchPaperAdvice? | 7 EelcoVisser |
Dec 2006 | 4452 | 17 | 0 | 1122 WebHome 398 PEPMProgram? 164 ProgramCommittee? 140 AcceptedPapers 134 RegistrationAndAccomodation? 126 ResearchPaperAdvice? 118 WebStatistics 115 ImportantDates 114 CallForPapers 101 WebNews 98 ToolPaperAdvice? | 17 EelcoVisser |
Nov 2006 | 3436 | 5 | 0 | 782 WebHome 223 WebStatistics 154 ProgramCommittee? 141 ImportantDates 136 ResearchPaperAdvice? 125 CallForPapers 106 ToolPaperAdvice? 97 PEPMProgram? 88 AffiliatedMeetings? 88 InvitedTalks? 83 PEPMPublicity? | 5 EelcoVisser |
Oct 2006 | 3880 | 8 | 0 | 1065 WebHome 262 ImportantDates 252 CallForPapers 201 PaperSubmission? 162 ProgramCommittee? 134 ResearchPaperAdvice? 121 WebStatistics 111 PEPMPublicity? 101 PreviousMeetings? 91 ToolPaperAdvice? 91 AffiliatedMeetings? | 8 EelcoVisser |
Sep 2006 | 2926 | 5 | 0 | 650 WebHome 176 CallForPapers 146 ImportantDates 136 WebStatistics 116 ProgramCommittee? 95 ResearchPaperAdvice? 82 PEPMPublicity? 76 InvitedTalks? 72 PaperSubmission? 69 PreviousMeetings? 67 ToolPaperAdvice? | 5 EelcoVisser |
Aug 2006 | 4938 | 0 | 0 | 786 WebHome 268 CallForPapers 213 WebStatistics 195 ProgramCommittee? 176 PaperSubmission? 171 WebChanges 155 ImportantDates 151 PEPMPublicity? 148 PreviousMeetings? 131 WebNotify 124 PEPMProgram? | |
Jul 2006 | 7014 | 0 | 0 | 868 WebHome 350 ProgramCommittee? 337 WebStatistics 334 CallForPapers 235 PaperSubmission? 213 PreviousMeetings? 206 PEPMPublicity? 194 ImportantDates 189 WebChanges 180 WebNotify 175 RegistrationAndAccomodation? | |
May 2006 | 2620 | 80 | 0 | 427 WebHome 138 ProgramCommittee? 138 CallForPapers 103 PreviousMeetings? 103 ImportantDates 78 WorkshopVenue? 77 ResearchPaperAdvice? 74 WebChanges 72 WebLeftBar 69 WebNotify 69 AffiliatedMeetings? | 80 EelcoVisser |
Apr 2006 | 15023 | 8 | 0 | 3330 WebHome 1250 CallForPapers 781 WebStatistics 571 ImportantDates 504 ConferenceOrganization 486 CallForTechTalks 468 CallForDemonstrations? 443 CallForWorkshops? 414 WebNews 397 ElectronicSubmission? 393 WebChanges | 8 ToddVeldhuizen |
Mar 2006 | 10528 | 1 | 0 | 2345 WebHome 871 CallForPapers 667 WebStatistics 376 ImportantDates 343 CallForTechTalks 325 CallForWorkshops? 325 ConferenceOrganization 310 WebNews 263 CallForDemonstrations? 255 WebChanges 244 WebPreferences | 1 EelcoVisser |
Feb 2006 | 6534 | 0 | 0 | 1541 WebHome 550 CallForPapers 397 WebStatistics 258 ImportantDates 235 CallForTechTalks 226 ConferenceOrganization 215 CallForDemonstrations? 212 CallForWorkshops? 200 WebNews 139 WebLeftBar 129 WebPreferences | |
Dec 2005 | 5873 | 38 | 0 | 1603 WebHome 535 WebStatistics 292 WebNews 246 CallForPapers 230 WebLeftBar 204 WebPreferences 194 ImportantDates 179 ConferenceHeader 166 WebIndex 160 CallForTechTalks 156 PEPMNews? | 37 EmirPasalic 1 ChristaSchwanninger |
Nov 2005 | 3943 | 0 | 0 | 868 WebStatistics 849 WebHome 147 WebLeftBar 144 WebNews 127 ImportantDates 126 WebPreferences 116 WebChanges 114 CallForPapers 109 ConferenceOrganization 105 WebNotify 92 PEPMNews? | |
Oct 2005 | 3209 | 33 | 0 | 932 WebHome 175 WebNews 127 WebChanges 126 WebPreferences 118 PEPMNews? 115 WebLeftBar 111 ImportantDates 110 WebNotify 105 WebStatistics 101 ConferenceHeader 99 WebIndex | 31 ChristaSchwanninger 2 EugenioMoggi |
Jul 2005 | 1191 | 0 | 0 | 389 WebHome 102 WebNews 74 WebIndex 73 WebChanges 68 WebStatistics 67 PEPMNews? 57 ConferenceHeader 52 WebSearch 50 WebNotify 50 WebChanges500? 49 WebChanges200? | |
Jun 2005 | 923 | 0 | 0 | 375 WebHome 86 WebNews 68 WebStatistics 57 WebChanges 46 PEPMNews? 45 WebNotify 42 WebIndex 39 WebSearch 37 ConferenceHeader 26 WebLeftBar 24 WebChanges500? | |
May 2005 | 848 | 7 | 0 | 371 WebHome 53 WebNews 51 WebStatistics 45 ConferenceHeader 42 PEPMNews? 38 WebChanges 33 WebIndex 31 WebSearch 26 WebPreferences 24 WebNotify 24 WebLeftBar | 7 EelcoVisser |
Apr 2005 | 6648 | 36 | 0 | 2409 WebHome 975 CallForPapers 638 ElectronicSubmission? 298 GpceTutorialsAndWorkshops? 242 ImportantDates 181 ConferenceOrganization 148 CallForDemonstrations? 130 CallForWorkshops? 110 YoungResearchers? 102 GraphModelTransformations? 93 CallForTechTalks | 23 AndrewMalton 10 EugenioMoggi 2 RobertGlueck 1 EelcoVisser |
Feb 2005 | 2975 | 7 | 0 | 1164 WebHome 364 CallForPapers 140 ImportantDates 137 ConferenceOrganization 95 CallForWorkshops? 84 CallForDemonstrations? 72 CallForTechTalks 50 PEPMNews? 39 WebNews 39 WebChanges 38 WebNotify | 7 EugenioMoggi |
Jan 2005 | 2719 | 19 | 0 | 1375 WebHome 211 CallForPapers 169 ConferenceOrganization 135 ImportantDates 98 CallForWorkshops? 74 CallForTechTalks 59 PEPMNews? 45 WebIndex 42 WebChanges 35 WebNews 30 CallForDemonstrations? | 12 EugenioMoggi 7 EelcoVisser |
Dec 2004 | 1546 | 68 | 0 | 707 WebHome 125 ImportantDates 92 ConferenceOrganization 67 ConferenceVenue 60 CallForWorkshops? 37 WebIndex 36 CallForTechTalks 34 WebPreferences 33 WebNews 32 PEPMNews? 25 WebChanges | 43 EugenioMoggi 13 JeffGray 10 EelcoVisser 2 MartinBravenboer |
Nov 2004 | 836 | 18 | 0 | 407 WebHome 77 ImportantDates 66 ConferenceOrganization 38 ConferenceVenue 31 PEPMNews 28 CallForPapers 25 WebNews 20 ForOrganizers? 19 WebIndex 9 CallForWorkshops? 8 ElectronicSubmission? | 11 EelcoVisser 7 EugenioMoggi |
Oct 2004 | 400 | 30 | 0 | 206 WebHome 50 ConferenceOrganization 38 ImportantDates 27 ConferenceVenue 17 ConferenceHeader 14 WebIndex 11 WebContents? 5 PrintCall? 4 WebNews 4 CallForPapers 2 GpceTutorials? | 27 EugenioMoggi 2 MoggiE 1 RobertGlueck |
Oct 2007 | 8900 | 21 | 1 | 2412 WebHome 822 PaperSubmission? 709 ImportantDates 565 CallForPapers 440 ProgramCommittee? 369 ResearchPaperAdvice? 232 ToolPaperAdvice? 217 PEPMPublicity? 197 InvitedTalks? 196 WebNews 196 PreviousMeetings? | 22 RobertGlueck |
Aug 2005 | 1526 | 32 | 1 | 481 WebHome 147 WebStatistics 94 ConferenceHeader 86 WebIndex 84 WebNews 75 WebPreferences 69 WebChanges 59 PEPMNews? 51 WebNotify 49 WebLeftBar 43 WebSearch | 20 EelcoVisser 7 MartinBravenboer 5 StanJarzabek 1 PradeepikaIrangani |
Mar 2005 | 4848 | 35 | 1 | 2091 WebHome 696 CallForPapers 202 ImportantDates 178 ElectronicSubmission? 153 ConferenceOrganization 152 CallForDemonstrations? 132 CallForWorkshops? 131 GpceTutorialsAndWorkshops? 106 CallForTechTalks 55 PEPMNews? 52 WebIndex | 29 EugenioMoggi 5 RobertGlueck 2 EelcoVisser |
Aug 2007 | 12282 | 74 | 10 | 2082 WebHome 833 ProgramCommittee? 744 WebStatistics 741 CallForPapers 573 ImportantDates 513 PEPMPublicity? 433 PaperSubmission? 416 PEPMProgram? 409 PreviousMeetings? 383 ResearchPaperAdvice? 341 ConferenceOrganization | 81 RobertGlueck 3 OegeDeMoor |
Jun 2006 | 4150 | 29 | 2 | 827 WebHome 261 CallForPapers 233 ProgramCommittee? 164 WebStatistics 159 ImportantDates 136 PreviousMeetings? 125 ResearchPaperAdvice? 119 PaperSubmission? 116 WebChanges 114 PEPMPublicity? 104 RegistrationAndAccomodation? | 31 EelcoVisser |
Sep 2005 | 1290 | 18 | 2 | 361 WebHome 73 WebNews 55 WebIndex 46 WebNotify 46 WebChanges 41 PEPMNews? 39 WebChanges500? 38 WebSearch 38 CallForPapers 37 WebPreferences 36 WebChanges100? | 17 EelcoVisser 3 PradeepikaIrangani |
Jan 2006 | 6593 | 129 | 5 | 1553 WebHome 494 CallForPapers 422 WebStatistics 315 ImportantDates 240 WebNews 223 ConferenceOrganization 219 CallForTechTalks 197 WebPreferences 191 CallForWorkshops? 187 WebLeftBar 152 WebChanges | 116 EmirPasalic 17 ToddVeldhuizen 1 ChristaSchwanninger |