Community Usage of the Online Conference Service: an Experience Report from three CS Conferences

In this paper, we consider the Grand Challenge under a very specific perspective: the enabling of application experts without programming knowledge to reliably model their business processes/applications in a fashion that allows for a subsequent automatic realization on a given platform. This goal, which aims at simplifying the tasks of the many at the cost of ambitious and laborious tasks for the few, adds a new dimension to the techniques and concepts aimed at by the Grand Challenge: the application-specific design of platforms tailored for the intended goal. We are convinced that the outlined perspective provides a realistic and economically important milestone for the Grand Challenge.

[1]  Tiziana Margaria,et al.  Backtracking-Free Design Planning by Automatic Synthesis in METAFrame , 1998, FASE.

[2]  Tiziana Margaria,et al.  Components, Features, and Agents in the ABC , 2003, Objects, Agents, and Features.

[3]  Tiziana Margaria,et al.  Demonstration of an Automated Integrated Test Environment for Web-Based Applications , 2002, SPIN.

[4]  Tiziana Margaria,et al.  An Automated Testing Environment for CTI Systems Using Concepts for Specification and Verification of Workflows , 2000 .

[5]  Sriram K. Rajamani,et al.  The SLAM project: debugging system software via static analysis , 2002, POPL '02.

[6]  Sriram K. Rajamani,et al.  Automatically validating temporal safety properties of interfaces , 2001, SPIN '01.

[7]  Tiziana Margaria,et al.  Coarse-granular model checking in practice , 2001, SPIN '01.

[8]  Tiziana Margaria,et al.  Community Usage of the Online Conference Service , 2003 .

[9]  Frank M. Shipman,et al.  Formality Considered Harmful: Experiences, Emerging Themes, and Directions on the Use of Formal Representations in Interactive Systems , 1999, Computer Supported Cooperative Work (CSCW).

[10]  Wolfgang Appelt.  What groupware functionality do users really use? Analysis of the usage of the BSCW system , 2001, Proceedings Ninth Euromicro Workshop on Parallel and Distributed Processing.

[11]  Tiziana Margaria,et al.  Lightweight coarse-grained coordination: a scalable system-level approach , 2004, International Journal on Software Tools for Technology Transfer.

[12]  Tiziana Margaria,et al.  System level testing of virtual switch (re-)configuration over IP , 2002, Proceedings The Seventh IEEE European Test Workshop.

[13]  Tiziana Margaria,et al.  METAFrame in Practice: Design of Intelligent Network Services , 1999, Correct System Design.