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 × Denmark
1 × Greece
1 × Italy
1 × USA
2 × France
2 × Poland
2 × United Kingdom
Collaborated with:
M.Lawford T.S.E.Maibaum N.K.Singh H.Wang X.Hu W.Chen A.Iqbal A.Abdrakhmanov J.Parlar C.George T.S.E.Maibaum N.Aguirre M.F.Frias M.M.Moscato Z.Diskin T.Maibaum S.Wynn-Williams D.M.Berry D.Damian A.Finkelstein D.C.Gause R.Hall
Talks about:
formal (4) do (4) enterpris (2) system (2) requir (2) impact (2) scale (2) model (2) chang (2) larg (2)

Person: Alan Wassyng

DBLP DBLP: Wassyng:Alan

Contributed to:

HCI/DHM p2 20152015
HCI/DHM 20142014
FM 20122012
Post-ICEIS 20122012
ICEIS v2 20122012
FASE 20092009
FM 20052005
RE 20052005
FME 20032003
MoDELS 20182018

Wrote 11 papers:

DHM-EH-2015-SinghLMW #formal method
Formalizing the Cardiac Pacemaker Resynchronization Therapy (NKS, ML, TSEM, AW), pp. 374–386.
DHM-EH-2015-SinghWLMW #formal method #modelling #reasoning #requirements
Stepwise Formal Modelling and Reasoning of Insulin Infusion Pump Requirements (NKS, HW, ML, TSEM, AW), pp. 387–398.
DHM-2014-SinghWLMW #formal method
Formalizing the Glucose Homeostasis Mechanism (NKS, HW, ML, TSEM, AW), pp. 460–471.
FM-2012-Wassyng #question #what
Who Are We, and What Are We Doing Here? (AW), pp. 7–9.
ICEIS-J-2012-ChenIAPGLMW12a #enterprise #scalability
Large-Scale Enterprise Systems: Changes and Impacts (WC, AI, AA, JP, CG, ML, TSEM, AW), pp. 274–290.
ICEIS-v2-2012-ChenIAPGLMW #enterprise #impact analysis #scalability
Change Impact Analysis for Large-scale Enterprise Systems (WC, AI, AA, JP, CG, ML, TSEM, AW), pp. 359–368.
FASE-2009-AguirreFMMW #alloy #behaviour #specification #using
Describing and Analyzing Behaviours over Tabular Specifications Using (Dyn)Alloy (NA, MFF, MMM, TSEM, AW), pp. 155–170.
FM-2005-WassyngLH #safety
Timing Tolerances in Safety-Critical Software (AW, ML, XH), pp. 157–172.
RE-2005-BerryDFGHW #question #requirements #why
To do or not to do: If the requirements engineering payoff is so good, why aren’t more companies doing it? (DMB, DD, AF, DCG, RH, AW), p. 447.
FME-2003-WassyngL #formal method #implementation #industrial #lessons learnt
Lessons Learned from a Successful Implementation of Formal Methods in an Industrial Project (AW, ML), pp. 133–153.
MoDELS-2018-DiskinMWWL #assurance #model transformation #refinement
Assurance via model transformations and their hierarchical refinement (ZD, TM, AW, SWW, ML), pp. 426–436.

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.