default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFormal Aspects of Computing, Volume 21
Volume 21, Numbers 1-2, February 2009
- Eerke A. Boiten:
Editorial. 1 - Marcel Oliveira, Ana Cavalcanti
, Jim Woodcock:
A UTP semantics for Circus. 3-32 - Bernhard K. Aichernig, Jifeng He:
Mutation testing in UTP. 33-64 - Eerke A. Boiten, John Derrick, Gerhard Schellhorn:
Relational concurrent refinement part II: Internal operations and outputs. 65-102 - Liang Zhao, Xiaojian Liu, Zhiming Liu, Zongyan Qiu:
Graph transformations for object-oriented refinement. 103-131 - Leo Freitas, Jim Woodcock:
FDR Explorer. 133-154 - Graeme Smith, Kirsten Winter:
Model checking action system refinements. 155-186 - Lindsay Groves, Robert Colvin:
Trace-based derivation of a scalable lock-free stack algorithm. 187-223
Volume 21, Number 3, May 2009
- Paul Boca, Raymond T. Boute, David Duce, José Nuno Oliveira:
Editorial. 225 - Ralph-Johan Back:
Invariant based programming: basic approach and teaching experiences. 227-244 - Peter Gorm Larsen, John S. Fitzgerald, Steve Riddle:
Practice-oriented courses in formal methods using VDM++. 245-257 - Yih-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. 259-275 - Wolfgang Schreiner:
The RISC ProofNavigator: a proving assistant for program verification in the classroom. 277-291 - Ingo Feinerer, Gernot Salzer:
A comparison of tools for teaching formal software verification. 293-301
Volume 21, Number 4, August 2009
- Richard F. Paige, Phillip J. Brooke, Jin Song Dong, J. C. P. Woodcock:
Editorial. 303 - Piotr Nienaltowski, Bertrand Meyer, Jonathan S. Ostroff:
Contracts for concurrency. 305-318 - Jonathan S. Ostroff, Faraz Ahmadi Torshizi, Hai Feng Huang, Bernd Schoeller:
Beyond contracts for concurrency. 319-346 - Piotr Nienaltowski:
Flexible access control policy for SCOOP. 347-362 - Phillip J. Brooke, Richard F. Paige:
Cameo: an alternative model of concurrency for Eiffel. 363-391
Volume 21, Number 5, October 2009
- Richard Bornat:
Peter Landin: a computer scientist who inspired a generation, 5th June 1930 - 3rd June 2009. 393-395 - Soon-Kyeong Kim, David A. Carrington:
A formalism to describe design patterns based on role concepts. 397-420 - Paul Howells, Mark d'Inverno:
A CSP model with flexible parallel termination semantics. 421-449 - Chunqing Chen, Jin Song Dong, Jun Sun:
A formal framework for modeling and validating Simulink diagrams. 451-483 - Daniel Kroening, Ofer Strichman:
A framework for Satisfiability Modulo Theories. 485-494 - Cristian Masalagiu, Wei-Ngan Chin, Stefan Andrei, Vasile Alaiba:
A rigorous methodology for specification and verification of business processes. 495-510
Volume 21, Number 6, December 2009
- Antonio Cerone, Paul Curzon, David Duce:
Editorial. 511-512 - Li Su, Howard Bowman, Philip J. Barnard, Bradley P. Wyble:
Process algebraic modelling of attentional capture and human electrophysiology in interactive systems. 513-539 - Rimvydas Ruksenas, Jonathan Back, Paul Curzon, Ann Blandford:
Verification-guided modelling of salience and cognitive load. 541-569 - Thomas Anung Basuki, Antonio Cerone, Andreas Griesmayer, Rudolf Schlatte:
Model-checking user behaviour using interacting components. 571-588 - Judy Bowen, Steve Reeves:
Refinement for user interface designs. 589-612 - Alan J. Dix, Masitah Ghazali, Steve Gill, Joanna Hare, Devina Ramduny-Ellis:
Physigrams: modelling devices for natural interaction. 613-641
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-01-29 02:24 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
