Proceedings of the Eighth IEEE International Conference on Software Engineering and Formal Methods
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

José Luiz Fiadeiro, Stefania Gnesi, Andrea Maggiolo-Schettini
Proceedings of the Eighth IEEE International Conference on Software Engineering and Formal Methods
SEFM, 2010.

FM
DBLP
Scholar
CSDL
Full names Links ISxN
@proceedings{SEFM-2010,
	address       = "Pisa, Italy",
	editor        = "José Luiz Fiadeiro and Stefania Gnesi and Andrea Maggiolo-Schettini",
	ee            = "http://www.computer.org/csdl/proceedings/sefm/2010/4153/00/index.html",
	isbn          = "978-0-7695-4153-2",
	publisher     = "{IEEE Computer Society}",
	title         = "{Proceedings of the Eighth IEEE International Conference on Software Engineering and Formal Methods}",
	year          = 2010,
}

Contents (34 items)

SEFM-2010-Ghezzi #adaptation #verification
Adaptive Software Needs Continuous Verification (CG), pp. 3–4.
SEFM-2010-Giannakopoulou #quote #verification
“Fly Me to the Moon”: Verification of Aerospace Systems (DG), pp. 5–11.
SEFM-2010-Pavlovic #effectiveness #overview #perspective #security
The Unreasonable Ineffectiveness of Security Engineering: An Overview (DP), pp. 12–18.
SEFM-2010-Lindsay #behaviour #re-engineering
Behavior Trees: From Systems Engineering to Software Engineering (PAL), pp. 21–30.
SEFM-2010-Powell #analysis #behaviour #modelling #scalability
Behavior Engineering — A Scalable Modeling and Analysis Method (DP), pp. 31–40.
SEFM-2010-WinterHC #behaviour #requirements
Integrating Requirements: The Behavior Tree Philosophy (KW, IJH, RC), pp. 41–50.
SEFM-2010-DanHC
Non-local Choice and Implied Scenarios (HD, RMH, SC), pp. 53–62.
SEFM-2010-HussainL #ml #named #runtime #specification
temporaljmlc: A JML Runtime Assertion Checker Extension for Specification and Checking of Temporal Properties (FH, GTL), pp. 63–72.
SEFM-2010-KatzK #query #refinement #specification
User Queries for Specification Refinement Treating Shared Aspect Join Points (EK, SK), pp. 73–82.
SEFM-2010-KermadecDB #modelling #quality
Assessing the Quality of B Models (ADK, FD, FB), pp. 83–90.
SEFM-2010-BarrosCHP #graph #slicing
Assertion-based Slicing and Slice Graphs (JBB, DCdC, PRH, JSP), pp. 93–102.
SEFM-2010-ScannielloRT #architecture #empirical #evaluation #semantics #using
Architecture Recovery Using Latent Semantic Indexing and K-Means: An Empirical Evaluation (GS, MR, GT), pp. 103–112.
SEFM-2010-TudoseO #design pattern #execution #symbolic computation #testing #using
A Method for Testing Software Systems Based on State Design Pattern Using Symbolic Execution (CT, RO), pp. 113–117.
SEFM-2010-XuZC #context-free grammar #generative #tool support
A Toolkit for Generating Sentences from Context-Free Grammars (ZX, LZ, HC), pp. 118–122.
SEFM-2010-KokashKV #analysis #modelling #visual notation
Time and Data-Aware Analysis of Graphical Service Models in Reo (NK, CK, EPdV), pp. 125–134.
SEFM-2010-LeuxnerSS #formal method
A Formal Model for Work Flows (CL, WS, BS), pp. 135–144.
SEFM-2010-HegedusBRV #model transformation #simulation
Back-annotation of Simulation Traces with Change-Driven Model Transformations (ÁH, GB, IR, DV), pp. 145–155.
SEFM-2010-MetayerMP #architecture #design
Designing Log Architectures for Legal Evidence (DLM, EM, MLP), pp. 156–165.
SEFM-2010-MassinkLBH #algebra #analysis #approach #process #scalability
A Scalable Fluid Flow Process Algebraic Approach to Emergency Egress Analysis (MM, DL, AB, MDH), pp. 169–180.
SEFM-2010-LindsayWY #assessment #behaviour #model checking #safety #using
Safety Assessment Using Behavior Trees and Model Checking (PAL, KW, NY), pp. 181–190.
SEFM-2010-BenettiMV #ad hoc #model checking #network #protocol
Model Checking Ad Hoc Network Routing Protocols: ARAN vs. endairA (DB, MM, LV), pp. 191–202.
SEFM-2010-GoldsmithC #graph
Refinement-Friendly Bigraphs and Spygraphs (MG, SC), pp. 203–207.
SEFM-2010-GallardoS #calculus #verification #μ-calculus
Verification of Dynamic Data Tree with μ-calculus Extended with Separation (MdMG, DS), pp. 211–221.
SEFM-2010-BarnatBR #parallel #partial order #reduction
Parallel Partial Order Reduction with Topological Sort Proviso (JB, LB, PR), pp. 222–231.
SEFM-2010-WeitlNF #logic
Structured Counterexamples for the Temporal Description Logic ALCCTL (FW, SN, BF), pp. 232–243.
SEFM-2010-BersaniCFPR #constraints #integer #ltl #runtime #smt #specification #verification
SMT-based Verification of LTL Specification with Integer Constraints and its Application to Runtime Checking of Service Substitutability (MMB, LC, AF, MP, MR), pp. 244–254.
SEFM-2010-EscobedoGGC #approach #testing #web #web service
Testing Web Service Orchestrators in Context: A Symbolic Approach (JPE, CG, PLG, ARC), pp. 257–267.
SEFM-2010-CristiaAM #detection #framework #testing
Pruning Testing Trees in the Test Template Framework by Detecting Mathematical Contradictions (MC, PA, PRM), pp. 268–277.
SEFM-2010-LarsenLB #combinator #testing
Combinatorial Testing for VDM (PGL, KL, NB), pp. 278–285.
SEFM-2010-GallerWW #contract #design
Synthesize It: From Design by Contract to Meaningful Test Input Data (SJG, MW, FW), pp. 286–295.
SEFM-2010-HakimipourSW #java #named #realtime
TART: Timed-Automata to Real-Time Java Tool (NH, PAS, AJW), pp. 299–309.
SEFM-2010-GothelG #automation #invariant #network #realtime #towards #using #verification
Towards the Semi-Automatic Verification of Parameterized Real-Time Systems Using Network Invariants (TG, SG), pp. 310–314.
SEFM-2010-WeiWB #design
A Timed Model of Circus with the Reactive Design Miracle (KW, JW, AB), pp. 315–319.
SEFM-2010-BartolettiZ
Static Enforcement of Service Deadlines (MB, RZ), pp. 320–324.

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.