Dieter Hutter, Werner Stephan, Paolo Traverso, Markus Ullmann
Proceedings of the International Workshop on Current Trends in Applied Formal Methods
FM-Trends, 1998.

@proceedings{FM-1998,
	address       = "Boppard, Germany",
	editor        = "Dieter Hutter and Werner Stephan and Paolo Traverso and Markus Ullmann",
	isbn          = "3-540-66462-9",
	publisher     = "{Springer-Verlag}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the International Workshop on Current Trends in Applied Formal Methods}",
	volume        = 1641,
	year          = 1998,
}

Contents (28 items)

7 ×#formal method
4 ×#design
4 ×#tool support
3 ×#modelling
3 ×#named
3 ×#process
3 ×#verification
2 ×#approach
2 ×#bibliography
2 ×#case study

FM-1998-Borger #analysis #design #state machine #using

High Level System Design and Analysis Using Abstract State Machines (EB), pp. 1–43.

FM-1998-BroyS #development #formal method #process

Enriching the Software Development Process by Formal Methods (MB, OS), pp. 44–61.

FM-1998-PuitgD #development #geometry #modelling

Formal Program Development in Geometric Modeling (FP, JFD), pp. 62–76.

FM-1998-SouzaSFSAGGWCD #design #distributed #multi

Design of Distributed Multimedia Applications (DAMD) (WLdS, PNMS, JMF, RMS, MJBA, LPG, LZG, RW, MSdC, MD), pp. 77–91.

FM-1998-GeserK #verification

Structured Formal Verification of a Fragment of the IBM S/390 Clock Chip (AG, WK), pp. 92–106.

FM-1998-BogdanovHS #automation #generative #testing

Automated Test Set Generation for Statecharts (KB, MH, HS), pp. 107–121.

FM-1998-GoerigkH #compilation #correctness #how #implementation

Rigorous Compiler Implementation Correctness: How to Prove the Real Thing Correct (WG, UH), pp. 122–136.

FM-1998-PnueliSS #validation

Translation Validation: From DC+ to C* (AP, OS, MS), pp. 137–150.

FM-1998-Yamane #design #realtime #simulation

A Practical Hierarchical Design by Timed Simulation Relations for Real-Time Systems (SY), pp. 151–167.

FM-1998-AgerholmL #approach #formal method #lightweight

A Lightweight Approach to Formal Methods (SA, PGL), pp. 168–183.

FM-1998-BussowGHH #integration #modelling #tool support

An Open Environment for the Integration of Hetereogenous Modelling Techniques and Tools (RB, WG, WH, SH), pp. 184–195.

FM-1998-KutterST #design #domain-specific language #lifecycle

Integrating Domain Specific Language Design in the Software Life Cycle (PWK, DS, LT), pp. 196–212.

FM-1998-MargariaG #approach #flexibility #process #reliability

Flexible and Reliable Process Model Properties: An Integrated Approach (TMS, VG), pp. 213–227.

FM-1998-FantechiGMPT #model checking

A Symbolic Model Checker for ACTL (AF, SG, FM, RP, ET), pp. 228–242.

FM-1998-GoldsmithZ #csp #validation #verification

Critical Systems Validation and Verification with CSP and FDR (MG, IZ), pp. 243–250.

FM-1998-Krieg-Bruckner #formal method

UniForM Perspectives for Formal Methods (BKB), pp. 251–265.

FM-1998-Karlsen #framework #higher-order #integration #tool support

The UniForM WorkBench — A Higher Order Tool Integration Framework (EWK), pp. 266–280.

FM-1998-FujitaRH #case study #experience #parallel #protocol #verification

Two Real Formal Verification Experiences: ATM Switch Chip and Parallel Cache Protocol (MF, SPR, AJH), pp. 281–295.

FM-1998-MeulenC #formal method #specification

Formal Methods in the Specification of the Emergency Closing System of the Eastern Scheldt Storm Surge Barrier (MvdM, TC), pp. 296–301.

FM-1998-KoobUW #formal method #modelling #policy #process #security #topic #using

The New Topicality of Using Formal Models of Security Policy within the Security Engineering Process (FK, MU, SW), pp. 302–310.

FM-1998-Castillo #architecture #state machine #tool support #towards

Towards Comprehensive Tool Support for Abstract State Machines: The ASM Workbench Tool Environment and Architecture (GDC), pp. 311–325.

FM-1998-AgerholmL98a #formal method #lightweight #tool support

The IFAD VDM Tools: Lightweight Formal Methods (SA, PGL), pp. 326–329.

FM-1998-BalserRSS

KIV 3.0 for Provably Correct Systems (MB, WR, GS, KS), pp. 330–337.

FM-1998-OwreRSS #case study #experience #named

PVS: An Experience Report (SO, JMR, NS, DWJSC), pp. 338–345.

FM-1998-Slotosch #named #overview

QUEST: Overview over the Project (OS), pp. 346–350.

FM-1998-HutterMRSWBRSS #complexity #formal method #named

VSE: Controlling the Complexity in Formal Software Developments (DH, HM, GR, WS, AW, MB, WR, GS, KS), pp. 351–358.

FM-1998-Woodcock #higher-order

The wHOLe System (MEW), pp. 359–366.

FM-1998-Canada #overview #perspective

Z/EVES Version 1.5: An Overview (OC), pp. 367–376.