Software Technology Track

We are interested in new approaches, techniques and tools that support the systematic use of visual notations for the entire software development process targeted to conventional software systems as well as specific areas as software architecture, component technology or distributed systems. The minitrack puts its focus on using visual notations across multiple stages of software development and the interplay of multiple visual notations for traceability in the software life cycle. So, work concentrating on these aspects and case studies reporting practical experience with using visual notations throughout the software development process are especially welcomed.

Topics of specific interest are:

Visual artifacts for the different phases of software development, especially

compatible visual notations for systems as well as system properties
visual specification of non-functional aspects
visually supported abstraction techniques
scalability issues of visual notations
integrating visual notations with traditional description techniques
experience reports using visual notations on real-life size projects

The integrated usage of (possibly) different visual notations supporting multiple software development phases, especially

visual ‘metaphors’ and multiple views used
expressive power of notations for and across different phases
underlying common formal models

Tool support for using visual artifacts, especially

consistency issues and change propagation
tool support for managing multiple notations
migration between different notational styles
integrated visualization and animation of multiple notations
user interaction and assistance for manipulation, debugging and tuning

Please visit https://www.lspi.wiai.uni-bamberg.de/H40VISA/

Kang Zhang (primary contact)
Department of Computer Science
Eric Jonsson School of Engineering and Computer Science
P.O. Box 830688, Mail Stop EC31
The University of Texas at Dallas
Richardson, TX 75083-0688
Tel: +1-972-883 6351 (direct)
Fax: +1-972-883 2349 (department)
kzhang@utdallas.edu

Guido Wirtz

Bereich Informatik, Fakultät für Wirtschaftsinformatik und Angewandte Informatik
Otto-Friedrich Universität

Raum F080, Feldkirchenstr. 21
D-96047 Bamberg, GERMANY

Phone: +49 (0)951 863-2527

guido.wirtz@wiai.uni-bamberg.de

Security Cluster

Digital Forensics – State of the Science and Foundational Research Activity

This minitrack attempts to bring together papers from academia which address current directions in digital forensics. Digital forensics involves the use of software, computer science, software engineering, and criminal justice procedures to explore and or investigate digital media with the objective of finding evidence to support a criminal or administrative case. It involves the preservation, identification, extraction, and documentation of computer or network evidence.

We are interested in papers in the following areas:

Papers that address processes for the incorporation of rigorous scientific method as a fundamental tenant of the evolving science of Digital Forensics.
Papers that address a research agenda that considers practitioner requirements, multiple investigative environments and emphasizes real world usability.
Papers that discuss a digital forensics pedagogy at the University level.
Papers that present an experience report involving the discovery, explanation and presentation of conclusive, persuasive evidence from digital forensics investigation.

Rayford Vaughn (primary contact)

Billie J. Ball Professor of Computer Science and Engineering

Director, Center for Computer Security Research

PO Box 9637

Mississippi State University

Mississippi State, MS 39762

Phone: (662) 325-7450

Fax: (662) 325-8997

vaughn@cse.msstate.edu

http://www.cse.msstate.edu/~vaughn

David Dampier

Associate Professor of Computer Science and Engineering

Director, Forensics Training Center

PO Box 9637

Mississippi State University

Mississippi State, MS 39762

Phone: (662) 325-2756

Fax: (662) 325-8997

dampier@cse.msstate.edu

Information Security Research and Education

This minitrack provides a holistic view of information security education and research. In the information security education area, we are interested in papers about information security curriculum design at the national and institutional levels and research papers offering new results on information security, innovative approaches to teaching information security, evaluations of existing approaches, emerging needs for information security curriculum, innovative approaches to faculty development and capacity building, challenges faced by institutions and programs.

In the research area, we are interested in papers on fundamental results in the fields of cryptography, secure computing systems, network security, ethical and legal issues in information security, information security management, policy and response.

Melissa Dark (primary contact)

Associate Professor & Assistant Dean

Computer and Information Technology

Center for Education and Research in Information

Assurance and Security
Purdue University, KNOY 467A

West Lafayette IN 47907-2086

Phone: (765) 494-7661

dark@cerias.purdue.edu

Linda Morales

Computer Science Department
Journalism 212

Texas A&M University-Commerce

Commerce TX 75428

Phone: (903) 468-5617

linda_morales@TAMU-commerce.edu

