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 × Germany
1 × Poland
1 × United Kingdom
2 × Italy
2 × USA
Collaborated with:
H.C.Gall M.Jazayeri E.Kirda G.Reif S.Chaki S.Jha H.Veith
Talks about:
support (3) construct (2) teamwork (2) specif (2) applic (2) studi (2) mobil (2) event (2) corba (2) test (2)

Person: Pascal Fenkam

DBLP DBLP: Fenkam:Pascal

Contributed to:

FASE 20032003
FME 20032003
SEKE 20032003
ASE 20022002
RE 20022002
SEKE 20022002
ASE 20012001

Wrote 7 papers:

FASE-2003-FenkamGJ #specification
Composing Specifications of Event Based Applications (PF, HCG, MJ), pp. 67–86.
FME-2003-FenkamGJ #approach #concurrent
Constructing Deadlock Free Event-Based Applications: A Rely/Guarantee Approach (PF, HCG, MJ), pp. 636–657.
SEKE-2003-ChakiFGJKV #framework #mobile #platform
Integrating Publish/Subscribe into a Mobile Teamwork Support Platform (SC, PF, HCG, SJ, EK, HV), pp. 510–517.
ASE-2002-FenkamGJ #automation #case study #testing
Constructing Corba-Supported Oracles for Testing: A Case Study in Automated Software Testing (PF, HCG, MJ), pp. 129–138.
RE-2002-FenkamGJ #case study #requirements #validation #visual notation
Visual Requirements Validation: Case Study in a Corba-Supported Environment (PF, HCG, MJ), pp. 81–90.
SEKE-2002-KirdaFRG #architecture #mobile
A service architecture for mobile teamwork (EK, PF, GR, HCG), pp. 513–518.
ASE-2001-Fenkam #security #specification #verification
Security Specification and Verification (PF), p. 434.

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.