Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456 INT 2004 Workshop at ETAPS 2004
INT 2004 : Third International Workshop on Integration of Specification
Techniques for Applications in Engineering
will be possible via the registration page of the ETAPS
Scope and Aims of the Workshop
In the Priority Programme "Integration
of Software Specification Techniques for Applications in Engineering"
of the German Research Council (DFG) this integration task is addressed,
with a focus on traffic control systems and production automation as application
domains. Within this Programme the First and the Second International Workshop
on Integration of Specification Techniques for Applications in Engineering
INT 2000 and INT 2002 were launched as a satellite events of ETAPS 2000
and 2002. The idea of INT 2004 is to continue the process and provide an
open discussion forum for researchers and practitioners from Engineering
and Computer Sciences working on this topic.
The increasing decentralization and the growing share of software in
technical systems require software systems development methods that guarantee
correct, safe, and flexibly adjustable software. Thereby the requirements
analysis, the design, and the deployment stage also have to take into account
the technical descriptions of the physical system and its resources. Thus
the software development process has to deal with a variety of modelling,
specification, and description techniques, incorperating also techniques
from engineering sciences. These have to be integrated, i.e., methods and
techniques have to be provided to compare different specifications, to
establish semantic correspondences, to check their consistency, and to
define the informal or formal semantics of a collection of specifications.
Especially the heterogeneity of the languages, the different but possibly
overlapping views on the system addressed by the specifications, and the
different levels of granularity and abstraction thereby impose difficult
problems.
Workshop topics
include, but are not limited to
integration of software modelling techniques, like the UML languages, SDL,
message sequence charts, or others
integration of software modelling techniques with description techniques
used in engineering, like sequential function charts or other IEC 61131-3
languages,
integrated workflow descriptions in engineering and software specifications
with (extensions of) Petri nets or related techniques,
verification and model checking of combinations of specifications (like
checking sequence charts against state charts),
general approaches to the integration of models and languages like meta-modelling
or reference models,
case studies of integrated specifications for traffic control systems,
production automation, or related areas.
Organizers
Hartmut Ehrig
and Gunnar
Schröter, Department of Software Engineering and Theoretical Computer
Science, TU Berlin, Germany
Fernando Orejas,
Department of Software,Technical University of Catalonia in Barcelona,
Spain
András Pataricza,
Department of Measurement and Information Systems, Budapest University
of Technology and Economics, Hungary
Wolfgang
Reif, Department of Software Engineering and Programming Languages,
University of Augsburg, Germany