Secure Software Architecture, Design, Implementation and Assurance

The Secure Software Architecture, Design, Implementation and Assurance minitrack focuses on the research and automation required to develop secure software systems that do not compromise other system properties such as performance or reliability. Current security engineering methods are demonstrably inadequate, as software vulnerabilities are currently being discovered at the rate of over 4,000 per year. These vulnerabilities are caused by software designs and implementations that do not adequately protect systems and by development practices that do not focus sufficiently on eliminating implementation defects that result in security flaws. An opportunity exists for systematic improvement that can lead to secure software architectures, designs, and implementations.

The following topics are appropriate topics for research papers:

Static analysis tools and techniques for detecting security flaws and software vulnerabilities in source or binary code
Dynamic analysis tools for detecting security flaws and software vulnerabilities in source or binary code
Model checking tools for detecting security flaws and software vulnerabilities in software systems
Software architectures and designs for securing against denial-of-service attacks and other software exploits
Coding practices for improved security and secure library implementations
Computational security engineering
Other tools and techniques for reducing or eliminating vulnerabilities during development and maintenance

The Program Committee includes:
Julia Allen                     SEI/CMU
Hal Burch                     CERT/CC
Brian Chess                  Fortify Software
Bob Fleck                    Secure Software
Michael Howard           Microsoft
Derek M. Jones            Knowledge Software Ltd
Alan Krassowski          Symantec
Fred Long                    University of Wales, Aberystwyth
Tom Longstaff              CERT
Robert Martin               MITRE
Leon Moonen               Delft University of Technology
James W. Moore          MITRE
Samuel Redwine           James Madison University
David Riley                   University of Wisconsin - La Crosse
John Steven                  Cigital
Carol Woody               CERT

Robert C. Seacord (primary contact)

CERT/CC

Software Engineering Institute

Carnegie Mellon University

Pittsburgh, PA 15213

Phone: 412-268-7608

Fax: 412-268-6989

ssadia@cert.org

Sven Dietrich

CERT

Software Engineering Institute

Carnegie Mellon University

Pittsburgh, PA 15213

Phone: 412-268-7711

Fax: 412-268-6989

ssadia@cert.org

Daniel Plakosh

CERT/CC

Software Engineering Institute

Carnegie Mellon University

Pittsburgh, PA 15213

Phone: 412-268-7197

Fax: 412-268-6989

dplakosh@sei.cmu.edu

Software Engineering Application Areas Cluster

Components for Embedded and Real-time Systems
Papers for this minitrack will be combined at presentation with the Tools for Model Driven Development minitrack (see description below )

Component-based development is a software engineering paradigm that brings new opportunities and challenges for developing embedded and real-time systems. A component architecture eases software development by providing a more structured software engineering approach. It is also compatible with model-driven development methods enabling related software engineering advances to be applied to the embedded systems domain. Embedded systems also impose considerable resource restrictions and strict performance and reliability requirements, all of which create challenges in applying component technologies to embedded and real-time systems.

The goal of this minitrack is to bring together researchers and practitioners in component-based software engineering for embedded and real-time systems. Papers will describe the latest methods, techniques, and tools for developing embedded and real-time software systems using advanced component models and technologies.

Topics of interest include:

· component architectures and models

· models of computation, design patterns and architectural styles

· modeling and model driven development of components

· component-based product lines for embedded applications

· non-functional properties, such as timeliness, reliability, safety, performance, fault-tolerance, and power consumption

· evaluation and analysis of non-functional properties and requirements

· component models for security and adaptivity

· real-time issues of component-based software engineering

· analysis methods for temporal predictability and determinism

· testing and debugging of component-based embedded applications

· verification of component implementations

· partitioning and deployment of components

· component intercommunications and quality-of-service

· component-oriented software re-engineering of embedded systems

For more information please visit http://www.cse.unsw.edu.au/~yliu/hicss40

Yan Liu (primary contact)

National ICT Australia Ltd (NICTA)

Locked Bag 9013

Alexandria NSW 1435

Australia

Phone: +61 2 8374 5491

Fax: +61 2 8374 5523

jenny.liu@nicta.com.au

Ihor Kuz

National ICT Australia Ltd (NICTA)

Locked Bag 6016

The University of New South Wales

Sydney NSW 1466

Australia

Phone: +61 2 8306 0582

