Update of information in [AL0103CA] .
The ASF+SDF'95 Call for Participation is available.
Over the past five years, a significant amount of research has been invested in the development of the ASF+SDF algebraic specification formalism, and the associated supporting system, the ASF+SDF Meta-environment. The formalism is characterized by its notational flexibility, and the system by its support for incrementality and rapid prototyping. Currently, experience with the (industrial) use of ASF+SDF is growing, relations with other approaches are being studied, and a variety of drastic extension plans is being launched.
The aim of this workshop is to bring together researchers and ASF+SDF users with an interest in the further development of ASF+SDF, and to provide a platform for sharing experiences, for explaining relations with other areas, and for discussing future directions.
The ASF+SDF'95 Program and Registration form can be found in the Call for Participation mentioned above.
Up-to-date information about the workshop can be retrieved via: