Journal: Formal Asp. Comput.

Volume 21, Issue 6

511 -- 512Antonio Cerone, Paul Curzon, David Duce. Editorial
513 -- 539Li Su, Howard Bowman, Philip Barnard, Bradley P. Wyble. Process algebraic modelling of attentional capture and human electrophysiology in interactive systems
541 -- 569Rimvydas Ruksenas, Jonathan Back, Paul Curzon, Ann Blandford. Verification-guided modelling of salience and cognitive load
571 -- 588Thomas Anung Basuki, Antonio Cerone, Andreas Griesmayer, Rudolf Schlatte. Model-checking user behaviour using interacting components
589 -- 612Judy Bowen, Steve Reeves. Refinement for user interface designs
613 -- 641Alan J. Dix, Masitah Ghazali, Steve Gill, Joanna Hare, Devina Ramduny-Ellis. Physigrams: modelling devices for natural interaction

Volume 21, Issue 5

393 -- 395Richard Bornat. Peter Landin: a computer scientist who inspired a generation, 5th June 1930 - 3rd June 2009
397 -- 420Soon-Kyeong Kim, David A. Carrington. A formalism to describe design patterns based on role concepts
421 -- 449Paul Howells, Mark d Inverno. A CSP model with flexible parallel termination semantics
451 -- 483Chunqing Chen, Jin Song Dong, Jun Sun 0001. A formal framework for modeling and validating Simulink diagrams
485 -- 494Daniel Kroening, Ofer Strichman. A framework for Satisfiability Modulo Theories
495 -- 510Cristian Masalagiu, Wei-Ngan Chin, Stefan Andrei, Vasile Alaiba. A rigorous methodology for specification and verification of business processes

Volume 21, Issue 4

303 -- 0Richard F. Paige, Phillip J. Brooke. Editorial
305 -- 318Piotr Nienaltowski, Bertrand Meyer, Jonathan S. Ostroff. Contracts for concurrency
319 -- 346Jonathan S. Ostroff, Faraz Ahmadi Torshizi, Hai Feng Huang, Bernd Schoeller. Beyond contracts for concurrency
347 -- 362Piotr Nienaltowski. Flexible access control policy for SCOOP
363 -- 391Phillip J. Brooke, Richard F. Paige. Cameo: an alternative model of concurrency for Eiffel

Volume 21, Issue 3

225 -- 0Paul Boca, Raymond Boute, David Duce, José Oliveira. Editorial
227 -- 244Ralph-Johan Back. Invariant based programming: basic approach and teaching experiences
245 -- 257Peter Gorm Larsen, John S. Fitzgerald, Steve Riddle. Practice-oriented courses in formal methods using VDM:::++:::
259 -- 275Yih-Kuen Tsay, Yu-Fang Chen, Ming-Hsien Tsai, Kang-Nien Wu, Wen-Chin Chan, Chi-Jian Luo, Jinn-Shu Chang. Tool support for learning Büchi automata and linear temporal logic
277 -- 291Wolfgang Schreiner. The RISC ProofNavigator: a proving assistant for program verification in the classroom
293 -- 301Ingo Feinerer, Gernot Salzer. A comparison of tools for teaching formal software verification

Volume 21, Issue 1-2

1 -- 0Eerke Boiten. Editorial
3 -- 32Marcel Oliveira, Ana Cavalcanti, Jim Woodcock. A UTP semantics for ::::Circus::::
33 -- 64Bernhard K. Aichernig, Jifeng He. Mutation testing in UTP
65 -- 102Eerke Boiten, John Derrick, Gerhard Schellhorn. Relational concurrent refinement part II: Internal operations and outputs
103 -- 131Liang Zhao, Xiaojian Liu, Zhiming Liu, Zongyan Qiu. Graph transformations for object-oriented refinement
133 -- 154Leo Freitas, Jim Woodcock. FDR Explorer
155 -- 186Graeme Smith, Kirsten Winter. Model checking action system refinements
187 -- 223Lindsay Groves, Robert Colvin. Trace-based derivation of a scalable lock-free stack algorithm