Fax: +61 2 8306 0406

ihor.kuz@nicta.com.au

Ian Gorton
Pacific Northwest National Laboratory
P. O. Box 999, Ms: K7-90
Richland WA 99352

Phone: 509-375-3850

Ian.Gorton@pnl.gov

Wireless Sensor Networks and Applications

This minitrack focuses on fundamental challenges and issues arising in wireless sensor networks (WSNs) and their applications. Wireless sensors require communication among large numbers of nodes over large distances, relying on ad-hoc communication and organization. WSNs must deal with power management and security, as well as support collaboration among nodes for tasks such as distributed calibration and detection. WSNs are often mission-oriented, but the fundamental challenges are shared among networks used for very different tasks.

Topics of interest to the minitrack include but are not limited to the following:

· Hardware aspects of sensor design

· Self-organization and governance

· Work models for wireless sensor networks

· Location management and placement

· Energy-aware protocols

· Routing and data transport in wireless sensor networks

· Security and Dependability issues

· Scalability of wireless sensor networks

· Infrastructure-based protocols

· Embedded, network-oriented operating systems

· Middleware and software tools

· MAC protocols for wireless sensor networks

· Interfacing with other wireless/mobile systems

· Efficient data transfer protocols, data combining, and prediction

· Visualization of sensor data

· Modeling and Performance evaluation

· Demos - prototypes - WSN architecture

· Implementation experience and measurements

Edoardo Biagioni (primary contact)

Dept of Information and Computer Science

University of Hawaii

Honolulu, HI 96822

esb@hawaii.edu

Stephan Olariu

Dept of Computer Science

Old Dominion University

Norfolk, VA 23529-0162

olariu@cs.odu.edu

Software Engineering Practices Cluster

Incorporating Lean Development Practices into Agile Software Development

Agile software development processes have been influenced by best practices in Japanese industry, particularly by lean development principles implemented at companies like Toyota, and knowledge management strategies developed by Takeuchi and Nonaka, now at the Hitotsubashi Business School in Japan, and Peter Sengeat MIT. This minitrack will focus on advancing the state of the art or presenting innovative ideas related to agile methods, individual practices and tools. Accepted papers are potentially to enrich the body of knowledge, to influence the framework of thought in the field by investigating agile methods in a rigorous fashion.

We are looking for research papers on all aspects of agile methods, particularly those that bring best practices in knowledge management and lean development to Scrum and similar practices:

Agile methods and processes
Business and social facets of agile software development
Technical facets of agile software engineering
Agile usability
Tools for agile developers and teams
Empirical studies of agile methods

Topics may include, but are not restricted to:

Research on existing or new methodologies and approaches: informal modeling techniques and practices, adapting/trimming existing methods, special projects or others.
Research on existing or new techniques or practices: pairing, war-rooms, test-first design, paper-based prototyping, early acceptance test driven development, exploratory testing, refactoring, or others.
Research on special topics or tools: configuration and resource management, testing, project steering, user involvement, design for agility, virtual teams or others.
Research on integrating ideas from other fields, e.g. interaction design, requirements engineering, cognitive science, organizational psychology, usability testing, software security, into agile processes.
Research studies of development teams using ethnographic or social research techniques.
Research on agile software engineering economics.
Quantitative and qualitative studies of agile methods, practices, and tools.

Papers are particularly relevant when lean thinking, lean development, and lean product development are shown as the means through which knowledge-based, knowledge-creating companies and organizations effectively implement agile software development principles and practices.

Jeff Sutherland (primary contact)

Chief Technology Officer

PatientKeeper Inc.

275 Washington St., 2nd Floor

Newton MA 02458

Phone: (617) 987-0394

jeff.sutherland@computer.org

Jean Tabaka
Rally Development Corporation

1050 Walnut Street, Suite 202
Boulder CO 80302
Phone: (303) 565 2800
Fax: (303) 226 1179
jean.tabaka@gmail.com

Next-Generation Software Engineering

The Next-Generation Software Engineering Minitrack focuses on the research and automation required to transform software engineering into a computational discipline capable of fast and correct development of future software systems. Current manual software engineering methods have reached complexity and scalability limits that no amount of being careful and trying harder can surmount. An opportunity exists for systematic exploitation of the mathematical semantics of software engineering representations that can lead to new computational capabilities for analysis of specifications, architectures, designs, and implementations, as well as software behaviors, quality attributes, and compositions into systems.

