Proceedings of the 11th International Symposium of Formal Methods Europe: Getting IT Right
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Lars-Henrik Eriksson, Peter A. Lindsay
Proceedings of the 11th International Symposium of Formal Methods Europe: Getting IT Right
FME, 2002.

FM
DBLP
Scholar
Full names Links ISxN
@proceedings{FME-2002,
	address       = "Copenhagen, Denmark",
	editor        = "Lars-Henrik Eriksson and Peter A. Lindsay",
	isbn          = "3-540-43928-5",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the 11th International Symposium of Formal Methods Europe: Getting IT Right}",
	volume        = 2391,
	year          = 2002,
}

Contents (34 items)

FME-2002-Shankar #proving
Little Engines of Proof (NS), pp. 1–20.
FME-2002-LegeardPU #automation #bound #testing
Automated Boundary Testing from Z and B (BL, FP, MU), pp. 21–40.
FME-2002-RatsabySU #analysis
Improvements in Coverability Analysis (GR, BS, SU), pp. 41–56.
FME-2002-Burguillo-RialIGN #case study #heuristic #specification #testing
Heuristic-Driven Test Case Selection from Formal Specifications. A Case Study (JCBR, MJFI, FJGC, MLN), pp. 57–76.
FME-2002-BourdonovKKP #architecture #testing
UniTesK Test Suite Architecture (IBB, AK, VVK, AKP), pp. 77–88.
FME-2002-OheimbN #hoare #logic #revisited
Hoare Logic for NanoJava: Auxiliary Variables, Side Effects, and Virtual Methods Revisited (DvO, TN), pp. 89–105.
FME-2002-Bicarregui
Do Not Read This (JB), pp. 106–125.
FME-2002-Jorgensen #incremental
Safeness of Make-Based Incremental Recompilation (NJ), pp. 126–145.
FME-2002-BarnerBGSW #algorithm #approach #design
An Algorithmic Approach to Design Exploration (SB, SBD, AG, BS, YW), pp. 146–162.
FME-2002-MotaBS #abstraction #process
Mechanical Abstraction of CSPZ Processes (AM, PB, AS), pp. 163–183.
FME-2002-ArtsED #case study #erlang #verification
Verifying Erlang Code: A Resource Locker Case-Study (TA, CBE, JD), pp. 184–203.
FME-2002-HuberK #model checking #towards
Towards an Integrated Model Checker for Railway Signalling Data (MH, SK), pp. 204–223.
FME-2002-Hall #correctness #development #process
Correctness by Construction: Integrating Formality into a Commercial Development Process (AH), pp. 224–233.
FME-2002-MarinovK #named #relational
VAlloy — Virtual Functions Meet a Relational Language (DM, SK), pp. 234–251.
FME-2002-Rusu #generative #testing #using #verification
Verification Using Test Generation Techniques (VR), pp. 252–271.
FME-2002-CatanoH #java #specification #static analysis #using
Formal Specification and Static Checking of Gemplus’ Electronic Purse Using ESC/Java (NC, MH), pp. 272–289.
FME-2002-Casset #development #embedded #formal method #java #using #verification
Development of an Embedded Verifier for Java Card Byte Code Using Formal Methods (LC), pp. 290–309.
FME-2002-BackesJP #bisimulation #composition #encryption #implementation #using
Deriving Cryptographically Sound Implementations Using Composition and Formally Verified Bisimulation (MB, CJ, BP), pp. 310–329.
FME-2002-Pahl #abstraction #analysis #refinement #using
Interference Analysis for Dependable Systems Using Refinement and Abstraction (CP), pp. 330–349.
FME-2002-HendersonP #classification #communication #verification
The Formal Classification and Verification of Simpson’s 4-Slot Asynchronous Communication Mechanism (NH, SP), pp. 350–369.
FME-2002-Fidge #analysis #assembly #control flow
Timing Analysis of Assembler Code Control-Flow Paths (CJF), pp. 370–389.
FME-2002-CengarleK #ocl #towards
Towards OCL/RT (MVC, AK), pp. 390–409.
FME-2002-GaravelH #evaluation #functional #on the #performance #using #verification
On Combining Functional Verification and Performance Evaluation Using CADP (HG, HH), pp. 410–429.
FME-2002-Basin #calculus #synthesis
The Next 700 Synthesis Calculi (DAB), p. 430.
FME-2002-WhalenSF
Synthesizing Certified Code (MWW, JS, BF), pp. 431–450.
FME-2002-SampaioWC #refinement
Refinement in Circus (AS, JW, AC), pp. 451–470.
FME-2002-CavalcantiN #refinement #simulation
Forward Simulation for Data Refinement of Classes (AC, DAN), pp. 471–490.
FME-2002-Wildman #compilation #proving
A Formal Basis for a Program Compilation Proof Tool (LW), pp. 491–510.
FME-2002-FirleyG #abstraction #verification
Property Dependent Abstraction of Control Structure for Software Verification (TF, UG), pp. 511–530.
FME-2002-IoustinovaSS #model checking
Closing Open SDL-Systems for Model Checking with DTSpin (NI, NS, MS), pp. 531–548.
FME-2002-KristensenM #safety
A Generalised Sweep-Line Method for Safety Properties (LMK, TM), pp. 549–567.
FME-2002-Treharne #development #process #uml
Supplementing a UML Development Process with B (HT), pp. 568–586.
FME-2002-DongSW #semantics #web
Semantic Web for Extending and Linking Formalisms (JSD, JS, HHW), pp. 587–606.
FME-2002-UmeduTYNHT #mobile #multi
A Language for Describing Wireless Mobile Applications with Dynamic Establishment of Multi-way Synchronization Channels (TU, YT, KY, AN, TH, KT), pp. 607–624.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.