Skip to content. | Skip to navigation

W   O   R   L   D   C   O   M   P    '   0   7  

The 2007 World Congress in Computer Science,
Computer Engineering, & Applied Computing
Las Vegas, Nevada, USA (June 25-28, 2007)
Sections
You are here: Home → SERP'07 → SERP'07: Topics
Current Events
WORLDCOMP'08
Click Here

Past Events
WORLDCOMP'06
Click Here

 
Document Actions

SERP'07: Topics

Last modified 2007-01-24 03:11

    Topics of interest include, but are not limited to, the following:
    • Survivable systems
    • Software architectures
    • Software Reliability
    • Software reuse
    • Object-oriented technology (design and analysis)
    • Measurement, metrics and analysis
    • Reverse engineering
    • Software domain and process modeling
    • Software engineering methodologies
    • Engineering of Software Fault-Tolerance
    • Software testing, evaluation and analysis technologies
    • Workflow - Computer Supported Cooperative Work (CSCW)
    • Project management issues
    • Distributed and parallel systems
    • Legal issues and standards
    • Automated software specification
    • Automated software design and synthesis
    • High assurance software systems
    • Software security engineering
    • Theoretic approaches (formal methods, graph, ...)
    • Domain modeling and meta-modeling
    • Evolution and maintenance
    • Reflection and metadata methodologies
    • AI approaches to Software Engineering
    • Component-based software engineering
    • Software engineering standards
    • Interoperability
    • Intelligent CASE tools
    • Multimedia in software engineering
    • Hypermedia
    • Verification, validation and quality assurance
    • Performance critical systems
    • User interfaces for software engineers
    • Program understanding issues
    • Education (software engineering curriculum design)
    • Software engineering versus systems engineering
    • Software documentation
    • Technology adoption
    • Human-computer interaction (HCI)
    • Architecture tradeoff analysis
    • Novel software tools and environments
    • Pervasive software engineering
    • Requirement engineering and processes
    • Critical and embedded software design
    • UML/MDA
    • Software cost estimation techniques
    • Configuration management (issues and tools)
    • Quality management
    • Service oriented software architecture
    • Human computer interaction and usability engineering
    • Software design and design patterns
    • Model oriented software engineering
    • Aspect oriented Software engineering
    • Agent oriented Software engineering
    • Case studies and emerging technologies
    • Topics in Programming Languages and Compilers:
        - Design and processing of special-purpose languages
        - Implementation of languages features
        - Language support for security and safety
        - Compiler construction
        - Program representation
        - Program analysis
        - Dynamic compilation and optimization techniques
        - Program optimizations and transformations
        - Interaction between compilers and architectures
        - Storage management techniques
        - Compilation for distributed, heterogeneous systems
        - Languages and compilers for parallel computing
        - Power-aware compilation
        - Code optimization
        - Functional programming
        - Constraint programming
        - The unified modeling language (UML)
        - Object constraint language (OCL)
        - Verification and model consistency
        - Algebraic and logic programming
        - Architectural support for programming languages
        - Type-theoretic languages
        - Object-oriented languages
        - High-level programming models and supportive environments
        - Specialization of declarative programs
        - Run-time systems
        - Domain and requirement analysis for programming languages
        - The safety systems of programming languages
        - Evolving programming languages
        - Compilation and interpretation techniques
        - Program representation and analysis
        - Code generation and optimization
        - Compilation techniques for embedded, mobile, or low power code
        - Compilers for parallel and distributed computing
        - Compilation techniques for security and safety
        - Design of novel language constructs
        - Domain specific languages
        - Software tools (debuggers, profilers, code verifiers, decompilers, silicon compilers, ...)
        - Parsing methods
        - Loop analysis
        - Future trends in programming languages
Corporate Sponsors


Academic Co-Sponsors

MIT Media Laboratory
(Cambridge, Massachusetts)
The Computational Biology and Functional Genomics Laboratory Harvard University
(Cambridge, Massachusetts)
Statistical Genomics and Computational Biology Laboratory, Department of Statistics, Harvard University
(Cambridge, Massachusetts)
Biomedical Cybernetics Laboratory, Harvard University
(Cambridge, Massachusetts)

Texas Advanced Computing Center, The University of Texas at Austin
(Austin, Texas)
Statistical and Computational Intelligence Laboratory of Purdue University
(West Lafayette, Indiana)

Center for Computational Biology & Bioinformatics
(Indianapolis, Indiana)

University of Iowa's Medical Imaging HPC Lab
(Iowa City, Iowa)
BioMedical Informatics & Bio-Imaging Laboratory
(Georgia Institute of Technology & Emory University, Georgia)
Intelligent Data Exploration and Analysis Laboratory University of Texas at Austin, USA
Columbia University, Statistical Genetics Research Group
Institute for Informatics Problems of the Russian Academy of Sciences
(Moscow, Russia)

University of North Dakota
(Grand Forks, North Dakota)

Other Co-Sponsors


HPCwire

GRIDtoday
STEM Education Society

HPC Software Inc.

International Technology Institute (ITI)
Hodges' Health

 
Administered by: Universal Conference Management Systems & Support (UCMSS), San Diego, California, USA
If you can read this text, it means you are not experiencing the Plone design at its best. Plone makes heavy use of CSS, which means it is accessible to any internet browser, but the design needs a standards-compliant browser to look like we intended it. Just so you know ;)