The following topics are appropriate topics for research papers:

· Computation of software functional behavior

· Computation of software non-functional quality attributes

· Computation of large-scale compositions

· Computational analysis of specifications, architectures, and designs

· New approaches to precise high-level abstraction

· Analytical methods including model checking, proof carrying code, and proof checking

· New approaches to controlling complexity for human intellectual control

· Reduced abstraction set computing and languages

· Mathematical foundations for computational software engineering

· Case studies in computational software engineering

· Research and Practice implications of NGSE

· Technology transfer issues in moving to NGSE

You may visit http://www.andrew.cmu.edu/user/sprowell/hicss/ngse.html for more information.

Alan R. Hevner (primary contact)

Information Systems and Decision Sciences

College of Business Administration

University of South Florida

4202 East Fowler Ave., CIS1040

Tampa, FL 33620

Office: (813) 974-6753

Fax: (813) 974-6749

ahevner@coba.usf.edu

Richard C. Linger

Software Engineering Institute

Carnegie Mellon University

4500 5th Avenue

Pittsburgh, PA 15213

Office: (301) 926-4858

Fax: (412) 268-5758

rlinger@sei.cmu.edu

Gwendolyn H. Walton

Software Engineering Institute

Carnegie Mellon University

4500 5th Avenue

Pittsburgh, PA 15213

Phone: 301-926-4858

Fax: 412-268-5758

gwalton@sei.cmu.edu

Software Engineering Decision Support

Decisions in the context of software systems are hard to make, as the information available is incomplete, uncertain and dynamically changing. Software Engineering Decision Support aims at making more informed decisions in the case of cognitively and computationally difficult problems. This includes a decision-centric analysis of problem situation, design and implementation of solution approaches tailored to the characteristics of the problem, means for interaction with the human domain experts, and finally evaluation of the impact on effectiveness, efficiency, trust and transparency of decision-making. This paradigm is applicable to all stages of software systems development and evolution. The impact of qualified decisions gets the bigger, the earlier the decisions are to be made in the life-cycle and the more fundamental they are in their scope.

For more information you may visit http://sern.ucalgary.ca/~ruhe/HICSS_minitrack/index.html

Guenther Ruhe (primary contact)

University of Calgary

iCORE Professor and Industrial Research Chair Software Engineering

2500 University Drive NW

Calgary, Alberta Canada T2N 1N4

Phone: 001 403 220 7692

Fax: 001 403 284 4707

ruhe@ucalgary.ca

Shari Lawrence Pfleeger

RAND Corporation

1200 South Hayes Street

Arlington, VA 22202-5050

Phone: 001 703 413-1100 x5525

Fax: 001 703 413-8111

shari_pfleeger@rand.org

Software Engineering Tools/Techniques Cluster

Adaptive and Evolvable Software Systems: Techniques, Tools, and Applications

This minitrack features novel work of researchers and practitioners actively involved in development of software technology that facilitates either static or dynamic adaptation and evolution of software systems. It covers a wide range of topics applicable to different software engineering problems in this area. It focuses on practical issues of design and implementation of adaptation and evolution as a primary concern of software system development.

This minitrack will be based on the novel results of researchers and practitioners actively involved in the development of software systems that can adapt to requirements change, and/or the execution environment in which they run. The minitrack will be appealing to anyone with interests in:

    a) Generative Programming
    b) Meta-programming and Reflection
    c) Aspect-Oriented Software Development
    d) Adaptive and Reflective Middleware
    e) Model-Driven Architecture
    f) Object-Oriented Frameworks

    g) Product-Line Architectures

Yvonne Coady (primary contact)

Department of Computer Science

University of Victoria

PO Box 3055, STN CSC

Victoria, BC, Canada V8W 3P6

Phone: 1 (250) 721-7205

Fax: 1(250) 721-7292

Department Phone: 1 (250) 721-7209

http://www.cs.uvic.ca/~ycoady

ycoady@cs.uvic.ca

Raymond Klefstad

Department of Electrical Engineering and Computer Science
The Henry Samueli School of Engineering
University of California, Irvine
Phone: (949) 824-1901

Fax: (949) 824-3203

http://www.zen.uci.edu/~klefstad/

klefstad@uci.edu

Jeff Gray

