Proceedings of the First International Conference on Software Engineering and Formal Methods
SEFM, 2003.

@proceedings{SEFM-2003,
	address       = "Brisbane, Australia",
	ee            = "http://www.computer.org/csdl/proceedings/sefm/2003/1949/00/index.html",
	isbn          = "0-7695-1949-0",
	publisher     = "{IEEE Computer Society}",
	title         = "{Proceedings of the First International Conference on Software Engineering and Formal Methods}",
	year          = 2003,
}

Contents (23 items)

5 ×#design
5 ×#specification
4 ×#formal method
4 ×#using
4 ×#verification
3 ×#uml
2 ×#animation
2 ×#component
2 ×#diagrams
2 ×#modelling

SEFM-2003-Dromey #design #formal method #requirements

From Requirements to Design: Formalizing the Key Steps (RGD), p. 2–?.

SEFM-2003-MillerS #animation #process #specification #testing

Supporting the Software Testing Process through Specification Animation (TM, PAS), pp. 14–23.

SEFM-2003-Sinnott #architecture #generative #specification #testing

Architecting Specifications for Test Case Generation (ROS), p. 24–?.

SEFM-2003-LanotteMT #automaton #bisimulation #probability #security

Weak Bisimulation for Probabilistic Timed Automata and Applications to Security (RL, AMS, AT), pp. 34–43.

SEFM-2003-BossiFPR #data flow #refinement #security

Refinement Operators and Information Flow Security (AB, RF, CP, SR), pp. 44–53.

SEFM-2003-CarboneNS #formal method #network #trust

A Formal Model for Trust in Dynamic Networks (MC, MN, VS), p. 54–?.

SEFM-2003-Sangiorgi #mobile #process #using

Taming Mobile Processes Using Types (DS), p. 64–?.

SEFM-2003-Xi #dependent type #verification

Facilitating Program Verification with Dependent Types (HX), pp. 72–81.

SEFM-2003-WatsonF #assembly #modelling #semantics #source code

A Partial-Correctness Semantics for Modelling Assembler Programs (GW, CJF), pp. 82–90.

SEFM-2003-BeckertS #using #verification

Program Verification Using Change Information (BB, PHS), p. 91–?.

SEFM-2003-AstesianoR #development #towards #uml

Towards a Well-Founded UML-Based Development Method (EA, GR), p. 102–?.

SEFM-2003-LitvakTY #behaviour #consistency #diagrams #uml #validation

Behavioral Consistency Validation of UML Diagrams (BL, SST, AY), pp. 118–125.

SEFM-2003-JinLE #analysis #case study #component #design

Component-Based Design and Analysis: A Case Study (YJ, CL, RE), p. 126–?.

SEFM-2003-NgB #csp #diagrams #formal method #towards #uml

Towards Formalizing UML State Diagrams in CSP (MYN, MJB), p. 138–?.

SEFM-2003-GoldsonR #semantics

Semantic Properties of μ-Charts (DG, GR), pp. 148–155.

SEFM-2003-BhattLK #design

The Fallacy of Spec-Based Design (RB, DL, AK), p. 156–?.

SEFM-2003-BouassidaBGH #design #formal method #framework

Formalizing the Framework Design Language F-UML (NB, HBA, FG, ABH), pp. 164–172.

SEFM-2003-DukeWL #concurrent #java #modelling

Modelling Java Concurrency with Object-Z (RD, LW, BL), pp. 173–181.

SEFM-2003-FeiksH #component #object-oriented #specification

Specification Matching of Object-Oriented Components (FF, DH), pp. 182–190.

SEFM-2003-McCombS #animation #specification #using

Animation of Object-Z Specifications Using a Z Animator (TM, GS), p. 191–?.

SEFM-2003-ShrotriBV #model checking #requirements #specification #visual notation

Model Checking Visual Specification of Requirements (US, PB, RV), pp. 202–209.

SEFM-2003-GawanmehTW #design #using #verification

Formal Verification of ASM Designs Using the MDG Tool (AG, ST, KW), pp. 210–219.

SEFM-2003-DeharbeR #debugging #proving #theorem proving #verification

Light-Weight Theorem Proving for Debugging and Verifying Units of Code (DD, SR), pp. 220–228.