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 2002 Workshop at ETAPS 2002
INT 2002 : Second International Workshop on Integration of Specification
Techniques for Applications in Engineering
is now possible via the registration page of the ETAPS.
Scope and Aims of the Workshop
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.
In the Priority Programme "Integration
of Software Specification Techniques for Applications in Engineering"
of the German Research Council (DFG) this integration task addressed, with
a focus on traffic control systems and production automation as application
domains. Within this Programme the First International Workshop on Integration
of Specification Techniques for Applications in Engineering INT 2000 was
launched as a satellite event of ETAPS 2000. The idea of INT 2002 is to
continue the process and provide an open discussion forum for researchers
and practitioners from Engineering and Computer Sciences working on this
topic.
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.
Program Committee
Dines Bjørner, Informatics
and Mathematical Modelling, Technical University of Denmark, Denmark
Wilfried
Brauer, Institute for Informatics, Technische Universitaet Muenchen,
Germany
Hartmut Ehrig,
Institute of Software Engineering and Theoretical Computer Science, TU
Berlin, Germany (Co-Chair)
Martin Große-Rhode,
Institute of Software Engineering and Theoretical Computer Science, TU
Berlin, Germany (Co-Chair)
Fernando Orejas, Department
of Software, Technical University of Catalonia, Barcelona, Spain
Hartmut Ehrig
and Martin Große-Rhode,
Institute of Software Engineering and Theoretical Computer Science, TU
Berlin, Germany
Paper Submission and Proceedings
Prospective authors are invited to submit papers on new results or work
in progress. Works including or referring to case studies are especially
welcome.
Papers should not exceed 8 pages (11pt, A4 format) and be submitted
electronically to mgr@cs.tu-berlin.de . Accepted papers will be published
in a proceedings volum printed at the TU Berlin and made available in electronic
form via this web page.