BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
1 × Denmark
1 × Germany
1 × Ireland
1 × Italy
1 × Spain
1 × The Netherlands
2 × Austria
Collaborated with:
K.J.Ross K.Winter N.Yatapanage D.Hemer C.B.Jones A.Cerone S.Connelly L.Grunske H.Völzer B.Atchison P.A.Strooper A.MacDonald C.Smith I.J.Hayes R.G.Dromey D.A.Carrington
Talks about:
behavior (3) system (3) formal (3) model (3) tree (3) analysi (2) specif (2) requir (2) design (2) engin (2)

Person: Peter A. Lindsay

DBLP DBLP: Lindsay:Peter_A=

Facilitated 1 volumes:

FME 2002Ed

Contributed to:

SEFM 20102010
IFM 20052005
SEFM 20052005
ASE 20042004
ICSM 20022002
FME 19971997
FME 19941994
FME 19931993
VDM Europe 19881988

Wrote 11 papers:

SEFM-2010-Lindsay #behaviour #re-engineering
Behavior Trees: From Systems Engineering to Software Engineering (PAL), pp. 21–30.
SEFM-2010-LindsayWY #assessment #behaviour #model checking #safety #using
Safety Assessment Using Behavior Trees and Model Checking (PAL, KW, NY), pp. 181–190.
IFM-2005-GrunskeLYW #analysis #automation #behaviour #design #specification
An Automated Failure Mode and Effect Analysis Based on High-Level Design Specification with Behavior Trees (LG, PAL, NY, KW), pp. 129–149.
SEFM-2005-CeroneLC #analysis #formal method #human-computer #interactive #model checking #using
Formal Analysis of Human-computer Interaction using Model-checking (AC, PAL, SC), pp. 352–362.
ASE-2004-SmithWHDLC #requirements
An Environment for Building a System out of its Requirements (CS, KW, IJH, RGD, PAL, DAC), pp. 398–399.
ICSM-2002-VolzerASLM #configuration management
A Tool for Subsystem Configuration Management (HV, BA, PAS, PAL, AM), pp. 492–500.
FME-1997-HemerL #design #pattern matching #reuse #using
Reuse of Verified Design Templates Through Extended Pattern Matching (DH, PAL), pp. 495–514.
FME-1994-Lindsay #on the #verification
On transferring VDM verification techniques to Z (PAL), pp. 190–213.
FME-1994-RossL #behaviour #modelling #precise #process
A Precise Examination of the Behaviour of Process Models (KJR, PAL), pp. 251–270.
FME-1993-RossL #consistency #maintenance #specification
Maintaining Consistency Under Changes to Formal Specifications (KJR, PAL), pp. 558–577.
VDME-1988-JonesL #reasoning #requirements
A Support System for Formal Reasoning: Requirements and Status (CBJ, PAL), pp. 139–152.

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.