2nd South-East European Workshop on Formal Methods (SEEFM 05),
Formal Methods: Challenges in the Business World,
Ohrid, 18-19 Nov 2005,
G. Eleftherakis, ed.,
South-East European Research Centre (SEERC), June 2006.
bibtex
Contents
Cover Pages  
pdf
First Pages  
pdf
"Ten Commandments Ten Years On: An Assessment of Formal Methods Usage", J.P. Bowen and M.G. Hinchey 1
pdfbibtex
"Applying model-checking techniques to verify fault-tolerant Erlang code", J. Derrick, C.B. Earle, and S. Thompson 17
pdfbibtex
"Implementing a New International Paper Mill Efficiency Standard - Using Computational Correctness Criteria to Model and Verify Timed Events", J. Veijalainen, E. Berki, J. Lehmonen, P. Moisanen 27
pdfbibtex
"An Operating Guideline Aproach to the SOA", P. Massuthe, W. Reisig, and K. Schmidt 44
pdfbibtex
"A Holistic Approach to Testing of Interactive Systems using Statecharts", F. Belli, Ch.J. Budnik, A. Hollmann 59
pdfbibtex
"Using a formal method to model software design in XP projects", C. Thomson and M. Holcombe 74
pdfbibtex
"Object-based language for generalized state machines", D. Dranidis, G. Eleftherakis, and P. Kefalas 89
pdfbibtex
"Dynamic aspects of retrenchments through temporal logic", R. Banach, J.-P. Bodeveix, M. Filali, M. Poppleton 104
pdfbibtex
"Binding Network Topologies to Specifications via Pronouns", C. Bazilio, E.H. Haeusler, and M. Endler 119
pdfbibtex
"Active Learning Facilitates Success of Formal Methods in Practice", V.V. Kuliamin, V.A. Omelchenko, O.L. Petrenko 132
pdfbibtex
"Application of the timed automata abstraction to the performance evaluation of the architecture of a bank on-line transaction processing system", M. Kourkouli, G. Hassapis 142
pdfbibtex
"A Verification Environment for Imperative and Functional Programs in the Theorema system", L.I. Kovacs, N. Popov, T. Jebelean 154
pdfbibtex
"Improving Formal Methods' Tools Usability", V. Vujosevic and G. Eleftherakis 169
pdfbibtex
"A Timed B Method for Modelling Real Time Reactive Systems", M. Rached, J.-P. Bodeveix, M. Filali, O. Nasr 181
pdfbibtex
"A Formal Model for Performance Assessment in a Simulative Environment", M. Barth 196
pdfbibtex
"Algebraic model for the JK flip-flop behaviour", A. Vasilescu 209
pdfbibtex
"Object-oriented workflow formalization", T. Bouabana-Tebibel and M. Belmesk 224
pdfbibtex
"Context-free grammar for a two-dimensional language", C. Luca 239
pdfbibtex
"Problem Solving with Different Models", O. Georgescu 247
pdfbibtex
Last Pages  
pdf