Modelling Software System Structures in a fastly moving scenario

Proceedings

The electronic version of the complete proceedings is here     

Below, instead, you can find the single contributions.

• SAT-solving the Coverability Problem for Unbounded Petri Nets
  P. A. Abdulla, S. P. Iyer and A. Nylen
      

• Evolution by Contract
  Luís Filipe A. Andrade and José Luiz L. Fiadeiro
      

• “Lightweight” Semantics Models for Program Testing and Debugging Automation
  Mikhail Auguston
      

• Performance Evaluation of Architectural Types: A Process Algebraic Approach
  Marco Bernardo, Paolo Ciancarini, Lorenzo Donatiello
      

• Appliances and Software:
  The Importance of the Buyer's Warranty and the Developer's Liability in Promoting the Use of Systematic Quality Assurance and Formal Methods
  Daniel Berry
      

• Static Analysis for Program Generation Templates
  Valdis Berzins
      

• Domain Engineering
  “Upstream” from Requirements Engineering and Software Design
  Dines Bjørner
      

• The Partial Spechilada
  Nikolaj S. Bjørner
      

• Dynamic Distributed Systems: Towards a Mathematical Model
  Manfred Broy
      

• A formal approach to specification-based black-box testing
  María Victoria Cengarle and Armando Martín Haeberer
  

• Using CASL to Specify the Requirements and the Design. A Problem Specific Approach
  C. Choppy and G. Reggio
      

• JTN: A Java-Targeted Graphic Formal Notation for Reactive and Concurrent Systems
  Eva Coscia and Gianna Reggio
      

• Towards an Evolutionary Software Technology
  Maritta Heisel
      

• Comparative Analysis of Design Alternatives in Embedded Systems
  James E. Hilger, Insup Lee, Oleg Sokolsky
      

• Towards Practical Support for Component-Based Software Development Using Formal Specification
  Heinrich Hussmann
      

• On the analysis of Dynamic Properties in Component-Based Programming
  Paola Inverardi and Alexander L. Wolf
      

• A Formal Model of System and Software Engineering Experience
  Douglas S. Lange and Valdis Berzins
      

• A Risk Assessment Model for Evolutionary Software Projects
  Luqi and J. Nogueira
      

• Run-time monitoring and Steering based on Formal Specifications
  S. Kannan, M. Kim, Insup Lee, Oleg Sokolsky and M. Viswanathan
      

• Dependability of Computer-Based Systems
  Cliff B. Jones
      

• Verification Diagrams: Logic + Automata
  Zohar Manna and Henny B. Sipma
      

• Tracking Real-Time Systems Requirements
  Aloysius K. Mok
      

• Specification and Composition of Software Components: Formal Methods Meet Standards
  Carlo Montangero and Laura Semini
      

• * Exploiting formal methotds in the real world: a case study of an academic spin-of company
  G. M. Reed
      

• Experimental Analysis for Large Agent Systems
  Dave Robertson
      

• Compositional Approach for Modeling and Verification of Component-Based Software Systems
  Jeffrey J.P. Tsai and Eric Y.T. Jaun
      

• Applying Machine Learning Algorithms in Software Development
  Du Zhang
      

Last Updated: September 11, 2000 by Gianna Reggio