External Links

    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
    runs on