Modelling Software System Structures in a fastly moving scenario

Abstracts of proposed talks

• Mikhail Auguston
  Lightweight Semantics Models for Program Testing and Debugging Automation
• Marco Bernardo
  Performance Evaluation of Architectural Types: A Process Algebraic Approach
• Daniel Berry
  Appliances and Software: The Importance of the Buyer's Warranty and the Developer's Liability in Promoting the Use of Formal Methods
• Valdis Berzins
  Static Analysis for Program Generation Templates
• Dines Bjørner
  Domain Engineering - "Upstream" from Requirements Engineering
• Nikolaj S. Bjørner
  How to Write your Specification, Synthesize your Program and Execute it too
• Manfred Broy
  Dynamics, Mobility, and System Topology of Hardware/Software Nets: Towards a Mathematical Model
• Christine Choppy
  Using CASL to Specify the Requirements and the Design: A Problem Specific Approach
• Werner Damm
  Breathing Life into Message Sequence Charts
• José Luiz Fiadeiro
  Coordination: the Evolutionary Dimension
• Armando Haeberer
  An Alternative Approach for Specification-Based Functional Verification Testing
• Maritta Heisel
  Toward an Evolutionary Software Technology
• Constance Heitmeyer
  Formal Analysis of Software Requirements: Integrating Different Techniques
• Heinrich Hussmann
  Towards Practical Support for Component-Based Software Development Based on Formal Specification
• Paola Inverardi
  Software Architectures and Component Programming
• Purushothaman Iyer
  Unfoldings of Infinite State Systems
• Cliff B. Jones
  Formal Methods and Dependability
• Insup Lee
  Run-time Monitoring and Steering based on Formal Specifications
• Zohar Manna
  Verification Diagrams: Logic + Automata
• Aloysius K. Mok
  Tracking Real-Time Systems Requirements
• Carlo Montangero
  Specification and Composition of Software Components: Formal Methods Meet Standards
• Mike Reed
  Automated Formal Support for Component-Based Systems: A Commercial Strategy
• Gianna Reggio
  JTN: A Java Targeted Formal Visual Notation for the Design of Reactive Systems
• David Robertson
  Experimental Analysis for Large Agent Systems
• Oleg Sokolsky
  Comparative Analysis of Design Alternatives in Embedded Systems
• Jeffrey Tsai
  Compositional Approach for Modeling and Verification of Component-Based Software Systems
• Alexander L. Wolf
  Middleware Component Frameworks: A Challenge for Software Architecture Research
• Du Zhang
  Applying Machine Learning Algorithms in Software Development

Last Updated: June 6, 2000 by Elisabetta Ferrando