BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × China
1 × Germany
1 × Italy
1 × Sweden
2 × Canada
2 × Spain
4 × Australia
4 × United Kingdom
5 × USA
Collaborated with:
D.Hoffman I.J.Hayes R.Colvin D.A.Carrington L.Wildman J.McDonald T.Miller ∅ D.Hemer N.Hakimipour A.J.Wellings R.Shukla R.Duke B.Long D.Hazel O.Traynor J.Nair P.Walsh R.G.Nickson S.Newby T.Stevenson L.Murray I.MacColl C.Chevillat J.G.Süß W.Johnston K.Winter L.v.d.Berg P.J.Robinson H.Völzer B.Atchison P.A.Lindsay A.MacDonald L.Groves R.Nickson
Talks about:
test (13) specif (6) softwar (5) program (5) refin (5) logic (5) tool (4) base (4) modular (3) concurr (3)

♂ Person: Paul A. Strooper

DBLP DBLP: Strooper:Paul_A=

Facilitated 1 volumes:

MoDELS 2011PrCo

Contributed to:

SEFM 20102010
ECMDA-FA 20082008
FM 20062006
ICSE 20062006
CBSE 20042004
IFM 20042004
PDCL 20042004
CSEE&T 20032003
SEFM 20032003
ICSM 20022002
LOPSTR 20022002
ASE 20012001
LOPSTR 20002000
LOPSTR 20002000
TOOLS USA 20002000
TOOLS Pacific 19991999
ASE 19981998
SIGAda 19981998
TOOLS Pacific 19981998
TOOLS Pacific 19971997
CSEE 19961996
LOPSTR 19961996
FSE 19951995
ILPS 19911991

Wrote 25 papers:

SEFM-2010-HakimipourSW #java #named #realtime
TART: Timed-Automata to Real-Time Java Tool (NH, PAS, AJW), pp. 299–309.
ECMDA-FA-2008-ChevillatCSSW #generative #modelling
Model-Based Generation of Interlocking Controller Software from Control Tables (CC, DAC, PAS, JGS, LW), pp. 349–360.
FM-2006-JohnstonWBSR #model checking #modelling #order #performance
Model-Based Variable and Transition Orderings for Efficient Symbolic Model Checking (WJ, KW, LvdB, PAS, PJR), pp. 524–540.
ICSE-2006-StrooperW #component #concurrent #java #testing
Testing concurrent java components (PAS, LW), pp. 1075–1076.
CBSE-2004-ShuklaSC #assessment #component #framework #reliability
A Framework for Reliability Assessment of Software Components (RS, PAS, DAC), pp. 272–279.
IFM-2004-WildmanDS #component #concurrent #testing
Viewpoint-Based Testing of Concurrent Components (LW, RD, PAS), pp. 501–520.
PDCL-2004-ColvinGHHNS #logic programming #refinement #source code #specification #using
Developing Logic Programs from Specifications Using Stepwise Refinement (RC, LG, IJH, DH, RN, PAS), pp. 66–89.
CSEET-2003-StrooperCNS #education #re-engineering
Teaching Software Engineering Fundamentals to Practicing Engineers (PAS, DAC, SN, TS), pp. 36–43.
SEFM-2003-MillerS #animation #process #specification #testing
Supporting the Software Testing Process through Specification Animation (TM, PAS), pp. 14–23.
ICSM-2002-VolzerASLM #configuration management
A Tool for Subsystem Configuration Management (HV, BA, PAS, PAL, AM), pp. 492–500.
LOPSTR-2002-ColvinHHS #higher-order #logic programming #refinement #source code
Refinement of Higher-Order Logic Programs (RC, IJH, DH, PAS), pp. 126–143.
ASE-2001-LongHS #concurrent #java #monitoring
A Concurrency Test Tool for Java Monitors (BL, DH, PAS), pp. 421–425.
LOPSTR-2000-ColvinHS #composition #logic programming #refinement
Modular Logic Program Refinement (RC, IJH, PAS).
LOPSTR-J-2000-ColvinHS #composition #logic programming #refinement
A Technique for Modular Logic Program Refinement (RC, IJH, PAS), pp. 38–56.
TOOLS-USA-2000-HoffmanS #specification #testing
Prose + Test Cases = Specifications (DH, PAS), p. 239–?.
TOOLS-PACIFIC-1999-MurrayCMS #named #testing
TinMan — A Test Derivation and Management Tool for Specification-Based Class Testing (LM, DAC, IM, PAS), pp. 222–233.
ASE-1998-HazelST #animation #requirements #specification #using #verification
Requirements Engineering and Verification using Specification Animation (DH, PAS, OT), pp. 302–305.
ASE-1998-McDonaldHS #library #standard #testing
Programmatic Testing of the Standard Template Library Containers (JM, DH, PAS), pp. 147–156.
SIGAda-1998-HoffmanNS #ada #testing
Testing Generic Ada Packages with APE (DH, JN, PAS), pp. 255–262.
TOOLS-PACIFIC-1998-McDonaldS #framework #inheritance #testing
Testing Inheritance Hierarchies in the ClassBench Framework (JM, PAS), p. 229–?.
TOOLS-PACIFIC-1997-Strooper #object-oriented #testing
Object-Oriented Testing (PAS), p. 359.
CSEE-1996-HoffmanSW #education #testing
Teaching and Testing (DH, PAS, PW), pp. 248–258.
LOPSTR-1996-HayesNS #logic programming #source code #specification
Refining Specifications to Logic Programs (IJH, RGN, PAS), pp. 1–19.
FSE-1995-HoffmanS #abstraction #composition #development
State Abstraction and Modular Software Development (DH, PAS), pp. 53–61.
ISLP-1991-StrooperH #c #prolog #testing
Prolog Testing of C Modules (PAS, DH), pp. 596–608.
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.