iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://doi.org/10.1007/3-540-45314-8
Fundamental Approaches to Software Engineering: 4th International Conference, FASE 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6. 2001 Proceedings | SpringerLink
Skip to main content
Springer Nature Link
Log in

Fundamental Approaches to Software Engineering

4th International Conference, FASE 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6. 2001 Proceedings

  • Conference proceedings
  • © 2001

Overview

Editors:
  1. Heinrich Hussmann

    1. Institut für Software- und Multimediatechnik, Technische Universität Dresden, Dresden, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 2029)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

About this book

ETAPS 2001 is the fourth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences. This year it comprises ve conferences (FOSSACS, FASE, ESOP, CC, TACAS), ten satellite workshops (CMCS, ETI Day, JOSES, LDTA, MMAABS, PFM, RelMiS, UNIGRA, WADT, WTUML), seven invited lectures, a debate, and ten tutorials. The events that comprise ETAPS address various aspects of the system - velopment process, including speci cation, design, implementation, analysis and improvement. The languages, methodologies and tools which support these - tivities are all well within its scope. Di erent blends of theory and practice are represented, with an inclination towards theory with a practical motivation on one hand and soundly-based practice on the other. Many of the issues involved in software design apply to systems in general, including hardware systems, and the emphasis on software is not intended to be exclusive.

Similar content being viewed by others

Keywords

Table of contents (24 papers)

  1. Front Matter

    Pages I-XIII
    Download chapter PDF

  2. Invited Paper

    1. Physical Programming: Beyond Mere Logic

      • Bran Selic
      Pages 1-1

  3. Metamodelling

    1. Metamodelling and Conformance Checking with PVS

      • Richard F. Paige, Jonathan S. Ostroff
      Pages 2-16

    2. The Metamodelling Language Calculus: Foundation Semantics for UML

      • Tony Clark, Andy Evans, Stuart Kent
      Pages 17-31

  4. Distributed Components

    1. Compositional Checking of Communication among Observers

      • Ralf Pinger, Hans-Dieter Ehrich
      Pages 32-44

    2. Combining Independent Specifications

      • Joy N. Reed, Jane E. Sinclair
      Pages 45-59

    3. Proving Deadlock Freedom in Component-Based Programming

      • Paola Inverardi, Sebastian Uchitel
      Pages 60-75

  5. UML

    1. A Real-Time Execution Semantics for UML Activity Diagrams

      • Rik Eshuis, Roel Wieringa
      Pages 76-90

    2. A CSP View on UML-RT Structure Diagrams

      • Clemens Fischer, Ernst-Rüdiger Olderog, Heike Wehrheim
      Pages 91-108

    3. Strengthening UML Collaboration Diagrams by State Transformations

      • Reiko Heckel, Stefan Sauer
      Pages 109-123

    4. Specification of Mixed Systems in Korrigan with the Support of a UML-Inspired Graphical Notation

      • Christine Choppy, Pascal Poizat, Jean-Claude Royer
      Pages 124-139

    5. On Use Cases and Their Relationships in the Unified Modelling Language

      • Perdita Stevens
      Pages 140-155

    6. On the Importance of Inter-scenario Relationships in Hierarchical State Machine Design

      • Francis Bordeleau, Jean-Pierre Corriveau
      Pages 156-170

    7. Towards a Rigorous Semantics of UML Supporting Its Multiview Approach

      • Gianna Reggio, Maura Cerioli, Egidio Astesiano
      Pages 171-186

    8. Towards Development of Secure Systems Using UMLsec

      • Jan Jürjens
      Pages 187-200

  6. Testing

    1. Grammar Testing

      • Ralf Lämmel
      Pages 201-216

    2. Debugging via Run-Time Type Checking

      • Alexey Loginov, Suan Hsi Yong, Susan Horwitz, Thomas Reps
      Pages 217-232

    3. Library-Based Design and Consistency Checking of System-Level Industrial Test Cases

      • Oliver Niese, Bernhard Steffen, Tiziana Margaria, Andreas Hagerer, Georg Brune, Hans-Dieter Ide
      Pages 233-248

    4. Demonstration of an Automated Integrated Testing Environment for CTI Systems

      • Oliver Niese, Markus Nagelmann, Andreas Hagerer, Klaus Kolodziejczyk-Strunck, Werner Goerigk, Andrei Erochok et al.
      Pages 249-252

  7. Formal Methods

    1. Semantics of Architectural Specifications in Casl

      • Lutz Schröder, Till Mossakowski, Andrzej Tarlecki, Bartek Klin, Piotr Hoffman
      Pages 253-268
Back to top

Editors and Affiliations

  • Institut für Software- und Multimediatechnik, Technische Universität Dresden, Dresden, Germany

    Heinrich Hussmann

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation