6th International Conference on
Information Technology : New Generations
ITNG 2009
April 27-29, 2009, Las Vegas, Nevada, USA
Special Session/Track
Proceedings to be published by the IEEE Computer Society
Track Chairs

Walter Dosch
University of Luebeck

Sergiu Dascalu
University of Nevada, Reno, USA

Program Committee

Noureddine Belkhatir
Universite de Grenoble, France

Mark Burgin
University of California Los Angeles, USA

Andy Connor
Auckland University of Technology, New Zealand

Kendra Cooper
University of Texas at Dallas, USA

Narayan Debnath
Winona State University, USA

Liliana Dobrica
University Politehnica of Bucharest, Romania

Philippe Dugerdil
University of Applied Sciences, Switzerland

Bastian Doelle
Capgemini sd&m, Hamburg, Germany

Eelke Folmer
University of Nevada, Reno, USA

Hacene Fouchal
Universite Antilles-Guyane, France

Robin A. Gandhi
University of Nebraska at Omaha, USA

Jeffrey G. Gray
University of Alabama at Birmingham, USA

Vic Grout
University of Wales, UK

Fred C. Harris, Jr.
University of Nevada, Reno, USA

Beda Christoph Hammerschmidt
Oracle Corporation, USA

Abdelwahab Hamou-Lhadj
Concordia University, Montreal, Canada

Peter Hitchcock
Dalhousie University, Canada

Christian Luer
Ball State University, USA

German Montejano
Universidad Nacional de San Luis, Argentina

Liam O'Brien
National ICT, Australia

Olga Ormandjieva
Concordia University, Montreal, Canada

Jaan Penjam
Tallinn University of Technology, Estonia

David Pheanis
Arizona State University, USA

Twittie Senivongse
Chulalongkorn University, Thailand

Stephane Some
University of Ottawa, Canada

Pierre Tiako
Langston University, USA

W. Lok Yeung
Lingnan University, Hong Kong
Software Specification and Modeling: Techniques, Tools, and Applications
This special session/track focuses on the specification and modeling of software systems as central activities in software engineering. Topics include integrative theories, sound methods, (graphical) description formalisms, interesting applications and interactive tools supporting software specification and modeling at different levels of abstraction. The session particularly welcomes contributions at the junction of theory and practice disseminating basic research with immediate impact on practical applications.

TOPICS include (but are not limited to) the following:
  • Software and System Specification
  • (Semi) Formal Methods and Applications
  • Model-Driven Software Development
  • System Models and Model Transformation
  • Software Methods and Design Rules
  • Software Patterns and Generation
  • Software Architectures and Components
  • Software Verification and Model Checking
  • Software Concepts: Abstraction, Modularization, Interface
  • Software Aspects and Views
  • Tool Support for Specification and Modeling
  • Case Studies in Specification, Modeling, and Design
  • Feature-Oriented Software Specification
  • Combinations of Modeling Notations

  • Papers should be original and contain contributions of theoretical or experimental nature, or be unique experience reports. Interested authors should submit a 6-page description of their original and unpublished work including 5 keywords in the IEEE format.
  • Include a separate cover letter with the paper's title, every author(s) name, address, phone and fax numbers, e-mail, and full affiliation.
  • Names of author(s) should appear only on the cover letter. Authors should not identify themselves or their institution anywhere in the paper.
  • All correspondence will be sent to the first author unless otherwise specified.
  • Submissions are accepted electronically via ITNG-2009 submission page. Please select session "Software Specification and Modeling". To submit a paper, please click here.


Papers will be evaluated for originality, significance, clarity, and soundness. Per ITNG policy, except for invited papers, all papers will be reviewed by at least two independent reviewers. Accepted papers will be published in the conference proceedings with an ISBN.


The Best Student Paper will be awarded at the conference. To be eligible, the student must be the sole author of the paper, or the first author and primary contributor. (The winner of the award will present the paper in a plenary session at the conference). A cover letter to the General Chair/Track Chair must identify the paper as a candidate for this competition at the time of submission.


Submission: December 9, 2008 (extended) - contact S. Dascalu at dascalus@cse.unr.edu
Author Notification: December 19, 2008
Early Registration: January 30, 2009