Department of Computer and Information Sciences

The University of Alabama at Birmingham

Birmingham, Alabama 35294-1170

TEL: (205) 934 8643 (Office)

FAX: (205) 934 5473

http://www.gray-area.org

gray@cis.uab.edu

Automated Software Testing and Analysis: Techniques, Practices and Tools

Research in software testing and analysis has become increasingly active. There is also a growing trend towards combining formal methods and informal techniques for program verification. This minitrack will bring together researchers and practitioners to present their research results and exchange ideas and experience in software testing and analysis, especially in their automation and/or tool support, and in the combination of formal methods and informal techniques. Topics of interest include, but are not limited to:

Automated software testing
Automated debugging
Testing and analysis tools
Software model checking
Symbolic analyses, symbolic execution and their applications to software testing
Applications of formal verification in practice
Static, dynamic and combined analysis methods
Combination of formal methods and informal techniques
Experience reports on automated testing and analysis
Best practices in software testing and analysis

For more information you may visit http://www.uow.edu.au/~zhiquan/HICSS_40/MinitrackCFP_index.htm

Zhi Quan (George) Zhou (primary contact)

School of IT & Computer Science

University of Wollongong

Wollongong, NSW 2522, Australia

Phone: (61-2) 4221 5399

Fax: (61-2) 4221 4170

zhiquan@uow.edu.au

http://www.uow.edu.au/~zhiquan/

Bernhard Scholz

School of Information Technologies

Madsen Building, F09

The University of Sydney, NSW 2006, Australia

Phone: (61-2) 9351-4216

Fax: (61-2) 9351-3838

scholz@it.usyd.edu.au

http://www.cs.usyd.edu.au/~scholz/

Giovanni Denaro

Dipartimento di Informatica Sistemistica e Comunicazione

Università di Milano-Bicocca

Via Bicocca degli Arcimboldi 8

Milano, I-20126, Italy

Phone: (39) 02 6448 7810

Fax: (39) 02 6448 7839

denaro@disco.unimib.it

http://www.lta.disco.unimib.it/homepage/giovanni.denaro/

Tools for Model Driven Development

This minitrack may contain papers submitted to the Components for Embedded and Real-time Systems minitrack (see description above)

Model Driven Development (MDD) is gaining significant momentum in both the software industry and the software engineering academic community. The rapidly increasing maturity of various MDA/UML tools for MDD and Microsoft’s introduction of the software factory initiative and the Domain Specific Language (DSL) support state-of-the-art engineering practices. Concurrently, leading academic research is exploring new MDD approaches such as aspect modeling, domain specific modeling, graph/model transformation, visual modeling and generative programming.

The topics of the mini track will include but not limited to:

· Tools for requirements modeling and traceability in MDD

· Approaches for variability modeling and software product lines

· Tools for modeling software architectures, components and services

· Case studies and experience reports describing the advantages and disadvantages of MDD

· Domain specific modeling in vertical domains (business specific domains)

· Best modeling practices for cross-cutting concerns, meta-models, and model integration

· Model transformation, code generation and model configuration technologies

· Model verification and validation

· Standardization issues in MDD

· MDD in the software development lifecycle

· Comparisons of different MDD approaches (e.g. MDA, DSL)

· MDD best practices

Please visit http://www.cse.unsw.edu.au/~limingz/hicss40/ for additional information.

Liming Zhu (primary contact)

Empirical Software Engineering, National ICT

School of Computer Science and Engineering (CSE), UNSW

Bay 15, Locomotive Workshop

Australian Technology Park

Eveleigh NSW 1430, Sydney, Australia

Phone: +61 2 83745523

Fax: +61 2 83745520

Liming.Zhu@nicta.com.au or limingz@cse.unsw.edu.au

http://www.designpattern.org

Yan Jenny Liu

Empirical Software Engineering

National ICT Australia

Bay 15, Locomotive Workshop

Australian Technology Park

Eveleigh NSW 1430, Sydney, Australia

Jenny.Liu@nicta.com.au

Ian Gorton

Pacific Northwest National Laboratory
P. O. Box 999, Ms: K7-90
Richland WA 99352

Phone: 509-375-3850

Ian.Gorton@pnl.gov

________________________________________________________________________________________________________________________________

RETURN TO Tracks

Send questions or comments to: hicss@hawaii.edu