1st IEEE International Workshop on Software Engineering for Context Aware Systems and Applications (SECASA 2008)

THEME OF THE WORKSHOP

Context-aware computing means that computation of a software application is aware of, varies in, and depends on the underlying runtime contexts and context changes. Here contexts can be generally defined as external varying environments that affect or determine the computation of an application. Examples of such external environments or contexts include time, location, situation, and user profile. Context-aware programming means writing software programs that specify how computations or behaviors of context-aware applications depend on or vary in underlying contexts.

The goal of this workshop is to provide a forum for researchers to present their recent research results on applications of context aware related concepts to various areas of software engineering and systems as well as exchanging new research ideas and facilitating research collaboration among researchers. The context aware concepts have found many applications, especially in distributed and mobile environments. The theme of the workshop is on software engineering methodology, process, programming, and software and/or knowledge system design and implementation for solving context aware related multi-discipline application problems.

One of approaches to engineering context aware software systems and applications is based on intensional concepts. Intensional concepts model meanings of entities with possible world semantics; they considers that the meaning of an entity varies depending on different possible worlds or contexts. Intensional software engineering is an application of intensional concepts on various aspects of software engineering. In intensional programming, meanings of program units depend on or vary in contexts or possible worlds, that is, intensional programs are naturally context aware. Applying intensional concepts with possible world semantics to context-aware computing and programming can build a solid theoretical foundation for the research of developing context-aware software systems and applications. It will take a systematic and abstract-to-concrete approach with a sound theoretical foundation to software engineering of context-aware systems and applications.

Topics of interest include all aspects of software engineering for developing context aware systems and applications. Topics include but are not restricted to:

• Software development process for context aware systems and applications
• Requirement engineering for context aware systems and applications
• Modeling context aware systems and applications
• Formalism and abstraction of context aware systems and applications
• Software architecture and design patterns of context aware systems applications
• Quality of context aware systems and applications
• Context aware system and application design
• Programming languages and systems for context aware systems and applications
• Implementation of context aware systems and applications
• Testing, verification, and validation of context aware systems and applications

Research papers as well as papers reporting practical experiences and applications of the above topics are all welcome.

LIKELY PARTICIPANTS

Researchers, software and system engineers, and practitioners of context aware system and application development are invited to propose papers and to attend the workshop. Those with interests in concepts of context aware computing and with experience on using and applications of context aware systems are also welcome.

PROGRAM COMMITTEE

Paul Caspi, VERIMAG, France
Gabriel Ditu, University of New South Wales, Australia
Weichang Du, University of New Brunswick, Canada
Michael Fisher, University of Liverpool, UK
Manolis Gergatsoulis, Ionian University, Greece
Guido Governatori, University of Queensland, Australia
Peter Kropf, Universit¨¦ de Neuch�0‰9tel, Switzerland
Hong Lin, University of Houston-Downtown, USA
Chuchang Liu, Defence Science and Technology Organization, Australia
Ji Ma, Macquarie University, Australia
Wanli Ma, University of Canberra, Australia
Blanca Mancilla, University of New South Wales, Australia
Steve Matthews, University of Warwick, UK
Bill McColl, Oxford University, UK
Abhaya Nayak, Macquarie University, Australia
Christos Nomikos, University of Ioannina, Greece
Mehmet Orgun, Macquarie University, Australia
Rondogiannis Panagiotis, University of Athens, Greece
Nikolaos Papaspyrou, National Technical University of Athens, Greece
Joy Paquet, Concordia University, Canada
John Plaice, University of New South Wales, Australia
Mark Reynolds, University of Western Australia, Australia
Tarmo Uustalu, Tallinn University of Technology, Estonia
Kaile Su, Peking University, China
Alex Thomo, University of Victoria, Canada
Andrew L Wendelborn, University of Adelaide, Australia

 (Updated)

IMPORTANT DATES

Mar. 1, 2008

Workshop paper submission due

April 7, 2008

Workshop paper notification (electronic)

April 30, 2008

All final manuscript and author pre-registration due

SUBMISSION

Original papers will be considered. All submitted papers will be reviewed by the program committee according to its originality, significance, correctness, presentation, and relevance. We encourage authors to present position papers on practical studies and experiments, critiques of existing work, emerging issues, and novel ideas under development.

Papers must be submitted electronically via the SECASA 2008 Submission Page . Manuscripts will be limited to 6 pages including all figures, tables, and references. The format of submitted papers must follow the IEEE conference proceedings guidelines (i.e., 8.5" x 11", Two-Column Format (PDF: instruct.pdf; DOC: instruct.doc); Layout Guide (PDF: format.pdf; DOC: format.doc; all under ftp://pubftp.computer.org/press/outgoing/proceedings/).

All accepted papers will be published in the electronic conference proceedings by the IEEE Computer Society, indexed through INSPEC and EI Index (Elsevier's Engineering Information Index), and automatically included in the IEEE Digital Library. At least one of the authors of each accepted paper must register as a full participant of the workshop for the paper to be included in the proceedings. Each accepted paper must be presented in person by (one of) the author(s).

WORKSHOP ORGANIZERS

Co-Chairs